Abstract
When developing embedded systems, the context is of vital importance as embedded systems interact with the context through sensing and actuation. There is a multitude of context information, which is relevant for embedded systems engineering: on the one hand, external systems and human users interacting with the system under development constrain the specific interaction among them.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
[Alfaro and Henzinger 2001] L. de Alfaro, T. Henzinger: Interface Automata. In: Proc. 8th European Software Engineering Conf. and 9th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (ESEC/FSE-9), ACM, New York, 2001. pp. 109-120.
[Bergh and Coninx 2006] J. Bergh, K. Coninx: CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications. In: Model Driven Engineering Languages and Systems, Springer, Berlin Heidelberg, 2006, pp. 140-154.
[Daun et al. 2012] M. Daun, B. Tenbergen, T. Weyer: Requirements Viewpoint. In: Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Heidelberg/New York, 2012.
[Daun et al. 2014a] M. Daun, J. Brings, B. Tenbergen, T. Weyer: On the ModelBased Documentation of Knowledge Sources in the Engineering of Embedded Systems. ln: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, Vol. 1129, CEUR-WS.org, 2014, pp. 67-76.
[Daun et al. 2014b] M. Daun, T. Weyer, K. Pohl: Validating the Functional Design of Embedded Systems against Stakeholder Intentions. In: Proc. 2nd Int. Conf. on Model-Driven Engineering and Software Development, SciTePress, 2014, pp. 333-339.
[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: Proc. lCSE WS – Int. WS on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'15), 2015, pp. 48-51.
[Daun et al. 2015b] M. Daun, H. Tenbergen, J. Brings, T. Weyer: Documenting Assumptions about the Operational Context of Long-Living Collaborative Embedded Systems. In: Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Vol. 1337, CEUR-WS.org, 2015, pp. 115-117.
[Daun et al. 2016] M. Daun, J. Brings, T. Weyer, B. Tenbergen: Fostering Concurrent Engineering of Cyber-physical Systems – A Proposal for an Ontological Context Framework: In: 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), IEEE Computer Society, Los Alamitos, 20 16, pp. 5-10.
[Dhaussy et al. 2009] P. Dhaussy, P. Pillain, S. Creff, A. Raji, Y. Traon, B. Baudry: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. In: Model-Driven Engineering Languages and Systems. Springer, 2009, pp. 438–452.
[Finkelstein et al. 1992] A. Finkelstein, J. Kramer, L. Finkelstein, M. Goedicke: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. In: Int. Journal of Software Engineering and Knowledge Engineering, Vol. 2, 1992, pp. 31-59.
[Gause 2005] D. C. Gause: Why context matters - and what can we do about it? In: IEEE Software, Vol. 22, No. 5, 2005, pp. 13–15.
[Georgia 2013] State of Georgia: Motor Vehicles and Traffic - Horns, Exhaust Systems, Mirrors, Windshields, Tires, Safety Belts, Energy Absorption Systems. Official Code of Georgia: Title 40, Ch. 8, Art. 1, Part 4, 2013.
[Gong 2005] L. Gong: Contextual modeling and applications. In: Int. Conf. on Systems, Man and Cybernetics, 2005, pp. 381-386.
[ISO/IEC 25010] ISO/IEC: ISO/IEC 25010:2011-03 – Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and sofnvare quality models. 2011.
[Jackson 2006] M. Jackson: Problem frames. Addison-Wesley, Harlow, 2006.
[Jin and Liu 2006] Z. Jin, L. Liu: Towards Automatic Problem Decomposition: An Ontology-Based Approach. In: Proc. Int. WS on Advances and Applications of Problem Frames, ACM, 2006, pp. 41–48.
[Strang et al. 2003] T. Strang, C. Linnhoff-Popien, K. Frank: CoOL: A Context Ontology Language to Enable Contextual lnteroperability. In: Distributed Applications and Interoperable Systems, Springer, 2003, pp. 236–247.
[StVZO 2013] Federal Republic of Germany: Scheiben, Scheibenwischer, Scheibenwascher, Entfrostungs- und Trocknungsanlagen für Scheiben. StVZO §40 Absatz 1, 2013.
[Van Lamsweerde 2010] A. Van Lamsweerde: Requirements engineering. Wiley, Chichester, 2010.
[Yu 1995] E. Yu: Modelling Strategic Relationships for Process Reengineering. Dept. of Computer Science. Ph.D. Thesis, Univ. of Toronto, 1995.
[Zave and Jackson 1997] P. Zave, M. Jackson: Four Dark Corners of Requirements Engineering. TOSEM, Vol. 6, No. 1, 1997, pp. 1–30.
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
Daun, M., Tenbergen, B., Brings, J., Weyer, T. (2016). SPES XT Context Modeling Framework. 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_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-48003-9_4
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)