C O L U M B U S

Design of Embedded Controllers for Safety Critical Systems

Project IST-2001-38314

 

Project | Participants | Innovation | Work Plan  | Related Links | News

 

Welcome to Columbus Project

 

The primary objective of the project is to develop a methodology for  the design of embedded controllers for safety-critical systems, by  focusing on important test cases that have been studied extensively  by the partners:

bullet

automotive control
bullet

flight control

bullet

air-traffic control

An important goal of this proposal is to form a bridge between the European and the US research communities and set the scene for future collaboration at all levels.
s

Latest news
bullet

The Columbus project was complete on June 30 2004.

The final report is now available for download  (47 Mb)

You can read the final report from http://www.columbus.gr/finalreport .
bullet

Stochastic Hybrid Systems: Theory and Applications
Workshop for the 43rd IEEE Conference on Decision and Control
Monday, December 13, 2004 Atlantis, Paradise Island, Bahamas. In collaboration with HYBRIDGE project.
bullet Summer school on "Hybrid Systems: a Formal Paradigm for safety critical embedded systems", September 22-24 2004, University of Patras. Organized by HYBRIDGE project.

[more]   

s

In COLUMBUS we advocate a holistic approach to the solution of the design problem:

our approach includes methodology, supporting tools, IP’s, hardware and software platforms, and supply chain
management.

 

"Only by taking a global, high-level view of the problem, can we devise solutions that  are going to have a real impact on the design of embedded systems."