• Methodologies for assessing the dependability levels (e.g. safety, reliability, availability, testability and maintainability) of critical systems;
• Methodologies and techniques for developing dependable systems (notably safety-critical systems);
• Certification of embedded systems applied in real-time, high reliability and safety areas;
• New paradigms in air traffic management;
• New paradigms in intelligent transportation systems;
• Databases and data integrity in real-time and dependable systems;
• Artificial intelligence applied to treat uncertainties in dependable systems;
• Predictive maintenance of dependable systems.

Technological Areas

• Air traffic systems
• Embedded systems
• Power distribution systems
• Real-time systems
• Railway and railroad systems
• Unmanned vehicle systems - UVS (e.g. Unmanned aerial vehicles - UAV)
• Autonomous cars and intelligent transportation systems