As system complexities are growing with increasing numbers of requirements, the difficulties to manage, process and verify natural language requirements and to keep quality are also increasing. In safety-related applications, as in the automotive domain, this necessity is more pronounced because of the regulations and standards imposed by authorities. Semi-formal representation of requirements is an approach that helps making them more understandable and rigorous. This chapter deals with semi-formal representation using SysML of two automotive analogue-mixed signal systems, an electronic power switch and an airbag safety circuit. We use diagram-based modelling in order to represent requirements, structure and behaviour, enabling the linking different elements that define the composition and the functionalities of the desired product. We focus on the particular behaviour of such devices and the continuous quantities related to them with emphasis on the two real scenarios.
Muşat, L., Hübl, M., Buzo, A., Pelz, G., Kandl, S., & Puschner, P. (2016). Languages, Design Methods, and Tools for Electronic System Design. (F. Oppenheimer & J. L. Medina Pasaje, Eds.), Lecture Notes in Electrical Engineering (Vol. 361, pp. 57–81). Springer International Publishing. https://doi.org/10.1007/978-3-319-24457-0