Theoretical Computer Science
Scheduling for Embedded Real-Time Systems
IEEE Design & Test
TIMES - A Tool for Modelling and Implementation of Embedded Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
Proceedings of the 5th ACM international conference on Embedded software
Designing Embedded Hardware
Schedulability analysis using two clocks
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Hi-index | 0.00 |
In this paper, we present an approach for the analysis of real-time embedded systems. The analysis is based on the verification of the schedulability of tasks in addition to the verification of requirements on the overall system. The real-time embedded system is interacting with an environment composed essentially from a plant and other computerized software. In our approach we identify the behaviour of the plant using observed output from a simulation or from a real system. This measured/observed output will be used to model the behaviour of the plant. The specification of tasks controlling the plant will be integrated to this model. At the end, a model representing the scheduler will be composed with the plant models to get an overall system model which will be used for analysis. We have used the formalism of timed automata extended to specify tasks and scheduling which are implemented within a tool called "TIMES" for real-time model checking.