skip to main content
abstract

AADL and model-based engineering

Published:18 October 2014Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle Scholar
  2. 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 ScholarGoogle Scholar
  3. 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 ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. AADL and model-based engineering

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!