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