Abstract
By nature, Cyber-physical systems are very often subjected to uncertainty events that can occur in their environment. This paper presents the first results of our work on how to deal with environment uncertainty in goal-based requirements engineering. This work is motivated by the fact that current goal-based approaches do not natively allow for unanticipated adaptations. To do so, we explore the introduction of RELAX concepts into SysMLKaos. RELAX is a Requirements Engineering language for Dynamically Adaptive Systems that includes explicit constructs to handle the inherent uncertainty in these systems. On the other hand, SysMLKaos is a Goal Based Requirements Engineering approach that takes into account Non-Functional Requirements at the same level of abstraction as Functional Requirements and models the impact of Non-Functional Requirements on Functional Requirements. We use an extract of a Landing Gear System case study to illustrate the proposed approach.
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
Notes
- 1.
We use the RELAX name as a verb to indicate the insertion of RELAX operators into a requirement.
- 2.
References
Ahmad, M., Belloir, N., Bruel, J.-M.: Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems. J. Syst. Softw. 107, 50–70 (2015). https://doi.org/10.1016/j.jss.2015.05.028
Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 1–18. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07512-9_1
Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Dordrecht (2000)
Cheng, B.H.C., Sawyer, P., Bencomo, N., Whittle, J.: A goal-based modeling approach to develop requirements of an adaptive system with environmental uncertainty. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 468–483. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04425-0_36
Gnaho, C., Semmak, F., Laleau, R.: Modeling the impact of non-functional requirements on functional requirements. In: Parsons, J., Chiu, D. (eds.) ER 2013. LNCS, vol. 8697, pp. 59–67. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-14139-8_8
Goldsby, H.-J., Sawyer, P., Bencomo, N., Cheng, B.-H.-C., Hughes, D.: Goal-based modeling of dynamically adaptive system requirements. In: Proceedings of the 15th IEEE International Conference on Engineering of Computer-Based Systems, Belfast, Northern Ireland, March 2008
i* Homepage. http://www.cs.toronto.edu/km/istar/
Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: Briand, L.C., Wolf, A.L. (eds.) FOSE, pp. 259–268 (2007)
Lamsweerde, A.-V.: Requirements Engineering: From System Goals to UML Models to Software Specifications, 1st edn. Wiley, Hoboken (2009). ISBN 978EUDTE00270
Ramirez, A.J., Fredericks, E.M., Jensen, A.C., Cheng, B.H.C.: Automatically RELAXing a goal model to cope with uncertainty. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol. 7515, pp. 198–212. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33119-0_15
Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.-H.-C., Bruel, J.-M.: RELAX: incorporating uncertainty into the specification of self-adaptive systems. In: Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, RE, RE 2009, Washington, DC, USA, pp. 79–88. IEEE Computer Society (2009)
Derler, P., Lee, E.A., Sangiovanni, A.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012)
Lee, E.A., et al.: Classes and inheritance in actor oriented design. ACM Trans. Embed. Comput. Syst. 8(4), 29:1–29:26 (2009)
Mosterman, P.J., Vangheluwe, H.: Computer automated multi-paradigm modeling: an introduction. Simul. Trans. Soc. Model. Simul./Int. J. High Perform. Comput. Appl. 80(9), 433–450 (2004)
Seong-ick, M., Lee, K.H., Lee, D.: Fuzzy branching temporal logic. IEEE Trans. Syst. Man Cybern. Part B Cybern. 34, 1045–1055 (2004)
Blair, G.-S., Bencomo, N., France, R.-B.: Models@run.time. Computer 42(10), 22–27 (2009). Run.Time@
Chipman, W., Grimm, C., Radojicic, C.: Coverage of uncertainties in cyber-physical systems. In: GMM/ITG/GI-Symposium Reliability by Design, ZuE 2015; 8, Siegen, Germany, pp. 1–8 (2015)
Zhang, M., Selic, B., Ali, S., Yue, T., Okariz, O., Norgren, R.: Understanding uncertainty in cyber-physical systems: a conceptual model. In: Wąsowski, A., Lönn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 247–264. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42061-5_16
Tueno Fotso, S.J., Mammar, A., Laleau, R., Frappier, M.: Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications. In: Butler, M., Raschke, A., Hoang, T.S., Reichl, K. (eds.) ABZ 2018. LNCS, vol. 10817, pp. 55–70. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91271-4_5
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Ahmad, M., Gnaho, C., Bruel, JM., Laleau, R. (2018). Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. In: Abdelwahed, E., et al. New Trends in Model and Data Engineering. MEDI 2018. Communications in Computer and Information Science, vol 929. Springer, Cham. https://doi.org/10.1007/978-3-030-02852-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-02852-7_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02851-0
Online ISBN: 978-3-030-02852-7
eBook Packages: Computer ScienceComputer Science (R0)