 |
Free and accessible knowledge |
Conference papers
Implementing timed automata specifications: the "sandwich" approach
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.
Cited literature [15 references]
https://hal.archives-ouvertes.fr/hal-00841771
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Wednesday, July 17, 2013 - 11:20:12 AM
Last modification on : Tuesday, February 15, 2022 - 11:24:04 AM
Long-term archiving on: : Wednesday, April 5, 2017 - 7:43:49 AM
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Wednesday, July 17, 2013 - 11:20:12 AM
Last modification on : Tuesday, February 15, 2022 - 11:24:04 AM
Long-term archiving on: : Wednesday, April 5, 2017 - 7:43:49 AM
File
sandwich.pdf
Files produced by the author(s)