Embedded Software: Challenges and Opportunities

  • Janos Sztipanovits
  • Gabor Karsai
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2211)


This paper discusses challenges and opportunities in embedded system and software design. The key thesis of the paper is that embedded computing applications create fundamentally new challenges for software technology that require new ideas and approaches. The paper reviews two of the new challenges, physicality and its effects on change management. The discussion on the impacts of these challenges focuses on key components of integrated development environments, representation, synthesis and analysis, and generator technology.


Modeling Language Unify Modeling Language Embed System Object Constraint Language Abstract Syntax 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    J. Sztipanovits and G. Karsai: “Model-Integrated Computing,” IEEE Computer, April, 1997 (1997) 110–112Google Scholar
  2. [2]
    R. Alur, T. A. Henzinger, G. Laferriere, G. J. Pappas: “Discrete Abstractions of Hybrid Systems,” Proc. of the IEEE, Vol. 88, No. 7, (2000) 984Google Scholar
  3. [3]
    E. A. Lee and A. Sangiovanni-Vincentelli: “A Framework for Comparing Models of Computations,” IEEE Trans. CAD Integrated Circuits and Systems, (1998) 1217–1229Google Scholar
  4. [4]
    OMG Unified Modeling Language Specification, Version 1.3. June, 1999 (
  5. [5]
  6. [6]
    Rosetta Documents:
  7. [7]
    G. Karsai, G. Nordstrom, A. Ledeczi, J. Sztipanovits: “Towards Two-Level Formal Modeling of Computer-Based Systems,” Journal of Universal Computer Science, Vol.6, No. 10, (2000) 1131–1144Google Scholar
  8. [8]
    CDIF Meta Model documentation.
  9. [9]
    Ledeczi A., Maroti M., Karsai G., Nordstrom G.: “Metaprogrammable Toolkit for Model-Integrated Computing”, Proceedings of the Engineering of Computer Based Systems (ECBS) Conference, Nashville, TN, March, 1999 (1999) 311–319Google Scholar
  10. [10]
    Object Constraint Language Specification, ver. 1.1, Rational Software Corporation, et al., Sept. 1997. (1997)Google Scholar
  11. [11]
    Nordstrom G., Sztipanovits J., Karsai G., Ledeczi, A.: “Metamodeling-Rapid Design and Evolution of Domain-Specific Modeling Environments”, Proceedings of the IEEE ECBS’99, Nashville, TN, April, 1999. (1999) 68–75Google Scholar
  12. [12]
    Generic Modeling Environment documents,
  13. [13]
    Karsai, G., Gray, J.: “Design Tool Integration: An Exercise in Semantic Interoperability,” Proceedings of the Engineering of Computer Based Systems (ECBS) Conference, Edinburgh, UK, March, 2000. (2000) 272–278Google Scholar
  14. [14]
    Czarnecki, K. Eisenecker, U: Generative Programming-Methods, Tools, and Applications, Addison-Wesley, 2000Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Janos Sztipanovits
    • 1
  • Gabor Karsai
    • 1
  1. 1.Institute for Software Integrated SystemsVanderbilt UniversityNashvilleUSA

Personalised recommendations