Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker

Proceedings of the 36th Annual ACM Symposium on Applied Computing ◽

10.1145/3412841.3442053 ◽

2021 ◽

Author(s):

Abhishek Singh ◽

Meenakshi D'Souza ◽

Arshad Ebrahim

Keyword(s):

Conformance Testing ◽

Model Checker ◽

Safety Critical

Download Full-text

Resilient PNT for Safety-Critical Applications � Toughen and Augment!

Proceedings of the 29th International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2016) ◽

10.33012/2016.14805 ◽

2016 ◽

Author(s):

Michael Meurer

Keyword(s):

Safety Critical

Download Full-text

Customization of Rational Unified Process (RUP) Methodology for Safety-Critical Systems

International Review on Computers and Software (IRECOS) ◽

10.15866/irecos.v11i6.9184 ◽

2016 ◽

Vol 11 (6) ◽

pp. 566

Author(s):

Mina Zaminkar ◽

Mohammad Reza Reshadinezhad

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Unified Process ◽

Safety Critical Systems

Download Full-text

Model-free Learning for Safety-critical Control Systems: A Reference Governor Approach

2020 American Control Conference (ACC) ◽

10.23919/acc45564.2020.9147255 ◽

2020 ◽

Author(s):

Kaiwen Liu ◽

Nan Li ◽

Ilya Kolmanovsky ◽

Denise Rizzo ◽

Anouck Girard

Keyword(s):

Control Systems ◽

Safety Critical ◽

Reference Governor

Download Full-text

Information technology. Telecommunications and information exchange between systems. X.25-DTE conformance testing

10.3403/00281065 ◽

1992 ◽

Keyword(s):

Information Technology ◽

Information Exchange ◽

Conformance Testing

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open Systems Interconnection. Conformance testing methodology and framework

10.3403/00505020 ◽

1991 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776117u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Open systems interconnection. Conformance testing methodology and framework

10.3403/00776144u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Open Systems ◽

Conformance Testing ◽

Testing Methodology ◽

Open Systems Interconnection

Download Full-text

Information technology. Conformance testing for the biometric application programming interface (BioAPI)

10.3403/30130611 ◽

2007 ◽

Keyword(s):

Information Technology ◽

Application Programming Interface ◽

Conformance Testing ◽

Application Programming ◽

Programming Interface

Download Full-text

Information technology. Conformance testing for the biometric application programming interface (BioAPI)

10.3403/30145988u ◽

2015 ◽

Keyword(s):

Information Technology ◽

Application Programming Interface ◽

Conformance Testing ◽

Application Programming ◽

Programming Interface

Download Full-text