Jerome Hugues
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 ScholarDigital 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 ScholarDigital 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 ScholarDigital 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 ScholarDigital 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 ScholarDigital 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 ScholarDigital 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 ScholarDigital 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 ScholarDigital Library
- Leveson, N. 1997. Software engineering: Stretching the limits of complexity. Comm. ACM 40, 2, 129--131. Google ScholarDigital 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 ScholarDigital 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 ScholarDigital 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 ScholarDigital 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 ScholarCross 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 ...
Validate, simulate, and implement ARINC653 systems using the AADL
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesSafety-critical systems are widely used in different domains and lead to an increasing complexity. Such systems rely on specific services such space and time isolation as in the ARINC653 avionics standard. Their criticality requires a carefully driven ...
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