Taxys = Esterel Kronos: A tool for verifying real-time properties of embedded systemsReport as inadecuate




Taxys = Esterel Kronos: A tool for verifying real-time properties of embedded systems - Download this document for free, or read online. Document in PDF available to download.

Presented at: Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, United states Published in: Proceedings of the IEEE Conference on Decision and Control (ISSN: 01912216), vol. 3, p. 2875 - 2880 Publication date: 2001

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.

Keywords: Algorithms ; Approximation theory ; C (programming language) ; Computational complexity ; Computer graphics ; Computer hardware ; Program processors ; Real time systems ; Software prototyping ; Telecommunication systems ; Voice/data communication systems Reference EPFL-CONF-185013doi:10.1109/CDC.2001.980712





Author: Bertin, Valerie; Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, J.; Venier, Patrick; Weil, D.; Yovine, Sergio

Source: https://infoscience.epfl.ch/record/185013?ln=en







Related documents