Implementing timed automata specifications: the sandwich approachReport as inadecuate




Implementing timed automata specifications: the sandwich approach - Download this document for free, or read online. Document in PDF available to download.

1 SSD - Systèmes Distribués 2 IRA2 IBISC - Informatique, Biologie Intégrative et Systèmes Complexes 3 COSMO IBISC - Informatique, Biologie Intégrative et Systèmes Complexes

Abstract : From a highly distributed timed automata specification, the paper analyses an implementation in the form of a looping controller, launching possibly many tasks in each cycle. Qualitative and quantitative constraints are distinguished on the specification to allow such an implementation, and the analysis of the semantic differences between the specification and the implementation leads to define an overapproximating model. The implementation is then -sandwiched- between the original specification and the new model, allowing to check if the important properties of the specification are preserved by the implementation.

keyword : Timed automata implementability semantics





Author: Raymond Devillers - Jean-Yves Didier - Hanna Klaudel -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents