|
The objective of the project is to provide support for the development of
embedded reactive software, in particular for cars, by developing:
·
Concepts and
methods for the developments of such embedded reactive software
·
An integrated
toolset supporting the concepts and the method, covering the analysis,
design and development phases of such embedded reactive software.
It is based on synchronous techniques both for the applications and for
the middleware. Dependable real time systems are at the heart of planes and
cars. Europe has shown a high ability to develop such systems both in the
avionics and automotive industry. In order to keep the technological
leadership in this important field of advanced distributed and embedded
systems in Europe, it is necessary to remain proactive and to develop the
next generation of real time systems, combining dependability constraints
similar to avionics, with low costs mandated by the car industry.
Three levels of architecture are required for the deployment of such
systems:
·
A safe communication infrastructure
·
Safe computers,
on top of the infrastructure
·
Safe applicative
software, embedded in those computers
The synchronous paradigm is the best-known approach to build reliable,
deterministic systems. In this project, the synchronous paradigm is used
both for the communication infrastructure and the applications running in
the computing units. Computers are beyond the scope of this project.
For the specification and implementation of the applicative software,
Lustre/SCADE, based on the synchronous paradigm has proven to be efficient
for very critical systems. SCADE is being used extensively by the
aeronautics industry to develop high-dependability software for flight
control. For the communication infrastructure, the Time-Triggered
Architecture (TTA) is suited to high-dependability distributed systems. The
TTA is based on the synchronous paradigm, where an autonomous communication
subsystem establishes a fault-tolerant global time base and exchanges
autonomously and predictably the information among nodes that are connected
to replicated communication channels. The foundations of this
infrastructure are addressed in the “Next TTA” project, IST-2001-32111.
RISE is complementary of the “Next TTA” project:
·
Next TTA focuses
on the communication infrastructure (hardware and middleware)
·
RISE focuses
on the development of the application software in the Computing Units, on
top of the middleware
More
>>.
|
