Flight critical software and systems development using ASSERT™
- 1 September 2017
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The size and complexity associated with software that monitors, controls, and protects flight critical products continues to grow. This is compounded by an increased use of autonomous systems which are just as complex, if not more so, since many operator responsibilities are supported and replaced by software in unmanned systems. Further, these systems are subject to cyber-enabled attacks, thereby necessitating another level of complex software to ensure security. General Electric has devoted a team to research and develop a new suite of tools to address the challenges with design, development, and verification of these software-intensive products. The goals are to develop technology, processes, and tools that result in more efficient software and system development as measured by cost and cycle time, and to enable new capabilities such as autonomy and the Industrial Internet. This paper will introduce the GE approach to formal requirements capture, requirements analysis, and auto test generation. We will introduce the ASSERT™ tool chain (Analysis of Semantic Specifications and Efficient generation of Requirements-based Tests). We will demonstrate aspects of the tool on an autonomous aerial inspection system.Keywords
This publication has 18 references indexed in Scilit:
- Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2016
- Formal specification and verification of a coordination protocol for an automated air traffic control systemScience of Computer Programming, 2014
- VARED: Verification and analysis of requirements and early designsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- Data Definitions in the ACL2 SedanElectronic Proceedings in Theoretical Computer Science, 2014
- Integrating Testing and Interactive Theorem ProvingElectronic Proceedings in Theoretical Computer Science, 2011
- Interactive Termination Proofs Using Termination CoresLecture Notes in Computer Science, 2010
- Automatic Test Case Generation from UML Sequence DiagramPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Management of Test Complexity for Emerging Safety Critical Control Systems ProgramPublished by Defense Technical Information Center (DTIC) ,2006
- A UML-Based Approach to System TestingSoftware and Systems Modeling, 2002
- Generating Tests from UML SpecificationsLecture Notes in Computer Science, 1999