Skip to main content
SpringerLink
Log in

Embedded Software: Challenges and Opportunities

  • Conference paper
  • First Online:
Book cover Embedded Software (EMSOFT 2001)

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

Included in the following conference series:

Abstract

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.

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

Access this chapter

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

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. R. Alur, T. A. Henzinger, G. Laferriere, G. J. Pappas: “Discrete Abstractions of Hybrid Systems,” Proc. of the IEEE, Vol. 88, No. 7, (2000) 984

    Google Scholar 

  3. E. A. Lee and A. Sangiovanni-Vincentelli: “A Framework for Comparing Models of Computations,” IEEE Trans. CAD Integrated Circuits and Systems, (1998) 1217–1229

    Google Scholar 

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

  5. Modelica Documents: http://www.modelica.org/documents.shtml

  6. Rosetta Documents: http://www.sldl.org/

  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–1144

    Google Scholar 

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

  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–319

    Google Scholar 

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

    Google Scholar 

  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–75

    Google Scholar 

  12. Generic Modeling Environment documents, http://www.isis.vanderbilt.edu/projects/gme/Doc.html

  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–278

    Google Scholar 

  14. Czarnecki, K. Eisenecker, U: Generative Programming-Methods, Tools, and Applications, Addison-Wesley, 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 Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, 94720-1770, USA

    Thomas A. Henzinger  & Christoph M. Kirsch  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sztipanovits, J., Karsai, G. (2001). Embedded Software: Challenges and Opportunities. In: Henzinger, T.A., Kirsch, C.M. (eds) Embedded Software. EMSOFT 2001. Lecture Notes in Computer Science, vol 2211. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45449-7_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-45449-7_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42673-8

  • Online ISBN: 978-3-540-45449-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation