• automotive
• behavioural
• functional safety
• ISO26262
• Requirement
• System-C

The growing complexity of the modern products raises the importance of the product development management at every abstraction level.
Just considering the automotive sector, a single car contains nowadays, in average, twenty magnetic and low pressure sensors and relies on magnetic speed sensors for engine and transmission speed control. As the complexity of the overall system increases, also the intricacy of the single component rises.
The automotive sector is also expanding in production volumes: more than eighty-one million passenger cars were sold in 2012 and this number is expected to reach one hundred million by 2018.
Moreover the idea of the autonomous driving car is becoming a reality and this stresses the importance of a harmonious system design --- which needs stronger system design tools --- and increases the complexity of safety-oriented solutions.
Different professional figures, with different backgrounds, have to cooperate on a single project and generally a single person is not responsible for a specific area of expertise, but different teams have to work together, often inhomogeneous in culture and language and sometimes located in different cities or countries.
Extremely good cooperation techniques have to be introduced to achieve improvements in product quality and reductions in costs, but especially to cut the time-to-market down and beat the competitors.
The process of managing the information becomes crucial: it is extremely important to formalize and simplify them as much as possible.
This can be obtained by using modelling tools and languages which can easily go beyond any incomprehension and help the designers to reveal failures and unexpected behaviours in the early stages of the design process.
A strong model can also be delivered to the customer soon or used to validate further results.
In this work, after a brief overview of the modern product development topics and an introduction of the software used, occupying the first two chapters, the design of an executable-specification model in \sysc AMS will be presented and discussed.
The third chapter presents the implementation of the ideal behaviour of the device, while the fourth chapter expands the model, including the non-idealities and an estimation of the
device's temperature.
The model has been verified against the requirements and will be set to be used as a reference in the following product development steps.
An automatic verification technique will also be presented in order to pursue the creation of a sole testbench, which can be reused in different design levels.