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:

	automotive control
	flight control
	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.

Latest news

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

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