Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems - Université de Poitiers Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Résumé

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.
Fichier sous embargo
Fichier sous embargo
0 11 9
Année Mois Jours
Avant la publication
lundi 10 mars 2025
Fichier sous embargo
lundi 10 mars 2025
Connectez-vous pour demander l'accès au fichier

Dates et versions

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

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

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⟩

Collections

UNIV-POITIERS LIAS
9 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More