ABSTRACT
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended to be developed independently, and then deployed on the described architecture. This separate development of the architecture and of the software raises the problem of early validation of the integrated system.
In this paper, we propose to solve this problem by translating the architecture into an executable model, which can be simulated and validated together with the software components. More specifically, we consider the case where the architecture is described in the AADL language, and the software components are developed in some synchronous language like Scade or Lustre. We show how the architecture can be automatically translated into a non-deterministic synchronous model, to which the actual software component can be integrated. The result is an executable integrated synchronous model, which can be validated with tools available for synchronous programs. The approach is illustrated on an industrial case study extracted from an actual spatial system.
- P. Baufreton. SACRES: A step ahead in the development of critical avionics applications. In F. W. Vaandrager and J. H. van Schuppen, editors, Hybrid Systems: Computation and Control: Second International Workshop, HSCC '99. LNCS 1569, Springer-Verlag, 1999. Google ScholarDigital Library
- P. Baufreton. Visual notations based on synchronous languages for dynamic validation of gals systems. In CCCT'04 Computing, Communications and Control Technologies, Austin (Texas), August 2004.Google Scholar
- A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1), January 2003.Google ScholarCross Ref
- J. T. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt. Ptolemy: A mixed-paradigm simulation/prototyping platform in c++. In C++ At Work Conference, Santa Clara, CA, 1991.Google Scholar
- P. Caspi, C. Mazuet, and N. Reynaud Paligot. About the design of distributed control systems, the quasi-synchronous approach. In SAFECOMP '01. LNCS 2187, 2001. Google ScholarDigital Library
- P. Caspi, C. Mazuet, R. Salem, and D. Weber. Formal design of distributed control systems with Lustre. In Proc. Safecomp'99, volume 1698 of Lecture Notes in Computer Science. Springer Verlag, September 1999. Google ScholarDigital Library
- P. Raymond E. Jahier, N. Halbwachs. The AADL2 sync User Guide, 4 2007.Google Scholar
- P. H. Feiler, D. P. Gluch, J. J. Hudak, and B. A. Lewis. Embedded system architecture analysis using SAE AADL. Technical note cmu/sei-2004-tn-005, Carnegie Mellon University, 2004.Google Scholar
- A. Gamati&3233; and T. Gautier. The signal approach to the design of system architectures. In 10th IEEE Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2003), pages 80--88, Huntsville (Alabama), April 2003.Google ScholarCross Ref
- A. Gamatié and T. Gautier. Synchronous modeling of avionics applications using the signal language. In 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'2003), pages 144--151, Toronto, May 2003. Google ScholarDigital Library
- N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993. Google ScholarDigital Library
- N. Halbwachs and S. Baghdadi. Synchronous modeling of asynchronous systems. In EMSOFT '02. LNCS 2491, Springer Verlag, October 2002. Google ScholarDigital Library
- N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag. Google ScholarDigital Library
- N. Halbwachs and L. Mandel. Simulation and verification of asynchronous systems by means of a synchronous model. In Sixth International Conference on Application of Concurrency to System Design, ACSD 2006, Turku, Finland, June 2006. Google ScholarDigital Library
- Another look at real-time programming. Special Section of the Proceedings of the IEEE, 79(9), September 1991.Google Scholar
- E. Jahier, P. Raymond, and P. Baufreton. Case studies with Lurette V2. International Journal on Software Tools for Technology Transfer (STTT), Special Section on Leveraging Applications of Formal Methods, 2006.Google Scholar
- H. Kopetz. The time-triggered architecture. In ISORC'98, Kyoto, Japan, April 1998. Google ScholarDigital Library
- P. Le Guernic, J.-P. Talpin, and J.-C. Le Lann. Polychrony for system design. Journal for Circuits, Systems and Computers, Special Issue on Application Specific Hardware Design, April 2003.Google Scholar
- C. L. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. JACM, 20(1):46--61, 1973. Google ScholarDigital Library
- R. Milner. On relating synchrony and asynchrony. techreport CSR-75-80, Computer Science Dept., Edimburgh Univ., 1981.Google Scholar
- C. Ratel, N. Halbwachs, and P. Raymond.Programming and verifying critical systems by means of the synchronous data-flow programming language lustre. In ACM-SIGSOFT'91 Conference on Software for Critical Systems, New Orleans, December 1991. Google ScholarDigital Library
- P. Raymond, D. Weber, X. Nicollin, and N. Halbwachs. Automatic testing of reactive systems. In 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998. Google ScholarDigital Library
- SAE. Architecture Analysis & Design Language (AADL). AS5506, Version 1.0, SAE Aerospace, November 2004.Google Scholar
- N. Scaife and P. Caspi. Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems. In Euromicro conference on Real-Time Systems (ECRTS'04), Catania, Italy, June 2004. Google ScholarDigital Library
Index Terms
- Virtual execution of AADL models via a translation into synchronous programs
Recommendations
Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach
Computational Science and Its Applications – ICCSA 2021AbstractThe critical nature of many complex software-intensive systems requires formal architecture descriptions for supporting automated architectural analysis regarding correctness properties. Due to the challenges of adopting formal approaches, many ...
Synchronous Modeling and Validation of Priority Inheritance Schedulers
FASE '09: Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009Architecture Description Languages (ADLs) allow embedded systems to be described as assemblies of hardware and software components. It is attractive to use such a global modelling as a basis for early system analysis. However, in such descriptions, the ...
A refinement-based compiler development for synchronous languages
MEMOCODE '17: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System DesignIn this paper, we are concerned by the elaboration of generic development steps for the code generation for synchronous languages. Our aim is to provide a correct by construction solution. For that purpose, we adopt a refinement-based approach where ...
Comments