Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems - Université de Poitiers Access content directly
Conference Papers Year : 2019

Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems

Abstract

Real-time systems are used in many critical domains such as automotive, avionics and nuclear, therefore their temporal behavior needs to be checked rigorously. Many scheduling theory-based analysis tests have been proposed to validate the design of real-time systems. Since each given test is based on a set of assumptions, only the constrained system which satisfies these assumptions can be reliably verified by such a test. These assumptions do not depend on any design language but their interpretation does. Currently, these assumptions are often drowned in scientific paper discussions and expressed in natural languages. In this paper, we aim to make possible to define formally assumptions by real-time systems analysts without being expert of design languages. Indeed, we propose a domain specific language named IRL (Identification Rule Language). We show the benefit of such a language to capitalize efforts. That is, IRL allows to define analysis supports to help the timing verification community to share its knowledge and enables systems designers to use this knowledge easily.
Embargoed file
Embargoed file
0 8 22
Year Month Jours
Avant la publication
Monday, March 10, 2025
Embargoed file
Monday, March 10, 2025
Please log in to request access to the document

Dates and versions

hal-04024026 , version 1 (10-03-2023)

Licence

Copyright

Identifiers

Cite

Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau. Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems. 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2019, Aug 2019, Kallithea-Chalkidiki, Greece. pp.450-457, ⟨10.1109/SEAA.2019.00073⟩. ⟨hal-04024026⟩
10 View
3 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More