EmbLab: Difference between revisions
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
== Introduction == | == Introduction == | ||
The EmbLab Group is 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 [[EmbLab/Publications|publications]] and [[EmbLab/Tech|technical reports]] sections. | |||
Revision as of 15:20, 10 June 2009
Home Staff Publications Technical reports Thesis
Introduction
The EmbLab Group is 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.