Project contract: Esprit Project 20716
Project website: http://www.cs.york.ac.uk/rts/projects/guards/guards.html
Involvment type: subcontracted
Start date: 1996-02-01
End date: 1999-02-01

Objective: Led by three major industrialists in the Space, Nuclear and Railways fields, the GUARDS project addresses the development of methods, techniques and tools to support the design, implementation and validation of safety-critical real-time systems.

Achievements: The gap between the costly proprietary architectures targeted at very high dependability and cheap commercial architectures with less stringent requirements provides evidence of a lack of an intermediate class of architectures based on an acceptable compromise between high dependability, low cost and openness : this is the main objective of GUARDS.