Design and Analysis of Semaphore Precedence Constraints: a Model‐based Approach for Deterministic Communications

Thanh‐Dat Nguyen1,a, Yassine Ouhammou1,b, Emmanuel Grolleau1,c, Julien Forget2, Claire Pagetti3 and Pascal Richard1,d
1LIAS, ENSMA and University of Poitiers, Futuroscope, France
athanh-dat.nguyen@ensma.fr
byassine.ouhammou@ensma.fr
cgrolleau@ensma.fr
dpascal.richard@univ-poitiers.fr
2LIFL, University of Lille1, Villeneuve d’Ascq, France
julien.forget@lifl.fr
3ONERA/DTIM, Toulouse, France
claire.pagetti@onera.fr

ABSTRACT


Architecture Analysis and Design Language (AADL) is a standard in avionics system design. However, the communication patterns provided by AADL are not sufficient to the current context of Real‐Time Embedded System (RTES) in which some multi‐periodic communication patterns may occur. We propose an extension of a precedence model between tasks of different periods (multiperiodic communication). This relies on the Semaphore Precedence Constraint (SPC) model that is inspired from the concept of Semaphore, and more specifically on the m–n producer/consumer paradigm. We reinforce the SPC semantics by allowing cycles in the SPC precedence graph. We also present another viewpoint on the periodicity of tasks system using SPC based on a graph apart from the encoding technique presented in the SPC seminal work. An implementation of SPC in AADL and its associated analysis tool are also provided to study the temporal behaviour of systems using SPC.


Full Text (PDF)