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.