Skip to Main content Skip to Navigation
Journal articles

Polychronous modeling, analysis, verification and simulation for timed software architectures

Abstract : High-level modeling languages and standards, such as Simulink, SysML, MARTE and AADL (Architecture Analysis & Design Language), are increasingly adopted in the design of embedded systems so that system-level analysis, verification and validation (V&V) and architecture exploration are carried out as early as possible. This paper presents our main contribution in this aim by considering embedded systems architectural modeling in AADL and functional modeling in Simulink; an original clock-based timing analysis and validation of the overall system is achieved via a formal polychronous/multi-clock model of computation. In order to avoid semantics ambiguities of AADL and Simulink, their features related to real-time and logical time properties are first studied. We then endue them with a semantics in the polychronous model of computation. We use this model of computation to jointly analyze the non-functional real-time and logical-time properties of the system (by means of logical and affine clock relations). Our approach demonstrates, through several case-studies conducted with Airbus and C-S Toulouse in the European projects CESAR and OPEES, how to cope with the system-level timing verification and validation of high-level AADL and Simulink components in the framework of Polychrony, a synchronous modeling framework dedicated to the design of safety-critical embedded systems.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00916418
Contributor : Thierry Gautier <>
Submitted on : Tuesday, December 10, 2013 - 11:35:08 AM
Last modification on : Tuesday, June 15, 2021 - 4:26:49 PM

Links full text

Identifiers

Citation

Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, et al.. Polychronous modeling, analysis, verification and simulation for timed software architectures. Journal of Systems Architecture, Elsevier, 2013, 59 (10), pp.1157-1170. ⟨10.1016/j.sysarc.2013.08.004⟩. ⟨hal-00916418⟩

Share

Metrics

Record views

475