Parametric analysis of distributed firm real-time systems: A case study

Thi Thieu Hoa Le, L Palopoli, R Passerone, Y Ramadian, A Cimatti
2010 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)  
A new generation of distributed real-time systems (DRTS) is based on heterogeneous models of computation and communication and is associated with flexible realtime constraints. Classical design flows based on realtime scheduling theory display important limitations related to the restrictive assumption on the system model. On the other hand, formal verification of timed automata is far more general, but it suffers a different limitation: it does not provide any guide on how to choose the design
more » ... parameters, nor does it permit to gauge the robustness of the design against unknown parameters. In this paper, we advocate the use of formal verification of parametric timed automata as a means to combine the best of the two approaches. The feasibility of the idea is shown on a significant industrial case study.
doi:10.1109/etfa.2010.5641315 dblp:conf/etfa/LePPRC10 fatcat:4bmvm7e6qjgrba4wlmduzzqfua