...collaborate on
View   r1

DraftsPage 1 - 19 Feb 2009 - Main.JorgeSousaPinto
Line: 1 to 1

Safety-critical systems are pervasive in the aerospace industry [EXPAND].

The development of safety-critical systems to be certified as highly safe requires various different skills and the use of a number of techniques from programming real-time applications to validation methods including testing and formal verification.

This document describes a research-based doctoral programme particularly targeted at the aerospace industry's human resources necessities in the area of computing. The programme trains researchers with a strong background in topics related to safety-critical systems. It comprises a first year of taught courses, followed by a research project leading to a thesis.

The first year is structured around a number of core courses to be taken by all students, together with a choice of elective courses. Moreover, the program also offers a few unifying courses to cover the foundations required by core courses. The offer of core course encompasses both programming, validation, and formal techniques.

1) Unifying Courses

  • Logic and Algebraic Foundations
  • Concurrent and Real-time Programming

2) Core Courses

  • Formal Systems Modeling
  • Model Checking: Principles and Tools
  • Static Analysis and Program Verification Techniques
  • Software Testing
  • Certified Safety-critical Systems

3) Elective Courses

  • Cryptographic Techniques
  • (...)

The programme brings together European research groups with expertise in the above topics, that are involved in reserch projects in the area of safety-critical systems.

-- JorgeSousaPinto - 19 Feb 2009

Revision 1r1 - 19 Feb 2009 - 20:42:17 - JorgeSousaPinto
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM