Design and analysis of realtime concurrent software in industrial automation systems

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.