Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time Systems.
Thanh-Dat NguyenYassine OuhammouEmmanuel GrolleauPublished in: SEAA (2019)
Keyphrases
- real time systems
- object oriented programming language
- real time
- distributed systems
- embedded systems
- real time database systems
- asynchronous circuits
- programming language
- test generation
- timing constraints
- mission critical
- natural language
- architectural model
- embedded real time systems
- model checking
- test cases
- anytime algorithms
- software engineering
- database systems