Abstract
Embedded systems represent fundamentally new challenges for software design, which render conventional approaches to software composition ineffective. Starting with the unique challenges of building embedded systems, this paper discusses key issues of model-based technology for embedded systems. The discussion uses Model-Integrated Computing (MIC) as an example for model-based software development. In MIC, domain-specific, multiple view models are used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements of the application, simultaneously. Models are descriptive, in the sense that they allow the formal analysis, verification and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems from them using the techniques of program generators.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Sztipanovits and G. Karsai: “Model-Integrated Computing,” IEEE Computer, April, 1997(1997)110–112
Sztipanovits, J., Karsai, G.: “Embedded Software: Opportunities and Challenges”, in Embedded Software, Lecture Notes in Computer Science (LNCS 2211), pp. 403–415, Springer, 2001
Kiczales, G., Lamping, J., Lopes, C.V., Maeda, C., Mendhekar, A., Murphy, G.: “Aspect-Oriented Programming,” ECOOP’97, LNCS 1241, Springer. (1997)
Simonyi, C.: “Intentional Programming: Asymptotic Fun?” Position Paper, SDP Workshop Vanderbilt University December 13–14, 2001. http://isis.vanderbilt.edu/sdp
Batory, D., Geraci, B.J.:: “Compositon, Validation and Subjectivity in GenVoca Generators,” IEEE Transactions on SE, pp. 67–82, February, 1997.
Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications Kluwer, 1997.
Harrison T., Schmidt, D.C., Levine, D.L.: “The Design and Performance of a Real-time CORBA Event Service,” Proceedings of the OOPSLA Conference, October, 1997.
Sangiovanni-Vincentelli, A.: “Defining Platform-based Design,” EEDesign, February, 2002
P. Hudak: Keynote address at the Usenix DSL Conference, 1997. http://www.cs.yale.edu/HTML/YALE/CS/HyPlans/hudak-paul/hudak-dir/dsl/index.htm
T. Clark, A. Evans, S. Kent, P. Sammut: “The MMF Approach to Engineering Object-Oriented Design Languages,” Workshop on Language Descriptions, Tools and Applications (LDTA2001), April, 2001.
OMG Unified Modeling Language Specification, Version 1.3. June, 1999 ( http://www.rational.com/media/uml/ ).
CDIF Meta Model documentation. http://www.metamodel.com/cdif-metamodel.html
Object Constraint Language Specification, ver. 1.1, Rational Software Corporation, et al., Sept. 1997. (1997).
Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Specifying Graphical Modeling Systems Using Constraint-based Metamodels, IEEE Symposium on Computer Aided Control System Design, Conference CD-Rom, Anchorage, Alaska, September 25, 2000.
Generic Modeling Environment (GME 2000) Documentation http://www.isis.vanderbilt.edu/projects/gme/Doc.html
Girault, A., Lee, B., Lee, E.A.: “Hierarchical Finite State Machines with Multiple Concurrency Models,” Technical Memorandum UCB/ERL M97/57, Berkeley, Aug, 17, 1997.
Ledeczi A., Nordstrom G., Karsai G., Volgyesi P., Maroti M.: “On Metamodel Composition,“ IEEE CCA 2001, CD-Rom, Mexico City, Mexico, September 5, 2001.
“Sifakis, J.: “Modeling Real-Time Systems-Challenges and Work Directions,” EMSOFT 2001, LNCS 2211, Springer. (2001) 373–389
Lee, E.A., Xiong, Y.: “System-Level Types for Component-Based Design,” EMSOFT 2001, LNCS 2211, Springer. (2001) 237–253
Butts, K., Bostic, D., Chutinan, A., Cook, J., Milam, B., Wand, Y.: “Usage Scenarios for an Automated Model Compiler,” EMSOFT 2001, LNCS 2211, Springer. (2001) 66–79
Neema, S., “Design Space Representation and Management for Embedded Systems Synthesis,” Technical Report, ISIS-01-203, February 2001. http://www.isis.vanderbilt.edu/publications/archive/Neema_S_2_0_2003Design Spa.pdf
Rice, M.D., Seidman, S.B.: “A formal model for module interconnection languages,” Software Engineering, IEEE Transactions on, Volume: 20 Issue: 1, Jan. 1994 pp: 88–101
Lee, E.A. and Sangiovanni-Vincentelli, A: “A Denotational Framework for Comparing Models of Computations,” Technical Memorandum, UCB/ERL M97/11, January 30, 1997.
E. Gamma, R. Helm, R. ohnson, J. Vlissides: Design Patterns, Addison-Wesley, 1995.
Porter, A., Sztipanovits, J. (Ed.): New Visions for Software Design and Productivity: Research and Applications. Workshop Report of the Interagency Working Group for Information Technology Research and Development (ITRD) Software Design and Productivity (SDP) Coordinating Group. Vanderbilt University December 13–14, 2001. http://isis.vanderbilt.edu/sdp
AspectJ: http://aspectj.org
Batory, D., Lofaso, B., Smaragdakis, Y.: “JTS: Tools for Implementing Domain-Specific Languages,” 5th International Conference on Software Reuse, Victoria, Canada, June 1998.
Czarniecki, K., Eisenecker, U.W.: Generative Programming, Addison-Wesley, 2000
Karsai G., Gray J.: Component Generation Technology for Semantic Tool Integration, Proceedings of the IEEE Aerospace 2000, CD-Rom Reference 10.0303, Big Sky, MT, March, 2000.
Lieberherr, K.: “Adaptive Object-Oriented Software”, Brooks/Cole Pub Co, 1995.
Rozenberg, G. (ed.), “Handbook on Graph Grammars and Computing by Graph Transformation: Foundations”, Vol. 1–2. World Scientific, Singapore, 1997
Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Akos Ledeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166–178
Heiner, G.: Automotive applications, Proceedings of the Joint Workshop on Advanced Real-time Systems, Austrian Research Centers, Vienna, March 26, 2001
Object Management Group: “Model Driven Architecture” http://www.omg.org/mda/
Gokhale, A. Schmidt, D.C., Natarajan, B., and Nanbor Wang: “Applying Model-Integrated Computing to Component Middleware and Enterprise Applications,” The Communications of the ACM special issue on Enterprise Components, Service and Business Rules, Vol. 45, No. 10, October, 2002
The PVS Specification and Verification Systems, http://pvs.csl.sri.com/
Schmidt, D., Stal, M., Rohnert, H., Buschman, F.: Pattern-Oriented Software Architecture, Wiley, 2000
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
Sztipanovits, J., Karsai, G. (2002). Generative Programming for Embedded Systems. In: Batory, D., Consel, C., Taha, W. (eds) Generative Programming and Component Engineering. GPCE 2002. Lecture Notes in Computer Science, vol 2487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45821-2_2
Download citation
DOI: https://doi.org/10.1007/3-540-45821-2_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44284-4
Online ISBN: 978-3-540-45821-0
eBook Packages: Springer Book Archive