Previous Projects



IST-2001-37553 AMSD � Accompanying Measure System Dependability

Objective:

AMSD addresses the need for a coherent major initiative in FP6 encompassing a full range of dependability-related activities, e.g., RTD on various aspects of dependability per se (reliability, safety, security, survivability, ..); education and training; and means for encouraging and enabling sector specific IST RTD projects to use dependability best practice. It is aimed at initiating moves towards the creation of such an Initiative, via roadmapping and constituency and consensus building undertaken in cooperation with groups, working in various dependability-related topic areas, who are already undertaken such activities for their domains. The results will be an overall dependability roadmap that considers dependability in an adequately holistic way, and a detailed roadmap for embedded dependable systems. The latter will cover application and technology assessment and a research agenda for Dependable embedded Systems.

Duration:

12 months, starting 01 Jun 2002

Consortium:

Univ. of Newcastle; LAAS-CNRS; ISTI-CNR; Seibersdorf research, Austria; Adelard, UK; EC-JRC-IPSC, Italy

ISTI founds:

38200

More info:

email-img


Esprit Project 20716 GUARDS – Generic Upgradable Architecture for Real-Time Dependable Systems

Objective:

The GUARDS project addressed the development of methods, techniques, and tools to support the design, implementation and validation of safety-critical real-time systems.

In addition to academic partners, three major industrialists in the Space, Nuclear and Railway fields have been involved in the project. A careful specification of the needs of Industrial End-Users formed the basis from which appropriate mechanisms and architectures have been identified and specified by Academic GUARDS Partners with the support of Technology Providers' expertise and tools.

The main results of the project have been collected and published in the book “A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems”, Edited by David Powell; Kluwer Academic Publishers, 2001.

Duration:

36 months, starting 01 Feb 1996

Consortium:

Technicatome, Aix-en-Provence (France), Ansaldo Transporti, Genova (Italy), Matra Marconi Space France, Toulouse (France), Intecs Sistemi, Pisa (Italy), Siemens AG Osterreich PSE, Wien (Austria), LAAS-CNRS, Toulouse (France),Pisa Dependable Computing Centre, Pisa (Italy), through which ex-IEI and ex-CNUCE have participated, University of York (UK).

ISTI founds:

xx

Notes:

PDCC reports for the GUARDS project.

More info:

email-img


Esprit Project 27439 HIDE – High Level Integrated Design Environment for Dependability

Objective:

HIDE was a joint effort of a group of universities and companies to create a high-level integrated development environment for dependable systems. The validation of designs described using UML was the main objective of the HIDE project. The purpose of HIDE was to allow the designer to use UML as a front-end for the specification of both the system and user requirements, and to bridge the gap between a practice-oriented CASE methodology and sophisticated mathematical tools required for dependability validation. The idea was to integrate the design environment with formal verification and quantitative analysis tools, and the required mathematical models derived automatically from the UML specification.

Duration:

36 months, starting 15 Jun 1998

Consortium:

CaberNet partners: Universität Erlangen-Nürnberg; IEI del CNR; CNUCE-CNR; Università di Pisa Other partners: TU Budapest - Hungary; MID GmbH - Germany; Intecs Sistemi - Italy

ISTI founds:

xx

Notes:

PDCC reports for the HIDE project (You need a password to get into our full HIDE repository web pages).

More info:

email-img


CRUTIAL - IST-2004-27513 (CRitical UTility InfrastructurAL Resilience)

Objective:

The project, funded by European Community, addresses new networked ICT systems for the management of the electric power grid, in which artefacts controlling the physical process of electricity transportation need to be connected with information infrastructures, through corporate networks (intranets), which are in turn connected to the Internet.

Duration:

36 months, starting 01 Jan 2006

Consortium:

CESI RICERCA Italy; Navigators Group, Faculty of Sciences of the University of Lisboa, FCUL; CNR-ISTI Italy; LAAS-CNRS France; K.U.Leuven-ELECTA, Belgium; CNIT, Consorzio Nazionale Interuniversitario per le Telecomunicazioni, Italy;

ISTI founds:

297.000

More info:

email-img


Server START WebServer Manager
Update Time 16 Dec 2017 at 01:15:07
Maintainer notify-email-img
Dependable Computing Research Lab
Dependable Computing Research Lab
Start Conference Manager
Conference Systems