skip to main content
research-article

Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling

Authors Info & Claims
Published:18 October 2014Publication History
Skip Abstract Section

Abstract

Correct design, and system-level dependability prediction of highly-integrated systems demand the collocation of requirements and architectural artifacts within an integrated development environment. Hybrid systems, having dependencies and extensive interactions between their control portion and their environment, further intensify this need.

AADL is a model-based engineering language for the architectural design and analysis of embedded control systems. Core AADL has been extended with a mechanism for discrete behavioral modeling and analysis of control systems, but not for the continuous behavior of the physical environment. In this paper, we introduce a lightweight language extension to AADL called the Hybrid Annex for continuous-time modeling, fulfilling the need for integrated modeling of the computing system along with its physical environment in their respective domains. The Isolette system described in the FAA Requirement Engineering Management Handbook is used to illustrate continuous behavior modeling with the proposed Hybrid Annex.

References

  1. Ehsan Ahmad, Yunwei Dong, Shuling Wang, Naijun Zhan, and Liang Zou, Adding formal meanings to aadl with hybrid annex, accepted for publication, The 11th International Symposium on Formal Aspects of Component Software, FACS'14, 2014.Google ScholarGoogle Scholar
  2. Ayan Banerjee, Sailesh Kandula, Tridib Mukherjee, and Sandeep K. S. Gupta, Band-aide: A tool for cyber-physical oriented analysis and design of body area networks and devices, ACM Transactions on Embedded Computing Systems vol:11, no. S2, pp. 49:1--49:29, ACM, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Dominique Blouin, Eric Senn, and Skander Turki, Defining an annex language to the architecture analysis and design language for requirements engineering activities support, Model-Driven Requirements Engineering Workshop (MoDRE), pp. 11--20, 2011.Google ScholarGoogle ScholarCross RefCross Ref
  4. Denis Buzdalov, Alexey Khoroshilov, and Eugene Kornykhin, Unit relations annex, (draft, progress update) https://wiki.sei.cmu.edu/aadl/images/c/c5/201309-ispras-unit-relations-annex.pdf, 2013.Google ScholarGoogle Scholar
  5. Paul Clements, Felix Bachmann, Len Bass, David Garlan, James Ives, Reed Little, Robert Nord, and Judith Stafford, Documenting software architecture: Views and beyond, SEI Series in Software Engineering, Pearson Education, Inc., Boston, MA, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. AADL Standard Committee, Aadl user days website, https://wiki.sei.cmu.edu/aadl/index.php/AADL_User_Days, 2014.Google ScholarGoogle Scholar
  7. Peter Feiler and David Gluch, Model-based engineering with AADL: An introduction to the SAE architecture analysis & design language, Addison-Wesley, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Peter Feiler, Jörgen Hansson, Dionisio de Niz, and Lutz Wrage, System architecture virtual integration: An industrial case study, Tech. Report Carnegie Mellon University/SEI-2009-TR-017, SEI, Carnegie Mellon University, 2009.Google ScholarGoogle Scholar
  9. Jifeng He, From CSP to hybrid systems, A Classical Mind, Essays in Honour of C.A.R. Hoare, Prentice Hall International (UK) Ltd., pp. 171--189, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Mats Heimdahl, Lian Duan, Anitha Murugesan, and Sanjai Rayadurgam, Modeling and requirements on the physical side of cyber-physical systems, Second International Wokshop on the Twin Peaks of Requirements and Architecture, ICSE'13, IEEE, 2013.Google ScholarGoogle Scholar
  11. Thomas A. Henzinger and Joseph Sifakis, The embedded systems design challenge, FM'06, LNCS, pp. 1--15, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. SAE International, Architecture analysis & design language (AADL) annex volume 1: Annex e: Error model annex, 2006.Google ScholarGoogle Scholar
  13. SAE International, Architecture analysis & design language (AADL) annex volume 2: Annex d: behavior model annex, 2011.Google ScholarGoogle Scholar
  14. SAE International, Architecture analysis & design language (AADL) annex volume 2: Annex b: data modeling annex, 2011.Google ScholarGoogle Scholar
  15. SAE International, Architecture analysis & design language (AADL) annex volume 2: Annex f: arinc653 annex, 2011.Google ScholarGoogle Scholar
  16. SAE International, SAE as5506b, architecture analysis & design language (AADL), 2012.Google ScholarGoogle Scholar
  17. Brian R. Larson, Behavior Language for Embedded Systems with Software: Language Reference Manual, info.santoslab.org/research/aadl/bless, 2014.Google ScholarGoogle Scholar
  18. Brian R. Larson, Patrice Chalin, and John Hatcliff, BLESS: Formal specification and verification of behaviors for embedded systems with software, NASA Formal Methods, LNCS, vol. 7871, Springer Berlin Heidelberg, pp. 276--290, 2013.Google ScholarGoogle Scholar
  19. Brian R. Larson, John Hatcliff, Kim Fowler, and Julian Delange, Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device, Proceedings of the 2013 ACM SIGAda Annual Conference on High Integrity Language Technology, HILT '13, ACM, pp. 65--84, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Edward A. Lee, What's ahead for embedded software? IEEE Computer, pp. 18--26, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. David L. Lempia and Steven P. Miller, Requirement engineering management handbook, Tech. Report DOT/FAA/AR-08/32, Federal Aviation Administration, 2009.Google ScholarGoogle Scholar
  22. Nancy Levenson, Engineering a safer world, MIT Press, Cambridge, MA, 2011.Google ScholarGoogle Scholar
  23. Qian Yuqing, Liu Jing, and Chen Xiaohong, Hybrid aadl: A sublanguage extension to aadl, Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware '13, ACM, pp. 27:1--27:4, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Naijun Zhan, Shuling Wang, and Hengjun Zhao, Formal modelling, analysis and verification of hybrid systems, Unifying Theories of Programming and Formal Engineering Methods, LNCS, pp. 207--281, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. Yu Zhang, Yunwei Dong, Fan Zhang, and Yunfeng Zhang, Research on modeling and analysis of cps, Proceedings of the 8th International Conference on Autonomic and Trusted Computing (Berlin, Heidelberg), ATC'11, Springer-Verlag, pp. 92--105, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. Chaochen Zhou, Ji Wang, and Anders P. Ravn, A formal description of hybrid systems, Hybrid systems, LNCS, vol. 1066, pp. 511--530, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, and Yu Liu, Verifying chinese train control system under a combined scenario by theorem proving, VSTTE, LNCS, vol. 8164, pp. 262--280, 2013.Google ScholarGoogle Scholar

Index Terms

  1. Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling

      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!