Skip to main content
SpringerLink
Log in
Book cover

International Conference on Generative Programming and Component Engineering

GPCE 2002: Generative Programming and Component Engineering pp 32–49Cite as

Generative Programming for Embedded Systems

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2487))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. Sztipanovits and G. Karsai: “Model-Integrated Computing,” IEEE Computer, April, 1997(1997)110–112

    Google Scholar 

  2. Sztipanovits, J., Karsai, G.: “Embedded Software: Opportunities and Challenges”, in Embedded Software, Lecture Notes in Computer Science (LNCS 2211), pp. 403–415, Springer, 2001

    Chapter  Google Scholar 

  3. Kiczales, G., Lamping, J., Lopes, C.V., Maeda, C., Mendhekar, A., Murphy, G.: “Aspect-Oriented Programming,” ECOOP’97, LNCS 1241, Springer. (1997)

    Google Scholar 

  4. Simonyi, C.: “Intentional Programming: Asymptotic Fun?” Position Paper, SDP Workshop Vanderbilt University December 13–14, 2001. http://isis.vanderbilt.edu/sdp

  5. Batory, D., Geraci, B.J.:: “Compositon, Validation and Subjectivity in GenVoca Generators,” IEEE Transactions on SE, pp. 67–82, February, 1997.

    Google Scholar 

  6. Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications Kluwer, 1997.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. Sangiovanni-Vincentelli, A.: “Defining Platform-based Design,” EEDesign, February, 2002

    Google Scholar 

  9. 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

  10. 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.

    Google Scholar 

  11. OMG Unified Modeling Language Specification, Version 1.3. June, 1999 ( http://www.rational.com/media/uml/ ).

  12. CDIF Meta Model documentation. http://www.metamodel.com/cdif-metamodel.html

  13. Object Constraint Language Specification, ver. 1.1, Rational Software Corporation, et al., Sept. 1997. (1997).

    Google Scholar 

  14. 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.

    Google Scholar 

  15. Generic Modeling Environment (GME 2000) Documentation http://www.isis.vanderbilt.edu/projects/gme/Doc.html

  16. 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.

    Google Scholar 

  17. Ledeczi A., Nordstrom G., Karsai G., Volgyesi P., Maroti M.: “On Metamodel Composition,“ IEEE CCA 2001, CD-Rom, Mexico City, Mexico, September 5, 2001.

    Google Scholar 

  18. “Sifakis, J.: “Modeling Real-Time Systems-Challenges and Work Directions,” EMSOFT 2001, LNCS 2211, Springer. (2001) 373–389

    Google Scholar 

  19. Lee, E.A., Xiong, Y.: “System-Level Types for Component-Based Design,” EMSOFT 2001, LNCS 2211, Springer. (2001) 237–253

    Google Scholar 

  20. 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

    Google Scholar 

  21. 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

  22. 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

    Article  Google Scholar 

  23. Lee, E.A. and Sangiovanni-Vincentelli, A: “A Denotational Framework for Comparing Models of Computations,” Technical Memorandum, UCB/ERL M97/11, January 30, 1997.

    Google Scholar 

  24. E. Gamma, R. Helm, R. ohnson, J. Vlissides: Design Patterns, Addison-Wesley, 1995.

    Google Scholar 

  25. 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

  26. AspectJ: http://aspectj.org

  27. Batory, D., Lofaso, B., Smaragdakis, Y.: “JTS: Tools for Implementing Domain-Specific Languages,” 5th International Conference on Software Reuse, Victoria, Canada, June 1998.

    Google Scholar 

  28. Czarniecki, K., Eisenecker, U.W.: Generative Programming, Addison-Wesley, 2000

    Google Scholar 

  29. 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.

    Google Scholar 

  30. Lieberherr, K.: “Adaptive Object-Oriented Software”, Brooks/Cole Pub Co, 1995.

    Google Scholar 

  31. Rozenberg, G. (ed.), “Handbook on Graph Grammars and Computing by Graph Transformation: Foundations”, Vol. 1–2. World Scientific, Singapore, 1997

    Google Scholar 

  32. Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Akos Ledeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166–178

    Google Scholar 

  33. Heiner, G.: Automotive applications, Proceedings of the Joint Workshop on Advanced Real-time Systems, Austrian Research Centers, Vienna, March 26, 2001

    Google Scholar 

  34. Object Management Group: “Model Driven Architecture” http://www.omg.org/mda/

  35. 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

    Google Scholar 

  36. The PVS Specification and Verification Systems, http://pvs.csl.sri.com/

  37. Schmidt, D., Stal, M., Rohnert, H., Buschman, F.: Pattern-Oriented Software Architecture, Wiley, 2000

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Software Integrated Systems, Vanderbilt University, P.O. Box 1829, Sta. B. Nashville, TN, 37235, USA

    Janos Sztipanovits & Gabor Karsai

Authors
  1. Janos Sztipanovits
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabor Karsai
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Sciences, University of Texas at Austin, 2.124 Taylor Hall, TX, 78712, Austin, USA

    Don Batory

  2. Department of Telecommunications, ENSEIRB, University of Paris IV, 1, Ave. du Docteur Albert Schweitzer, 33402, Talence, France

    Charles Consel

  3. Department of Computer Science, Rice University, Mail Stop 132, 6100 S. Main Street, 77005-1892, Houston, Texas, USA

    Walid Taha

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation