Skip to main content
SpringerLink
Log in

From Requirements to Validated Embedded Systems

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

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

Included in the following conference series:

Abstract

We outline a practical modular method for the development of embedded systems from requirements and its comprehensive support by a CASE tool. Our focal point is on model-oriented development, multiview modelling, and validation. We present a method with a comprehensive tool support to develop models systematically from requirements and discuss various validation techniques by means of a car seat example. The resulting method is industrial strength, but nevertheless based on a solid scientific foundation and mathematical theory.

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. B. Bajraktari: Modelbasiertes Requirements Tracing. Master thesis, TU München, 2001

    Google Scholar 

  2. M. Broy: Compositional Refinement of Interactive Systems. DIGITAL Systems Research Center, SRC 89, 1992. Also in: Journal of the ACM, Volume 44, No. 6 (Nov. 1997), 850–891

    Google Scholar 

  3. M. Broy. Requirements engineering for embedded systems. In Proc. of FemSys’97, 1997.

    Google Scholar 

  4. M. Broy, O. Slotosch Enriching the Software Development Process by Formal Methods, Proceedings of FM-Trends 98, LNCS 1641

    Google Scholar 

  5. M. Broy, K. Stølen: Specification and Development of Interactive Systems: FOCUS Focus on Streams, Interfaces, and Refinement. Springer 2001

    Google Scholar 

  6. F. Huber, S. Molterer, A. Rausch, B. Schätz, M. Sihling, O. Slotosch: Tool supported Specification and Simulation of Distributed Systems, Proceedings of International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

    Google Scholar 

  7. J. Philipps, O. Slotosch: The Quest for Correct Systems: Model Checking of Diagramms and Datatypes, Proceedings of Asia Pacific Software Engineering Conference 1999, 449–458

    Google Scholar 

  8. A. Pretschner, O. Slotosch, H. Lötzbeyer, E. Aiglstorfer, S. Kriebel: Model Based Testing for Real: The Inhouse Card Case Study in Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems (FMICS01), Paris, July 2001

    Google Scholar 

  9. O. Slotosch: Quest: Overview over the project, Proceedings of FM-Trends 98, 1998 LNCS 1641: 346–350

    Google Scholar 

  10. G. Wimmel, A. Pretschner, O. Slotosch: Specification Based Test Sequence Generation with Propositional Logic, Journal on Software Testing Verification and Reliablilty (to appear)

    Google Scholar 

  11. SAE. Certification considerations for highly-integrated or complex aircraft systems. ARP 4754, 1996.

    Google Scholar 

  12. RTCA Inc., EUROCAE. Design assurance guidance for airborne electronic hardware. Working draft #17, SC-180 / ED-80, 1999. RTCA Inc., EUROCAE. Software considerations in airborne systems and equipment certification. DO-178B / ED-12B, 1992.

    Google Scholar 

  13. IEEE Std 830-1993: IEEE Recommended Practice for Software Requirements Specification. IEEE, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, D-80290, München, Germany

    Manfred Broy

  2. Validas Model Validation AG, USA

    Oscar Slotosch

Authors
  1. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Oscar Slotosch
    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

Broy, M., Slotosch, O. (2001). From Requirements to Validated Embedded Systems. 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_5

Download citation

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

  • 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