ABSTRACT
AADL (Architecture Analysis and Design Language) is widely used in the area of modeling and analysis. However, it is not so convenient to describe a hybrid system with AADL. In this paper, we propose an approach to construct an annex of AADL, thus to facilitate the modeling and analysis of hybrid system. The syntax and semantics of hybrid AADL are provided. Additionally, we developed a hybrid system modeling plug-in to OSATE, which is an AADL supporting tool. Our approach, as well as our tool, is successfully used in the development of a lunar rover control system for the institute of China Aerospace Science and Technology.
- Feiler, P. H., Lewis, Bruce A., and Vestal, S. 2006. The SAE Architecture Analysis & Design Language (AADL): A Standard for Engineering Performance Critical Systems. In 2006 IEEE International Conference on Control Applications (Munich, Germany, October 04--06, 2006). 1206--1211.Google Scholar
- Zhibin Yang, Kai Hu, and Lei Pi. 2009. Towards a Formal Semantics for the AADL Behavior Annex. In Design, Automation & Test in Europe Conference & Exhibition (Nice, France, April 20--24, 2009). 1166--1171. Google ScholarDigital Library
- Peter, C. O., Artur, B., and Jose, M. 2010. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. In Formal Techniques for Distributed Systems, John, H., Elena, Z., Ed. Springer, Berlin Heidelberg, 47--62. Google ScholarDigital Library
- Frana, R. B., Bodeveix, J.-P., Filali, M., and Rolland, J.-F. 2007. The AADL behavior annex -- experiments and roadmap. In 12th IEEE International Conference on Engineering Complex Computer Systems(Auckland, New Zealand, July 11--14, 2007). 377--382. Google ScholarDigital Library
- Li Lang, Li Ren-fa, Li Ken-li, and Yao Feng-juan. Survey on hybrid system. Application Research of Computers, 25(8), 2255--2259.Google Scholar
- Faugere, M., Bourbeau, T., de Simone, R., Gerard, S. 2007. MARTE: Also an UML Profile for Modeling AADL Applications. In 12th IEEE International Conference on Engineering Complex Computer Systems(Auckland, New Zealand, July 11--14, 2007). 359--364. Google ScholarDigital Library
- Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V. Y., Noll, T., and Roveri, M. Safety, Dependability and Performance Analysis of Extended AADL Models. The Computer Journal, 54(5), 754--775. Google ScholarDigital Library
- Delange, J., Pautet, L., Plantec, A., Kerboeuf, M., Singhoff, F., and Kordon, F. 2009. Validate, simulate, and implement ARINC653 systems using the AADL (New York, USA, 2009). 31--44.Google Scholar
- John J. Hudak, and Peter H. Feiler. 2007. Developing AADL Models for Control Systems: A Practitioner's Guide. Technical Report. Carnegie Mellon University.Google Scholar
Recommendations
AADL+: a simulation-based methodology for cyber-physical systems
AADL (architecture analysis and design language) concentrates on the modeling and analysis of application system architectures. It is quite popular for its simple syntax, powerful functionality and extensibility and has been widely applied in embedded ...
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 ...
Towards a formal semantics for the AADL behavior annex
DATE '09: Proceedings of the Conference on Design, Automation and Test in EuropeAADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This paper proposes a formal semantics for the AADL behavior annex using Timed ...
Comments