Quantitative system validation in model driven design

Authors:
Holger Hermanns;Kim Guldstrand Larsen;Jean-François Raskin;Jan Tretmans
Affiliations:
Saarland University, Saarbrücken, Germany;Aalborg University, Aalborg, Denmark;Université Libre de Bruxelles, Brussels, Belgium;Embedded Systems Institute, Eindhoven, Netherlands
Venue:
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Year:
2010

Citing 3
Cited 1

On Conformance Testing for Timed Systems

FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Automatic Synthesis of Robust and Optimal Controllers --- An Industrial Case Study

HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks

FM '09 Proceedings of the 2nd World Congress on Formal Methods

Model-based synthesis of control software from system-level formal specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The European STREP project Quasimodo develops theory, techniques and tool components for handling quantitative constraints in model-driven development of real-time embedded systems, covering in particular real-time, hybrid and stochastic aspects. This tutorial highlights the advances made, focussing on real industrial case studies tackled.