EmbLab: Difference between revisions

From Web
Jump to navigation Jump to search
No edit summary
No edit summary
 
Line 13: Line 13:
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.
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.
More informations on PWS verification method are available in [[EmbLab/Publications|publications]] and [[EmbLab/Tech|technical reports]] sections.
[[Category: EmbLab]]

Latest revision as of 12:45, 23 June 2009

Home Staff Publications Technical reports Thesis

Embedded Software Research Group


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.