Taxys = Esterel + Kronos: A tool for verifying real-time properties of embedded systems

The goal of TAXYS is to provide a framework for developing real-time embedded code and verifying its correct behavior with respect to quantitative timing requirements. To achieve so, TAXYS connects France Telecom's ESTEREL compiler SAXO-RT with VERIMAG's model-checker KRONOS. TAXYS has been successfully applied on real industrial telecommunication systems, such as a GSM radio link from Alcatel and a phone prototype from France Telecom.


Published in:
Proceedings of the IEEE Conference on Decision and Control, 3, 2875 - 2880
Presented at:
Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, United states
Year:
2001
ISSN:
01912216
Keywords:
Laboratories:




 Record created 2013-03-14, last modified 2018-01-28

External link:
Download fulltext
n/a
Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)