Model-driven design-space exploration for software-intensive embedded systems

T. Basten, M. Hendriks, L.J.A.M. Somers, N. Trcka

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
3 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)
EditorsM. Jurdzinski, D. Nickovic
Place of PublicationBerlin
PublisherSpringer
Pages1-6
ISBN (Print)978-3-642-33364-4
DOIs
Publication statusPublished - 2012
Eventconference; 10th International Conference on Formal Modeling and Analysis of Timed Systems -
Duration: 1 Jan 2012 → …

Publication series

NameLecture Notes in Computer Science
Volume7595
ISSN (Print)0302-9743

Conference

Conferenceconference; 10th International Conference on Formal Modeling and Analysis of Timed Systems
Period1/01/12 → …
Other10th International Conference on Formal Modeling and Analysis of Timed Systems

Fingerprint Dive into the research topics of 'Model-driven design-space exploration for software-intensive embedded systems'. Together they form a unique fingerprint.

Cite this