Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
REFERENCES
D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 2(75):87–106, 1987.
A.L. Lamprecht, T. Margaria, B. Steffen: Data-Flow Analysis as Model Checking within the jABC, Proc. CC #x2019;06, 15th Int. Conf. on Compiler Construction, Vienna (A), March 2006, LNCS, 3923, Springer Verlag, pp. 101–104.
E. Lee, S. Neuendorffer, M. Wirthlin. Actor-oriented design of embedded hardware and software systems Journal of circuits, systems, and computers. 2002.
M. Hörmann, T. Margaria, T. Mender, R. Nagel, M. Schuster, B. Steffen, H. Trinh: The Jabc Approach To Collaborative Development of Embedded Applications, CCE’06, Worksh. on Challenges In Collaborative Engineering (Industry day), Prag, April 2006.
H. Hungar, T. Margaria, B. Steffen: Test-Based Model Generation for Legacy Systems, Proc. IEEE ITC’03, Charlotte, 2003, IEEE CS Press, pp.971–980.
S. Jörges, T. Margaria, B. Steffen: FormulaBuiIder: A Tool for Graph-based Modelling and Generation of Formulae, Proc. ICSE 2006, 28th ACM-IEEE Int.Conf. on software Engineering, Shanghai (CHN), May 2006, to appear.
M. Karusseit, T. Margaria: Feature-based Modelling of a Complex, Online-Reeonfigurable Decision Support Service, WWV’05, 1st Int. Worksh. Automated Specification and Verification of Web Sites, Valencia, March 2005, ENTCS 1132.
C. Kubczak, R. Nagel, T. Margaria, B. Steffen: The jABC Approach to Mediation and Choreography, Semantic Web Services Challenge 2006, Phase I Workshop, DERI, Stanford University, Palo Alto, March 2006.
T. Margaria, C. Kubczak, M. Njoku, B. Steffen: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC, IEEE ICECCS 2006, Stanford, Aug. 2006, to appear.
T. Margaria, R. Nagel, B. Steffen: Remote Integration and Coordination of Verification Tools in JETI, Proc. IEEE ECBS 2005, April 2005, Greenbelt (USA),IEEE CS Press, pp. 431–436.
T. Margaria, H. Raffelt, B. Steffen: Knowledge-based relevance filtering for efficient system-level test-based model generation, Innov. in System and Software Engineering-a NASA Journal, Vol. 1(2), pp.147–156, Springer Verl., Sept. 2005.
T. Margaria, B. Steffen: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach, STTT, Int. Journal on Software Tools for Technology Transfer, Special section on Formal Methods for Industrial Critical Systems, Vol.5, N.2–3, 2004, Springer Verlag, pp.107–123.
T. Margaria, B. Steffen: Aggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints, Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, The Monterey Workshop Series, Chicago, September 2003.
T. Margaria, B. Steffen, M. Reitenspiefi: Service-Oriented Design: The Roots, ICSOC 2005: 3rd ACM SIGSOFT/SIGWEB Int. Conf. on Service-Oriented Computing, Amsterdam, Dec. 2005, LNCS 3826, pp. 450–464, Springer V..
H. Raffelt, B. Steffen, T. Berg: LearnLib: A Library for Automata Learning and Experimentation, Proc. FMICS 2005, 10th ACM Workshop on Formal Methods for Industrial Critical Systems, Lisbon, Sept. 2005, ACM Press, pp.62–71.
B. Steffen and H. Hungar, Behavior-based model construction. In S. Mukhopadhyay and L. Zuck, editors, Proc. dth Int. Conf. on Verification, Model Checking and Abstract Interpretation, LNCS 2575, Springer 2003, pp.5–19.
C. Topnik, E. Wilhelm, T. Margaria, B. Steffen: jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str), Proc. SPIN’06, 13th Int. SPIN Works. on Model Checking of Software, Vienna, April 2006, LNCS 3925, Springer V., pp.293–298.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 International Federation for Information Processing
About this paper
Cite this paper
Steffen, B., Margaria, T. (2006). Continuous Engineering of Embedded systems. In: Kleinjohann, B., Kleinjohann, L., Machado, R.J., Pereira, C.E., Thiagarajan, P.S. (eds) From Model-Driven Design to Resource Management for Distributed Embedded Systems. DIPES 2006. IFIP International Federation for Information Processing, vol 225. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39362-9_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-39362-9_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-39361-2
Online ISBN: 978-0-387-39362-9
eBook Packages: Computer ScienceComputer Science (R0)