EmbLab: Difference between revisions
Jump to navigation
Jump to search
(New page: {{EmbLab}} == Introduction == Safety-critical things WORK IN PROGRESS) |
No edit summary |
||
| (5 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
== Introduction == | == 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 [[EmbLab/Publications|publications]] and [[EmbLab/Tech|technical reports]] sections. | |||
Latest revision as of 12:45, 23 June 2009
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.