objectives of COLUMBUS are ambitious but we believe that our
previous work in the area coupled with the synergy among the
participants is a good starting point.
plan includes the following sub-goals that identify the work
A theory based
on abstract algebra that can provide the
basic foundation for an error-free
methodology for design specification and
early verification (Work package TA);
that use the notion of meta-models, the
result of the investigation de-scribed
above, as the integration platform. We
believe that the fully specified meta-model
could be an ideal interchange format among
tools with formal semantics that will allow
formal analysis and the use of rigorous
design flows based on the concept of
successive refinement (Work package MM);
complete characterization of platform architectures
in terms of layers of abstractions and inter-faces
among them. This characterization will draw from the
work on the formal platform-based design methodology
developed by the partners (Work package PBD);
A flow and a methodology for the design of embedded
controller for safety-critical systems by focusing
on important test cases that have been studied
extensively by the partners: automotive power train,
flight and air-traffic control (Work package DF).
work package contains a number of tasks that are
carried out in collaboration among the partners.
Note also that the scope of this research is large.
Without the contributions of the U.S. partners and
their funding it would be plainly impossible to
complete the work outlined in this document.
following Pert chart summarizes the dependencies
between the work packages. Even though the
dependencies shown are important, the work packages
SC and TM can start even before the work packages HS
and TA are concluded allowing the compression of the
time needed to carry out the work in two years.