Model based safety assessmentfor safety critical system

Nowadays, model-based diagnosis plays an important role in many systems fromsimple to complex, especially systems with high demand of safety. Inavionics/aerospace systems, the large distance from the vehicle to earth makes themaintenance process difficult. As a result, in this field model-based diag...

Full description

Bibliographic Details
Main Author: Nguyen Viet, Hung
Format: Others
Language:English
Published: Linköpings universitet, PELAB - Laboratoriet för programmeringsomgivningar 2012
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-75936