Abstract
Building distributed deal-time embedded systems requires a stringent methodology, from early requirement capture to full implementation. However, there is a strong link between the requirements and the final implementation (e.g., scheduling and resource dimensioning). Therefore, a rapid prototyping process based on automation of tedious and error-prone tasks (analysis and code generation) is required to speed up the development cycle. In this article, we show how the AADL (Architecture Analysis and Design Language), which appeared in late 2004, helps solve these issues thanks to a dedicated tool suite. We then detail the prototyping process and its current implementation: Ocarina.
- Bordin, M. and Vardanega, T. 2005. Automated model-based generation of ravenscar-compliant source code. In Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS'05). IEEE Computer Society, Los Alamitos, CA, 59--67. Google Scholar
Digital Library
- Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M. 1996. Pattern-Oriented Software Architecture: A System of Patterns. Wiley, New York. Google Scholar
Digital Library
- Davis, R. I. and Burns, A. 2005. Hierarchical fixed priority pre-emptive scheduling. In Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS'06). IEEE Computer Society, Los Alamitos, CA, 389--398. Google Scholar
Digital Library
- de la Puente, J. A., Ruiz, J. F., and Zamorano, J. 2000. An open ravenscar real-time kernel for gnat. In Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe'00). Springer-Verlag, Berlin. 5--15. Google Scholar
Digital Library
- Dobbing, B., Burns, A., and Vardanega, T. 2003. Guide for the use of the of the Ravenscar profile in high integrity systems. Tech. rep. University of York.Google Scholar
- ECSS. 2003. Space engineering. SpaceWire—Links, nodes, routers and networks. Standard ECSS-E-50-12A.Google Scholar
- Ellidiss-Software. 2007. STOOD. http://www.ellidiss.com/stood.shtml.Google Scholar
- ENST. 2006. Ocarina: An AADL model processing suite. http://ocarina.enst.fr.Google Scholar
- Feiler, P. H., Gluch, D. P., and Hudak, J. J. 2006. The architecture analysis & design language (AADL): An introduction. Tech. rep. CMU/SEI-2006-TN-011.Google Scholar
- Gasperoni, F. 2006. Safety, security, and object-oriented programming. SIGBED Rev. 3, 4, 15--26. Google Scholar
Digital Library
- Gorappa, S., Colmenares, J. A., Jafarpour, H., and Klefstad, R. 2005. Tool-based configuration of real-time CORBA middleware for embedded systems. In Proceedings of the International Symposium on Object-oriented Real-time distributed Computing (ISORC'05). Seattle, WA. Google Scholar
Digital Library
- Hamez, A., Hillah, L., Kordon, F., Linard, A., Paviot-Adet, E., Renault, X., and Thierry-Mieg, Y. 2006. New features in CPN-AMI 3: Focusing on the analysis of complex distributed systems. In Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06). Turku, Finland. IEEE Computer Society, Los Alamitos, CA. 273--275. Google Scholar
Digital Library
- Hugues, J., Thierry-Mieg, Y., Kordon, F., Pautet, L., Baarir, S., and Vergnaud, T. 2004. On the formal verification of middleware behavioral properties. In Proceedings of the 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04). Electronic Notes in Theoretical Computer Science, vol. 133, Elsevier. 139--157. Google Scholar
Digital Library
- Hugues, J., Zalila, B., and Pautet, L. 2006. Middleware and tool suite for high integrity systems. In Proceedings of RTSS-WiP'06. Rio de Janeiro, Brazil. IEEE, Los Alamitos, CA.Google Scholar
- ISO/IEC 8652:2007(E) Ed. 3. 2006. Annotated Ada 2005 language reference manual. Tech. rep.Google Scholar
- Kordon, F. and Luqi. 2002. An introduction to rapid system prototyping. IEEE Trans. Softw. Eng. 28, 9, 817--821. Google Scholar
Digital Library
- Leveson, N. 1997. Software engineering: Stretching the limits of complexity. Comm. ACM 40, 2, 129--131. Google Scholar
Digital Library
- MoVe-Team. 2007. The CPN-AMI home page. http://www.lip6.fr/cpn-ami.Google Scholar
- OMG. 2001. Model Driven Architecture (MDA), Document number ormsc/2001-07-01. Tech. rep., OMG.Google Scholar
- OMG. 2004. Data distribution service for real-time systems specification, version 1.0. OMG. OMG Technical Document.Google Scholar
- SAE. 2004. Architecture Analysis & Design Language (AS5506). http://www.sae.org.Google Scholar
- SAE. 2005. Language compliance and application program interface. SAE. The AADL Specification Document Annex D.Google Scholar
- SAE. 2006. Open source AADL tool environment. Tech. rep., SAE.Google Scholar
- Schmidt, D., Stal, M., Rohnert, H., and Buschmann, F. 2000. Pattern-Oriented Software Architecture—Volume 2: Patterns for Concurrent and Networked Objects. Wiley, New York. Google Scholar
Digital Library
- Schmidt, D. C., Levine, D. L., and Mungee, S. 1998. The design of the TAO real-time object request broker. Comput. Comm. 21, 4, 294--324. Google Scholar
Digital Library
- Singhoff, F., Legrand, J., Tchamnda, L. N., and Marcé, L. 2004. Cheddar: A flexible real time scheduling framework. ACM Ada Lett. J. 24, 4, 1--8. ACM Press. Google Scholar
Digital Library
- Tindell, K. 1993. Holistic schedulability analysis for distributed hard real-time systems. Tech. rep., University of York.Google Scholar
- Vergnaud, T., Hugues, J., Pautet, L., and Kordon, F. 2004. PolyORB: A schizophrenic middleware to build versatile reliable distributed applications. Lecture Notes in Computer Science, vol. 3063, 106--119.Google Scholar
Cross Ref
Index Terms
From the prototype to the final embedded system using the Ocarina AADL tool suite
Recommendations
An ocarina extension for AADL formal semantics generation
SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied ComputingThe formal verification has become a recommended practice in safety-critical software engineering. The hand-written of the formal specification requires a formal expertise and may become complex, especially with large systems. In such context, the ...
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