Languages, Design Methods, and Tools for Electronic System Design

  • Muşat L
  • Hübl M
  • Buzo A
  • et al.
Citations of this article
Mendeley users who have this article in their library.
Get full text


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.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free