EmbLab

Home Staff Publications Technical reports Thesis

Introduction

The EmbLab Group is recently active in the field of embedded software with focus on software safety for safety-critical applications. The main topics of interest are:

• Software quality
• Software verification and validation
• Model-based approach for development of robust software
• Incremental validation
• Fault Detection, Isolation and Recovery (FDIR)

Nowadays the group is developing a new method that allows to design software by means of Part Whole Statecharts (PWS) and to incrementally verify the model created. A tool that implements the verification method is under development and the method itself has been applied to relevant cases of study. More informations on PWS verification method are available in publications and technical reports sections.