This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Increasing Development Assurance for System and Software Development with Validation and Verification Using ASSERT™
Technical Paper
2019-01-1370
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Event:
AeroTech Americas
Language:
English
Abstract
System design continues to trend toward increasing complexity as more functionality is added to aviation systems and the level of automation is increased. Since exhaustive validation and verification of this functionality becomes increasingly difficult, reliance on development assurance is needed to provide confidence that errors in requirements, design and implementation have been identified and corrected. To address this need for increased development assurance, GE is introducing a tool called ASSERT™ (Analysis of Semantic Specifications and Efficient generation of Requirements-based Tests). The system developer uses this tool to capture requirements in an unambiguous way with built-in semantic error checking. The requirements analysis engine is then used to assist in requirements validation to identify common problems which may include requirements that conflict with one another, requirements that do not fully specify the behavior of a function, requirements that are not independent of one another, and requirements that are either always true or false. Having unambiguous and complete requirements also enables the tool to consistently generate a complete set of requirements-based test cases and procedures to ensure the implemented product performs its intended functions and only the intended functions. This paper will detail how the ASSERT™ tool assists the system developer in performing validation and verification to increase development assurance on an example representative aerospace product beyond what a system developer could traditionally do on their own.
Recommended Content
Authors
- Craig McMillan - GE Aviation Systems LLC
- Andy Crapo - GE Global Research Center
- Michael Durling - GE Global Research Center
- Meng Li - GE Global Research Center
- Abha Moitra - GE Global Research Center
- Panagiotis Manolios - Northeastern University
- Mark Stephens - GE Aviation Systems LLC
- Daniel Russell - GE Aviation Systems LLC
Topic
Citation
McMillan, C., Crapo, A., Durling, M., Li, M. et al., "Increasing Development Assurance for System and Software Development with Validation and Verification Using ASSERT™," SAE Technical Paper 2019-01-1370, 2019, https://doi.org/10.4271/2019-01-1370.Also In
References
- Siu , K. et al. Flight Critical Software and Systems Development Using ASSERT™ 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC) St. Petersburg, FL 2017 1 10 10.1109/DASC.2017.8102059
- Moitra , A. et al. Towards Development of Complete and Conflict-Free Requirements 2018 IEEE 26th International Requirements Engineering Conference (RE) Banff, AB 2018 286 296 10.1109/RE.2018.00036
- Chamarthi , H.R. , Dillinger , P.C. , Manolios , P. and Vroon , D. The ACL2 Sedan Theorem Proving System TACAS 2011
- Manolios , P. and Vroon , D. Termination Analysis with Calling Context Graphs. Computer Aided Verification (CAV) Lecture Notes in Computer Science 4144 Springer 2006 401 414
- Manolios , P. and Vroon , D. Interactive Termination Proofs Using Termination Cores. Interactive Theorem Proving LNCS 6172 Springer 2010
- Chamarthi , H.R. , Dillinger , P.C. , Kaufmann , M. , and Manolios , P. Integrating Testing and Interactive Theorem Proving ACL2 2011, EPTCS 70 4 19
- Chamarthi , H.R. and Manolios , P. Automated Specification Analysis Using an Interactive Theorem Prover FMCAD 2011 46 53
- Chamarthi , H.R. , Dillinger , P.C. and Manolios , P. Data Definitions in the ACL2 Sedan ACL2 2014 27 48
- SAE, AIR6110 2011
- SAE, ARP4754A 2010
- SAE, ARP4761 1996
- Hawkins , R. , Habli , I. , Kelly , T. , and McDermid , J. Assurance Cases and Prescriptive Software Safety Certification: A Comparative Study Safety Science 59 55 71 2013
- GE Global Research http://sadl.sourceforge.net/
- W3C https://www.w3.org/OWL/
- Eclipse Foundation https://www.eclipse.org/Xtext/