System Function Networks

  • Karsten Albers
  • Stefan Beck
  • Matthias Büker
  • Marian Daun
  • John MacGregor
  • Andrea Salmon
  • Raphael Weber
  • Thorsten Weyer


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.


Function Network Timing Path Functional Design Formal Contract Logical Component 
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. [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.Google Scholar
  2. [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.Google Scholar
  3. [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.Google Scholar
  4. [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.Google Scholar
  5. [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.Google Scholar
  6. [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.Google Scholar
  7. [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.Google Scholar
  8. [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,, 2015, pp. 115-117.Google Scholar
  9. [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.Google Scholar
  10. [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.Google Scholar
  11. [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.Google Scholar
  12. [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.Google Scholar
  13. [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.Google Scholar
  14. [ITU Z.120] International Telecommunication Union: Recommendation Z.l20: Message Sequence Charts. International Standard, 2011.Google Scholar
  15. [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.Google Scholar
  16. [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.Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Karsten Albers
    • 1
  • Stefan Beck
    • 2
  • Matthias Büker
    • 3
  • Marian Daun
    • 4
  • John MacGregor
    • 5
  • Andrea Salmon
    • 6
  • Raphael Weber
    • 7
  • Thorsten Weyer
    • 8
  1. 1.INCHRON GmbHPotsdamGermany
  2. 2.Airbus Defence and SpaceManchingGermany
  3. 3.Oldenburg Institute for Information Technology (OFFIS)OldenburgGermany
  4. 4.paluno – The Ruhr Institute for Software TechnologyUniversity of Duisburg-EssenEssenGermany
  5. 5.Robert Bosch GmbHSchwieberdingenGermany
  6. 6.paluno – The Ruhr Institute for Software TechnologyUniversity of Duisburg-EssenEssenGermany
  7. 7.Timing-Architects Embedded Systems GmbHRegensburgGermany
  8. 8.paluno – The Ruhr Institute for Software TechnologyUniversity of Duisburg-EssenEssenGermany

Personalised recommendations