Semi-formal representation of requirements for automotive solutions using sysML

As systems and electrical and electronic devices are becoming more and more complex, the number of requirements is increased accordingly. Therefore, the organization, the processing and the verification of requirements has become a necessity. In automotive applications, this necessity is more pronounced because of the safety regulations imposed by authorities. Semi-formal representation is an approach that helps making the requirements more understandable and rigorous. In particular, SysML has proved to have the capabilities to represent requirements, structure and behaviour of systems and devices in a diagram-based fashion, enabling the linking different elements that define the composition and the functionalities of the desired product. While for software systems and digital hardware it has been applied successfully, very little work has yet been done for analogue and analogue-mixed signal devices. This is mainly because of the particular behaviour of such devices and the continuous quantities related to them. In this paper, we describe the modelling of requirements for an electronic power switch in SysML. We show that the description of the requirements for analogue devices is possible and emphasize its utility in a real scenario.

[1]  Guy H. Broadfoot,et al.  ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software , 2005, FM.

[2]  Mourad Debbabi,et al.  Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[3]  Jos L. M. Vrancken,et al.  Model-Driven User Requirements Specification using SysML , 2008, J. Softw..

[4]  Arda Goknil,et al.  Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations , 2009 .

[5]  Gérard Morel,et al.  Combining SysML and formal methods for safety requirements verification , 2010 .

[6]  Kenneth D. Evensen,et al.  A Comparison and Evaluation of Real-Time Software Systems Modeling Languages , 2010 .

[7]  Brian Berenbach,et al.  Towards a unified Requirements Modeling Language , 2010, 2010 Fifth International Workshop on Requirements Engineering Visualization.

[8]  Stefan Schulz,et al.  Integrating System Modelling with Safety Activities , 2010, SAFECOMP.

[9]  François Terrier,et al.  A Model-Driven Requirement Engineering Process Compliant with Automotive Domain Standards , 2010 .

[10]  Peter H. Feiler,et al.  Model-Based Engineering with AADL , 2012 .

[11]  Simon Perry,et al.  Semi-formal and formal interface specification for system of systems architecture , 2013, 2013 IEEE International Systems Conference (SysCon).

[12]  Da He,et al.  Code Generation for QEMU-SystemC Cosimulation from SysML , 2014 .