A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Parametric analysis of distributed firm real-time systems: A case study
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
doi:10.1109/etfa.2010.5641315
dblp:conf/etfa/LePPRC10
fatcat:4bmvm7e6qjgrba4wlmduzzqfua