Abstract
CPS Specifier is a specification tool for Cyber-Physical Systems. Founded on established theory and realized using general design and integration technologies and principles, e.g. Linked Data, CPS Specifier provides guidance- and feedback-driven support when authoring structured specifications in general, and for specifying and structuring requirements, in particular. The provided support is crucial in order to comply with functional safety standards such as IEC 61508 and ISO 26262 that require particularly stringent requirements engineering.
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
References
Abrial, J.R., et al.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12(6), 447–466 (2010)
Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200–225. Springer, Heidelberg (2008). doi:10.1007/978-3-540-92188-2_9
Dill, D.L.: Trace theory for automatic hierarchical verification of speed-independent circuits. In: Proceedings of the Fifth MIT Conference on Advanced Research in VLSI, pp. 51–65. MIT Press, Cambridge (1988)
Farfeleder, S., et al.: DODT: increasing requirements formalism using domain ontologies for improved embedded systems development. In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, pp. 271–274 (2011)
de Gea, J.M.C., Nicolás, J., Alemán, J.L.F., Toval, A., Ebert, C., Vizcaíno, A.: Requirements engineering tools. IEEE Softw. 28(4), 86–91 (2011)
Génova, G., et al.: A framework to measure and improve the quality of textual requirements. Requir. Eng. 18(1), 25–41 (2013)
Hähnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 233–248. Springer, Heidelberg (2002). doi:10.1007/3-540-45923-5_16
Hull, M.E.C., et al. (eds.): Requirements Engineering, 3rd edn. Springer, London (2011)
IEC 61508: Functional safety of E/E/PE safety-related systems (2010)
ISO 26262: Road vehicles - functional safety (2011)
ISO/IEC/IEEE 42010: System and software engineering - architecture description (2011)
Rawat, D.B., Rodrigues, J.J., Stojmenovic, I.: Cyber-Physical Systems: From Theory to Practice. CRC Press, Boca Raton (2015)
Speicher, S., Arwe, J., Malhotra, A.: Linked data platform 1.0 (2015)
Sutcliffe, A., Maiden, N.: The domain theory for requirements engineering. IEEE Trans. Softw. Eng. 24(3), 174–196 (1998)
Westman, J., Nyberg, M.: Extending contract theory with safety integrity levels. In: 2015 IEEE 16th International Symposium on HASE, pp. 85–92, January 2015
Westman, J., Nyberg, M.: Contracts for specifying and structuring requirements on cyber-physical systems. In: Rawat, D.B., Rodriques, J., Stojmenovic, I. (eds.) Cyber Physical Systems: From Theory to Practice. Taylor & Francis, Boca Raton (2015)
Zhang, X., et al.: Experience on applying software architecture recovery to automotive embedded systems. In: Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE), pp. 379–382, February 2014
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Westman, J., Nyberg, M., Thydén, O. (2017). CPS Specifier – A Specification Tool for Safety-Critical Cyber-Physical Systems. In: Berger, C., Mousavi, M., Wisniewski, R. (eds) Cyber Physical Systems. Design, Modeling, and Evaluation. CyPhy 2016. Lecture Notes in Computer Science(), vol 10107. Springer, Cham. https://doi.org/10.1007/978-3-319-51738-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-51738-4_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51737-7
Online ISBN: 978-3-319-51738-4
eBook Packages: Computer ScienceComputer Science (R0)