[en] The development of embedded systems according to Model-Driven Development relies on two complementary activities: system modeling on the one hand and analysis of the non-functional properties, such as timing properties, on the other hand. Yet, the coupling between models and analyses remains largely disregarded so far: e.g., how to apply an analysis on a model? How to manage the analysis process? This paper presents an application of our research on this topic. In particular, we show that our approach makes it possible to combine heterogeneous models and analyses in the design of an avionic system. We use two languages to model the system at different levels of abstraction: the industry standard AADL (Architecture Analysis and Design Language) and the more recent implementation-oriented CPAL language (Cyber-Physical Action Language). We then combine different real-time scheduling analyses so as to gradually define the task and network parameters and finally validate the schedulability of all activities of the system.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
BRAU, Guillaume ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
NAVET, Nicolas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Hugues, Jérôme; ISAE / SUPAERO > DISC
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study
Date de publication/diffusion :
octobre 2017
Nom de la manifestation :
Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS'2017)
Lieu de la manifestation :
Grenoble, France
Date de la manifestation :
from 04-10-2017 to 06-10-2017
Manifestation à portée :
International
Titre de l'ouvrage principal :
25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017
SAE International, Architecture Analysis and Design Language (AADL) AS-5506A, Std., 2009.
P. Cuenot et al., "The EAST-ADL Architecture Description Language for Automotive Embedded Software," in Model-Based Engineering of Embedded Real-Time Systems. Springer, 2011.
B. Selic and S. Gerard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems, ser. The MK/OMG Press. Morgan Kaufmann, 2013.
T. Weilkiens, Systems Engineering with SysML/UML: Modeling, Analysis, Design, ser. The MK/OMG Press. Morgan Kaufmann, 2008.
F. Singhoffr, J. Legrand, L. Nana, and L. Marcé, "Cheddar: a flexible real time scheduling framework," in ACM SIGAda Ada Letters, 2004.
M. González Harbour, J. G. García, J. P. Gutiérrez, and J. D. Moyano, "Mast: Modeling and analysis suite for real time applications," in 13th Euromicro Conference on Real-Time Systems (ECRTS). IEEE, 2001, pp. 125-134.
K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a nutshell," International Journal on Software Tools for Technology Transfer (STTT), 1997.
Software Engineering Institute, "OSATE2: An open-source tool platform for AADLv2," https://wiki.sei.cmu.edu/aadl/index.php/Osate-2, june 2016.
B. Xu and M. Lu, "A survey on verification and analysis of non-functional properties of aadl model based on model transformation," in 5th International Conference on Education, Management, Information and Medicine (EMIM), 2015.
G. Brau, "Integration of the analysis of non-functional properties in model-driven engineering for embedded systems," Ph.D. dissertation, University of Luxembourg, March 2017.
M. Lauer, "Une méthode globale pour la vérification d'exigences temps réel - Application à l'Avionique Modulaire Intégrée," Ph.D. dissertation, Institut National Polytechnique de Toulouse, 2012.
C. Pagetti, D. Saussié, R. Gratia, E. Noulard, and P. Siron, "The rosace case study: from simulink specification to multi/many-core execution," in 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
N. Navet and L. Fejoz, The CPAL Programming Language: An introduction, v1.19 ed., July 2017, available at https://www.designcps.com/wp-content/uploads/cpal-intro.pdf.
-, "CPAL: High-level abstractions for safe embedded systems," in Proc. of the ACM International Workshop on Domain-Specific Modeling (DSM), 2016, pp. 35-41.
G. Berry, "Scade: Synchronous design and validation of embedded control software," in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, 2007, pp. 19-33.
J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong, "Taming heterogeneity-the ptolemy approach," Proceedings of the IEEE, vol. 91, no. 1, pp. 127-144, 2003.
A. Khoroshilov, I. Koverninskiy, A. Petrenko, and A. Ugnenko, "Integrating aadl-based tool chain into existing industrial processes," in 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011.
G. Holzmann, Spin Model Checker, the: Primer and Reference Manual, 1st ed. Addison-Wesley Professional, 2003.
J. Hugues, B. Zalila, L. Pautet, and F. Kordon, "From the prototype to the final embedded system using the Ocarina AADL tool suite," ACM Transactions on Embedded Computing Systems (TECS), vol. 7, no. 4, pp. 42:1-42:25, 2008.
Y. Ouhammou, "Model-based framework for using advanced scheduling theory in real-time systems design," Ph.D. dissertation, Ecole Nationale Supérieure de Mécanique et d'Aérotechique de Poitiers, december 2013.
A. Johnsen, K. Lundqvist, P. Pettersson, and O. Jaradat, "Automated verification of aadl-specifications using uppaal," in 14th International Symposium on High-Assurance Systems Engineering (HASE). IEEE, 2012, pp. 130-138.
B. Berthomieu, J.-P. Bodeveix, C. Chaudet, S. Dal Zilio, M. Filali, and F. Vernadat, "Formal verification of AADL specifications in the Topcased environment," in 14th International Conference on Reliable Software Technologies Ada-Europe, 2009.
A.-E. Rugina, K. Kanoun, and M. Kaâniche, "The ADAPT tool: From AADL architectural models to stochastic petri nets through model transformation," in Dependable Computing Conference, 2008. EDCC 2008. Seventh European. IEEE, 2008, pp. 85-90.
Y. Ouhammou, E. Grolleau, P. Richard, and M. Richard, "Reducing the Gap Between Design and Scheduling," in 20th International Conference on Real-Time and Network Systems (RTNS). ACM, 2012, pp. 21-30.
V. Gaudel, "Des patrons de conception pour assurer l'analyse d'architectures: un exemple avec l'analyse d'ordonnancement," Ph.D. dissertation, Université de Bretagne Occidentale, november 2014.
I. Ruchkin, D. De Niz, S. Chaki, and D. Garlan, "Contract-based integration of cyber-physical analyses," in 14th International Conference on Embedded Software (EMSOFT). ACM, 2014, p. 23.
G. Brau, J. Hugues, and N. Navet, "A contract-based approach for goal-driven analysis," in 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE, 2015.
D. Jackson, Software Abstractions: logic, language, and analysis. MIT press, 2012.
J. Migge, "Scheduling of recurrent tasks on one processor: a trajectory based model," Ph.D. dissertation, Université de Nice, 1999.
C. Spitzer, U. Ferrell, and T. Ferrell, Digital avionics handbook. CRC Press, 2014.
J. Forget, "A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints," Ph.D. dissertation, Université de Toulouse, 2009.
ARINC Report 653P0 Avionics Application Software Standard Interface, Part 0, Overview of ARINC 653. Aeronautical Radio Incorporated.
ARINC Report 664P7-1 Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network. Aeronautical Radio Incorporated.
P. Binns, M. Englehart, M. Jackson, and S. Vestal, "Domain-specific software architectures for guidance, navigation and control," International Journal of Software Engineering and Knowledge Engineering, 1996.
L. Fejoz, "ROSACE Case Study: A CPAL implementation (version 1.0)," September 2016, available in the examples programs of the CPAL distribution at https://www.designcps.com.
N. Navet, L. Fejoz, L. Havet, and S. Altmeyer, "Lean Model-Driven Development through Model-Interpretation: the CPAL design flow," in Embedded Real-Time Software and Systems (ERTS), 2016.
A. Benveniste and G. Berry, "The synchronous approach to reactive and real-time systems," Proceedings of the IEEE, vol. 79, no. 9, pp. 1270-1282, 1991.
T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Giotto: A time-triggered language for embedded programming," in Embedded software, 2001.
J. Forget, F. Boniol, D. Lesens, and C. Pagetti, "A real-time architecture design language for multi-rate embedded control systems," in 25th Symposium on Applied Computing (SAC). ACM, 2010, pp. 527-534.
I. Cibrario Bertolotti, T. Hu, and N. Navet, "Model-based design languages: a case study," in 13th IEEE International Workshop on Factory Communication Systems (WFCS2017), Trondheim, Norway, June 2017.
F. J. Cazorla et al., "Proartis: Probabilistically analyzable real-time systems," ACM Trans. Embed. Comput. Syst., vol. 12, no. 2s, pp. 94:1-94:26, May 2013.
S. Baruah and A. Burns, "Sustainable scheduling analysis," in 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), Dec 2006, pp. 159-168.
S. Altmeyer, S. M. Sundharam, and N. Navet, "The Case for FIFO Real-Time Scheduling," University of Luxembourg, Tech. Rep., 2015.
J. P. G. C. Craveiro, "Real-Time Scheduling in Multicore Time-and Space-Partitioned Architectures," Ph.D. dissertation, Universidade de Lisboa, 2013.
G. Brau, J. Hugues, and N. Navet, "Refinement of AADL models using early-stage analysis methods - An avionics example," Laboratory for Advanced Software Systems, Tech. Rep. TR-LASSY-13-06, 2013.
M. Boyer, J. Migge, and M. Fumey, "PEGASE - A Robust and Efficient Tool for Worst-Case Network Traversal Time Evaluation on AFDX," in SAE AeroTech Congress & Exhibition, Toulouse, France, October 18-21 2011.
