Development of Embedded Software Validation Environment for Safety-Critical Applications
Reference persons EDGAR ERNESTO SANCHEZ SANCHEZ
External reference persons Davide Piumatti
Research Groups DAUIN - GR-05 - ELECTRONIC CAD & RELIABILITY GROUP - CAD
Description Microcontroller systems are widely used in many applications of different areas, many of these applications are classified as safety critical. The embedded software executed in these applications requires to be compliant with numerous implementation rules in order to ensure high reliability of the system. However, due to the complexity of the software, some bugs may be present in the code which can significantly affect the behavior of the system. Numerous tests are performed to check the code with the aim of detecting unexpected or incorrect behavior, but not all bugs present in the code are always identified. The purpose of this thesis is to improve a software verification and testing environment for safety critical automotive applications, in order to reduce the risk of unwanted or unexpected behavior. The main idea of the thesis is to develop an automatic code verification environment (C and assembly) to identify anomalous code behaviors, i.e., behaviors that do not comply with the design and safety requirements required by the code. The thesis activities will take place in a research lab in collaboration with STMicroelectronics on their automotive microcontrollers.
Required skills - Embedded Systems;
- Programming/scripting skills;
Deadline 16/03/2021 PROPONI LA TUA CANDIDATURA