Continuous Engineering of Embedded systems

We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle these issues in a model-driven design paradigm, on the behavioral models, and to empl...

Full description

Saved in:
Bibliographic Details
Published inFrom Model-Driven Design to Resource Management for Distributed Embedded Systems pp. 45 - 54
Main Authors Steffen, Bernhard, Margaria, Tiziana
Format Book Chapter
LanguageEnglish
Published Boston, MA Springer US 2006
SeriesIFIP International Federation for Information Processing
Subjects
Automaton Learning
Change Request
Equivalence Query
Membership Query
Model Check
Online AccessGet full text

Cover

More Information
Summary:We investigate the late phases of the embedded systems’ life cycles, in particular the treatment of change requests, the integration of legacy components, and the problem of emerging platforms. We propose to tackle these issues in a model-driven design paradigm, on the behavioral models, and to employ techniques from automata theory, model checking and automata learning. The main practical impact of our approach is its support of the systematic completion and update of user/customer requirements, which by their nature are quite partial and concentrate on the most prominent scenarios. Our technique generalizes these typical requirement skeletons by extrapolation and it indicates via automatically generated traces where the requirement specification is too loose and additional information is required. This works in the initial phases of system development, but also in case of change requests, where our technique hints at possible problems with their realization (feature interactions), and helps to keep the requirement model in synchrony along the chain of new releases.
ISBN:9780387393612
0387393617
ISSN:1571-5736
DOI:10.1007/978-0-387-39362-9_6