The overall aim of this research project is to develop and test methods and tools for fault tolerant design and fault analysis of complex realtime concurrent software in large-scale industrial automation systems. Principles and ideas related to formal methods, object-oriented software engineering, cognitive analysis and failure/reliability analysis have been and are subject to study in order to carry out this research activity. In addition, the exploitation of ongoing scientific works and experiences headed towards software design and analysis is assigned a high priority.
|Effective start/end date||01/01/1998 → …|
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.