Model-driven design-space exploration for software-intensive embedded systems
Autor: | Basten, T., Hendriks, M., Somers, L.J.A.M., Trcka, N., Jurdzinski, M., Nickovic, D. |
---|---|
Přispěvatelé: | Process Science, Electronic Systems |
Jazyk: | angličtina |
Rok vydání: | 2012 |
Předmět: | |
Zdroj: | Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings), 1-6 STARTPAGE=1;ENDPAGE=6;TITLE=Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings) Lecture Notes in Computer Science ISBN: 9783642333644 |
ISSN: | 0302-9743 |
DOI: | 10.1007/978-3-642-33365-1_1 |
Popis: | Software plays an increasingly important role in modern embedded systems, leading to a rapid increase in design complexity. Model-driven exploration of design alternatives leads to shorter, more predictable development times and better controlled product quality. |
Databáze: | OpenAIRE |
Externí odkaz: |