CaberNet
is the Network of Excellence in distributed and dependable systems. It is
funded by the European Commission's ESPRIT Programme. The mission of CaberNet
is to coordinate top-ranking European research in distributed and dependable
systems, to make that research accessible to governments and industries
and to further the quality of education concerning such systems.
|
|
|
|
|
The Dependable Computing
Group of the Italian National
Research Council.
|
|
|
|
|
The Development and Application of Methods for Actuator Diagnosis in Industrial Control Systems (DAMADICS) is a Research Training Network funded by the European Commission. The central focus is a benchmark study of diagnosis of valve actuators for the 5-stage evaporisation process of a sugar factory - Zuchrownia Lublin S.A. in Poland.
|
|
|
|
|
The French National Institute for Research in Computer Science and Control (INRIA) is a scientific and technological institute with main missions (i) to undertake basic and applied research; (ii) to create experimental systems; (iii) to organize international scientific exchange; (iv) to ensure the transfer and dissemination of knowledge and expertise; (v) to contribute to the effective implementation of research findings; (vi) to contribute to cooperative development programmes, especially through training; (vii) to carry out scientific evaluations; and (viii) to contribute to standardization.
|
|
|
|
|
The objectives of the
Hybrid-EC-US043
project are to develop a theoretical basis for analysing hybrid systems
and to build tools for
improving the development of computer controlled systems.
The work consisted in applying the CRONOS tool to real-world case
studies and in studying the expressive power of real time logics, the
translation of asynchronous circuits into timed automata and the problem
of controller synthesis.
|
|
|
|
|
INSYDE (Integrated
Methods for Evolving System Design) is an ESPRIT III project whose main
objective is to define (using OMT for functional requirements), implement
(software parts are specified in SDL
and hardware parts in VHDL), validate (through co-simulation) and demonstrate
a comprehensive methodology for hybrid systems (software/hardware) design.
|
|
|
|
|
KONDISK DFG Schwerpunktprogramm
"Analyse und Synthese kontinuierlich-diskreter Systeme". Gegenstand des
Schwerpunktprogramms ist die Grundlagenforschung auf dem Gebiet der kontinuierlich-diskreten
technischen Systeme im Hinblick auf die Analyse ihres Gesamtverhaltens
und den systematischen, integrierten Entwurf ihrer Systemkomponenten.
|
|
|
|
|
The primary technology outcome of the MoBIES program will be Model-Based Integration technology. The key technology components to be developed are (i) model-based programming environments to translate relevant aspects of models to customization interfaces of framework components and to input languages and analysis tools, and (ii) model-based generators to compose embedded systems satisfying cross cutting physical constraints.
|
|
|
|
|
SIGSIM is the ACM Special
Interest Group on Simulation. Its mission is to promote and disseminate
the advancement of the state-of-the-art in simulation
and modeling.
|
|
|
|
|
In the Software Enabled Control.
project, we will develop tools for modeling, deriving, and verifying control laws and their
computational realization (``formal tools''), as well as tools for integrating, analyzing, and simulating the
software that realizes multi-modal, multi-level, distributed control designs (``semi-formal tools''). Special
attention will be paid to the interoperability of all tools.
|
|
|
|
|
The Synchronous Reactive Formalisms (SYRF) project, Esprit "Long Term Research" Project 22703, intends to investigate: combination of formalisms, program verification, code distribution and multi-tasking, integrating synchrony and asynchrony, connection with hardware/software codesign, and integration of analog and discrete synchronous design.
|
|
|
|
The principal aim of the Verification of Hybrid Systems (VHS) project is to develop methods and tools for hybrid system verification, driven by application to case studies from process industries. This is done in a collaborate effort between both academic and industrial partners.
|
|
|
|