logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-02262016-103012


Tipo di tesi
Tesi di laurea magistrale
Autore
CAMPIONI, LORENZO
URN
etd-02262016-103012
Titolo
Executable System-C behavioural model for requirement driven development of automotive sensors, in compliance with ISO26262 functional safety standard
Dipartimento
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
INGEGNERIA ELETTRONICA
Relatori
relatore Prof. Fanucci, Luca
tutor Dott. Scherr, Wolfgang
Parole chiave
  • automotive
  • behavioural
  • functional safety
  • ISO26262
  • Requirement
  • System-C
Data inizio appello
06/05/2016
Consultabilità
Non consultabile
Data di rilascio
06/05/2086
Riassunto
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.
File