Abstract
Model-based development relies on the use of explicit models to describe development activities and products. Among other things, the explicit existence of process and product models allows the definition and use of complex development steps that are correct by design, the generation of proof obligations for a given transformation, requirements tracing, and documentation of the process. Our understanding of modelbased development in the context of embedded systems is exposed. We argue that the concept of model-based development is orthogonal to a specific process, be it agile or rigorous.
This work was in part supported by the DFG (projects KONDISK/IMMA, InOpSys, and Inkrea under reference numbers Be 1055/7-3, Br 887/16-1, and Br 887/14-1) and the DLR (project MOBASIS).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
K. Beck. Extreme Programming Explained: Embrace Change. Addison Wesley, 1999.
K. Bender, M. Broy, I. Péter, A. Pretschner, and T. Stauner. Model based development of hybrid systems: specification, simulation, test case generation. In Modelling, Analysis and Design of Hybrid Systems, LNCIS. Springer, 2002. To appear.
Jean-Claude Derniame, Badara Ali Kaba, and David Wastell, editors. Software Process: Principles, Methodology and Technology. Springer, 1999. LNCS 1500.
M. Fowler. Refactoring—Improving the Design of Existing Code. Addison Wesley, 1999.
D. Harel. Biting the silver bullet: Toward a brighter future for system development. IEEE Computer, 25(1), January 1992.
Thomas A. Henzinger, Benjamin Horowitz, and Christoph Meyer Kirsch. Giotto: A time-triggered language for embedded programming. In Proceedings of EMSOFT 2001, LNCS 2211, 2001.
Franz Huber and Bernhard Schätz. Integrated Development of Embedded Systems with AutoFocus. Technical Report TUMI-0701, Fakultät für Informatik, TU München, 2001.
K. Keutzer, S. Malik, R. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli. System Level Design: Orthogonalization of Concerns and Platform-Based Design. IEEE Transactions on Computer-Aided Design of Circuits and Systems, 19(12), December 2000.
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proc. European Conference on Object-Oriented Programming (ECOOP’97), Springer LNCS 1241, 1997.
J. Robbins. Cognitive Support Features for Software Development. PhD thesis, University of California, Irvine, 1999.
B. Schätz, A. Pretschner, F. Huber, and J. Philipps. Model-based development. Technical Report TUM-I0204, Institut für Informatik, Technische Universit ät München, 2002.
Bernhard Schätz. The ODL Operation Definition Language and the AutoFocus/Quest Application Framework AQuA. Technical Report TUMI-1101, Fakultät für Informatik, TU München, 2001.
M. Sgroi, L. Lavagno, and A. Sangiovanni-Vincentelli. Formal Models for Embeded System Design. IEEE Design& Test of Computers, Special Issue on System Design, pages 2–15, June 2000.
R. Soley. Model Driven Architecture. OMG white paper, 2000.
James Withey. Implementing model based software engineering in your organization: An approach to domain engineering. Technical Report CMU/SEI-94-TR-0, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pa., 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schätz, B., Pretschner, A., Huber, F., Philipps, J. (2002). Model-Based Development of Embedded Systems. In: Bruel, JM., Bellahsene, Z. (eds) Advances in Object-Oriented Information Systems. OOIS 2002. Lecture Notes in Computer Science, vol 2426. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46105-1_34
Download citation
DOI: https://doi.org/10.1007/3-540-46105-1_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44088-8
Online ISBN: 978-3-540-46105-0
eBook Packages: Springer Book Archive