In the automotive world the “electronics and software” are continuously increasing. In this scenario the correct definition and, more in general, correct management of requirements in the development process of software is a key factor for continuous success. The real-time characteristic of control functions software makes the development process more complex and articulated.
This paper describes a more formal approach in the software requirements specification which is based on a requirements model.
The purpose of the model is to define the syntax and semantic elements in an unambiguous way. These elements are based on three classes of requirements: “simple requirement”, “composite requirement” and “composite with a finite state machine requirement”.
The paper gives a description of every class of requirement, and the capability of model elements composition to describe more complex requirements is shown.
A specialization of the model for the Engine Management System requirements specification is described, and an application of the specialized model for a Fiat EMS real case is presented.