Skip to main content
SpringerLink
Log in

Logical Viewpoint

  • Chapter
  • First Online:
Book cover Model-Based Engineering of Embedded Systems

Abstract

The logical viewpoint describes the logical structure and the distribution of responsibilities functionality of a system by means of a network of interacting logical components that are responsible for a set of functions.

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
Hardcover Book
USD 84.99
Price excludes VAT (USA)
  • Durable hardcover 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

  • [Broy and Stølen 2001] M. Broy, K. Stølen: Specification and development of interactive systems: focus on streams, interfaces, and refinement. Springer, 2001.

    Google Scholar 

  • [Eder et al. 2011] S. Eder, A. Vogelsang, M. Feilkas: Seamless modeling of an automation example using the SPES methodology. In: Technical Report TUM-I1110. Technische Universität München, May 2011.

    Google Scholar 

  • [Leuxner et al. 2010] C. Leuxner, W. Sitou, B. Spanfelner: A formal model for work flows. In: SEFM 2010: Proceedings of the 8th International Conference on Software Engineering and Formal Methods, 2010.

    Google Scholar 

  • [Pretschner et al. 2004] A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel: Model-based testing for real. In: International Journal on Software Tools for Technology Transfer, Vol. 5, No. 2, 2004.

    Google Scholar 

  • [Vogelsang et al. 2012] A.Vogelsang, S.Teuchert, J.-F. Girard. Extend and characteristics of dependencies between vehicle functions in automotive software systems. Proceedings of the 2012 International Workshop on Models in Software Engineering, 2012

    Google Scholar 

  • [Thyssen and Hummel 2011] J. Thyssen, B. Hummel: Behavioral specification of reactive systems using stream-based i/o tables. Software and Systems Modeling, 2011.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics , Technische Universität München (TUM), Boltzmannstr. 3, 85748, Garching, Germany

    Sebastian Eder, Jakob Mund & Andreas Vogelsang

Authors
  1. Sebastian Eder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jakob Mund
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andreas Vogelsang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Inst. Informatik und, Wirtschaftsinformatik, Universität Duisburg-Essen, Gerlingstr. 16, Essen, 45127, Germany

    Klaus Pohl

  2. Robert Bosch GmbH, Robert-Bosch-Platz 2, Schwieberdingen, 71701, Germany

    Harald Hönninger

  3. , Corporate Technology, Siemens AG, Otto-Hahn-Ring 6, München, 81739, Germany

    Reinhold Achatz

  4. Fak. Informatik, LS für Software & Systems Engineering, TU München, Boltzmannstr. 3, Garching, 85748, Germany

    Manfred Broy

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Eder, S., Mund, J., Vogelsang, A. (2012). Logical Viewpoint. In: Pohl, K., Hönninger, H., Achatz, R., Broy, M. (eds) Model-Based Engineering of Embedded Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34614-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34614-9_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34613-2

  • Online ISBN: 978-3-642-34614-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation