Abstract
Embedded systems are often highly integrated into a network of systems. To increase synergies, reduce code redundanices, and to support reuse, the different systems in this network provide conceptual functions for use by other systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
[Alfaro and Henzinger 2001] L. de Alfaro, T. Henzinger: Interface Automata. In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-9), ACM, New York, 2001, pp. 109-120.
[Büker 2013] M. Büker: An Automated Semantic-Based Approach for Creating Task Structures. In: PhD thesis, Carl von Ossietzky University of Oldenburg, 2013.
[Büker et al. 2011] M. Büker, W. Damm, G. Ehmen, I. Stierand: An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. In: Proceedings of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2011.
[Büker et al. 2013] M, Büker, W. Damm, G. Ehmen, S, Henkler, D. Janssen, I. Stierand, E. Thaden: From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach. In: SAE International Journal of Passenger Cars- Electronic and Electrical Systems, VoL 6, 2013, pp. 194-212.
[Daun et al. 2014b] M. Daun, T. Weyer, K. Pohl: Validating the Functional Design of Embedded Systems against Stakeholder Intentions. In: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, SciTePress, 2014, pp. 333-339.
[Daun et al. 2014c] M. Daun, J. Höfflinger, T. Weyer: Function-Centered Engineering of Embedded Systems - Evaluating Industry Needs and Possible Solutions. In: L. Maciaszek (Eds.): Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, SciTePress, 2014, pp. 226- 234.
[Daun et al. 2015a] M. Daun, J. Brings, T. Bandyszak, P. Bohn, T. Weyer: Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges. In: Proceedings of ICSE WS - International Workshop on Software Engineering for Smart Cyber Physical Systems (SEsCPS'15), 2015, pp. 48-51.
[Daun et al. 20l5b] M. Daun, B. Tenbergen, J. Brings, T. Weyer: Documenting Assumptions about the Operational Context of Long-Living Collaborative Embedded Systems. In: W. Zimmermann, W. Böhm, C. Grelck, R. Heinrich, R. Jung, M. Konersmann, A. Schlaefer, E. Schmieders, S. Schupp, B. T. Widemann, T. Weyer (Eds.): Software Engineering Worshops 2015 (SE-WS 2015) - Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Vol. 1337, CEUR-WS.org, 2015, pp. 115-117.
[Daun et al. 2015c] M. Daun, T. Weyer, K. Pohl: Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems. In: Proceedings of the 21st International Conference on Requirements Engineering: Foundations for Software Quality (REFSQ), Springer, 2015, pp. 65-80.
[Daun et al. 2015d] M. Daun, A. Salmon, T. Weyer, K. Pohl: The Impact of Students’ Skills and Experiences on Empirical Results: A Controlled Experiment with Undergraduate and Graduate Students. In: Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering (EASE), No. 29, 2015.
[Föcker et al. 2015] F. Föcker, F. Houdek, M. Daun, T. Weyer: Model-Based Engineering of an Automotive Adaptive Exterior Lighting System. ICB Research Report, No 64. University of Duisburg-Essen, 2015.
[Gezgin et al. 2011] T. Gezgin, R. Weber and M. Girod: A Refinement Checking Technique for Contract-Based Architecture Designs. In: Fourth International Workshop on Model-Based Architecting and Construction of Embedded Systems, 2011.
[Gezgin et al. 2014] T. Gezgin, R. Weber, M. Oertel: Multi-Aspect Virtual Integration Approach for Real-Time and Safety Properties. In: International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14), IEEE, 2014.
[ITU Z.120] International Telecommunication Union: Recommendation Z.l20: Message Sequence Charts. International Standard, 2011.
[Reinkemeier et al. 2011] P. Reinkemeier, I. Stierand, P. Rehkop and S. Henkler: A pattern-based requirement specification language: Mapping automotive-specific timing requirements. In: Software Engineering 2011 Workshopband, Gesellschaft für lnformatik e.V. (Gl), 2011, pp. 99-108.
[Vogelsang et al. 2012] A. Vogelsang, S. Eder, M. Feilkas, D. Ratiu: Functional Viewpoint. ln: K. Pohl, H. Hönninger, R. Achatz, M. Broy (Eds.): Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Berlin Heidelberg, 2012, pp. 69-84.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this chapter
Cite this chapter
Albers, K. et al. (2016). System Function Networks. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds) Advanced Model-Based Engineering of Embedded Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-48003-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-48003-9_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48002-2
Online ISBN: 978-3-319-48003-9
eBook Packages: Computer ScienceComputer Science (R0)