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 distinguishedon 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 theimportant properties of the specification are preserved by the implementation. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/ACSD.2013.26 | Application of Concurrency to System Design |
Keywords | DocType | ISSN |
theimportant property,quantitative constraint,new model,implementing timed automata specifications,original specification,automata specification,semantic difference,looping controller,overapproximating model,process control,automata,semantics,formal specification,cost accounting,automata theory,vectors | Conference | 1550-4808 |
Citations | PageRank | References |
2 | 0.38 | 9 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Raymond Devillers | 1 | 742 | 76.40 |
Jean-yves Didier | 2 | 70 | 13.14 |
Hanna Klaudel | 3 | 300 | 36.69 |