Download:
|
by Taxys Esterel Kronos, V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, S. Yovine
http://www-verimag.imag.fr/~yovine/articles/cdc01.ps.gz
Add To MetaCart
Abstract:
A tool for verifying real-time properties of embedded systems
Citations
|
2168
|
Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment
– Liu, Layland
- 1973
|
|
1393
|
A theory of timed automata
– Alur, Dill
- 1994
|
|
283
|
The Synchronous Approach to Reactive and Real-Time Systems
– Benveniste, Berry
- 1991
|
|
126
|
The Esterel Synchronous Programming Language
– Berry, Gonthier
- 1992
|
|
115
|
Synchronization in Real-Time Systems: A Priority Inheritance Approach
– Rajkumar
- 1991
|
|
102
|
On the supremal controllable sublanguage of a given language
– Wonham, Ramadge
- 1987
|
|
81
|
Symbolic controller synthesis for discrete and timed systems
– Asarin, Maler, et al.
- 1995
|
|
46
|
Scheduling hard real-time systems - Review
– Burns
- 1991
|
|
41
|
A Framework for Scheduler Synthesis
– Altisen, Goessler, et al.
- 1999
|
|
35
|
Scheduler modeling based on the controller synthesis paradigm
– Altisen, Göessler, et al.
- 2002
|
|
31
|
An algebraic framework for urgency
– Bornot, Sifakis
- 2000
|
|
27
|
Job-shop scheduling using timed automata
– Abdeddaïm, Maler
- 2001
|
|
19
|
Towards validated real-time software
– Bertin, Poize, et al.
- 2000
|
|
13
|
Efficient compilation of Esterel for real-time embedded systems
– Weil, Bertin, et al.
- 2000
|
|
12
|
Symbolic schedulability analysis of real-time systems
– Kwak, Lee, et al.
- 1998
|
|
10
|
The MSP.RTL Real-Time Scheduler Synthesis Tool
– Mok, Tsou, et al.
- 1996
|
|
9
|
Tripakis and S.Yovine. The tool Kronos
– Daws
- 1996
|
|
7
|
Real-time extensions to posix
– Standard
- 1991
|
|
6
|
Timing Analysis and Code Generation of Vehicle Control Software using Taxys
– Tripakis, Yovine
- 2001
|
|
5
|
A process algebraic approach to the schedulability analysis of real-time systems
– Ben-Abdallah, Choi, et al.
- 1998
|
|
4
|
Software Architecture of PATH's Automated Vehicle Control
– Tripakis
- 2001
|
|
3
|
As cheap as possible: Ecient cost-optimal reachability for priced timed automata
– Larsen, Behrmann, et al.
- 2001
|
|
3
|
M.: The GSM System for Mobile Communications. Cell&Sys
– Mouly, Pautet
- 1992
|
|
1
|
Validation d'applications temps-reel par analyse de programmes synchrones temporises
– Bertin
- 2000
|
|
1
|
TAXYS: a tool for the developpment and veri real-time embedded systems
– Closse, Poize, et al.
- 2001
|
