Abstract
The European STREP project Quasimodo1 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.
Originalsprog | Engelsk |
---|---|
Titel | Embedded Systems Week 2010 - Proceedings of the 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10 |
Forlag | Association for Computing Machinery |
Publikationsdato | 2010 |
Sider | 301-302 |
ISBN (Trykt) | 978-160558904-6 |
DOI | |
Status | Udgivet - 2010 |
Begivenhed | 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10 - Scottsdale, AZ., USA Varighed: 24 okt. 2010 → 29 okt. 2010 |
Konference
Konference | 10th ACM International Conference on Compilers, Architecture and Synthesis for Embedded Systems, EMSOFT'10 |
---|---|
Land/Område | USA |
By | Scottsdale, AZ. |
Periode | 24/10/2010 → 29/10/2010 |