The verification of real-time systems has been an active area of research for several decades now. Some results have been successfully transferred to industry. Still, many obstacles remain that hinder a smooth integration of academic research and industrial application. In this extended abstract, we discuss some of these obstacles and ongoing research and community efforts to bridge this gap. In particular, we present several experimental and theoretical methods to evaluate and compare real-time systems analysis methods and tools.
CITATION STYLE
Quinton, S. (2018). Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11119 LNCS, pp. 284–290). Springer Verlag. https://doi.org/10.1007/978-3-030-00244-2_19
Mendeley helps you to discover research relevant for your work.