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."

 

  • Gliwice zabytki
  • Ciekawe miejsca w Cz─Östochowie
  • Bytom zabytki
  • D─ůbrowa G├│rnicza