Peter H. Feiler
ABSTRACT
Mission and safety critical software-reliant systems, aka. Cyber-physical systems, face the increasing challenges of exponential increase in verification related software rework cost. Industry studies show that 70% of defects are introduced in requirements and architecture design, while 80% are discovered post-unit test. The Architecture Analysis & Design Language (AADL) standard was targeted to address these issues through virtual system integration to analytically discover these system level issues regarding operational system properties early in the life cycle.
After a summary of the challenges, the presentation highlights the expressive, analytical, and auto-generation capabilities of the AADL core language as well as several of its standardized extensions. The presentation then illustrates the importance of the analytical virtual system integration capabilities on several realistic industrial examples. In this context we discuss the benefit of well-defined semantics of nominal and fault behavior, timing, semantics of the model in AADL over other MBD notations.
The presentation concludes by outlining a four part improvement strategy: architecture-led requirement specification to improve the quality of requirements, architecture refinement and incremental virtual system integration to discover issues early, compositional verification through static analysis to address scalability, and incremental verification and testing throughout the life cycle as assurance evidence.
- AADL and Model-based Engineering. Software Engineering Institute (SEI) Research & Technology Highlight, Jan 2010. http://www.sei.cmu.edu/library/assets/ResearchandTechnology_AADLandMBE.pdf.Google Scholar
- Feiler, P., Wrage, L., Hansson, J. System Architecture Virtual Integration: An Industrial Case Study. Technical Report. Carnegie Mellon University/SEI-2009-TR-017. Software Engineering Institute. 2009. http://resources.sei.cmu.edu/asset_files/technicalreport/2009_005_001_15119.pdf.Google Scholar
- Feiler, P., Goodenough, J., Gurfinkel, A., Weinstock, C., Wrage, L. Four Pillars for Improving the Quality of Safety-Critical Software-reliant Systems. Software Engineering Institute, Technology Highlight, April 2013. http://resources.sei.cmu.edu/library/asset-view.cfm?assetid=47791.Google ScholarCross Ref
Index Terms
- AADL and model-based engineering
Recommendations
AADL and model-based engineering
HILT '14Mission and safety critical software-reliant systems, aka. Cyber-physical systems, face the increasing challenges of exponential increase in verification related software rework cost. Industry studies show that 70% of defects are introduced in ...
Two Formal Semantics of a Subset of the AADL
ICECCS '11: Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer SystemsThe analysis and verification of an AADL model usually requires its transformation into the meta-model of this model-checker or that schedulability analysis tool. However, one challenging problem is to prove that the transformation into the target model ...
Comments