A Model-Based Design Embedded Software Development Methodology for an OSEK-Compliant RTOS

In the last years, the automotive sector has increasingly focused on control electronics: it is just sufficient to think that a common car has hundreds of MCU-based Embedded Systems, suitable for obtaining a more reliable, precise and avant-garde finished product. This has led to an increase of complexity in development processes. Due to the continuous demand of higher quality and limitations on time to market, the concept of Model-Based Software Design has started to be more and more used. In fields where a missed deadline could harm the user, Real-Time Operating Systems are a mandatory choice. Based on results of process analysis aimed to understand how to reduce the time spent in software development, French and German automotive companies created the OSEK/DVX consortia, giving life to a standardization of the Embedded software components that required the biggest effort during development process. Basing of these two concepts, the Embedded Software Development Methodology proposed in this Thesis aims to futher accelerate the software development process and standardize it by following rules and metrics imposed by the methodology itself to avoid the introduction of bugs due to human errors by limiting the developer to just develop the Board Support Package (if not provided), its relative Simulink library and the Simulink model. The latter will represent the Task-level application software, dealing with Inter-Process Communication, Priorities and periodic executions. A variety of cases can be described by modeling software on the Task-application level. Furthermore, dealing with a Real-Time Operating System based on the OSEK/DVX standard, the whole OS configurations are obtainable from the model itself, having as result an Operating System that contains and manages the necessary resources needed for the modeled situation, allowing the minimum OS footprint.