IST logo

 

DeSIRE logo large

DeFINE logo small

 

AMSD.logo


 

 

Home

Summary

Introduction

DeSIRE & DeFINE

DeSIRE

DeFINE

Initial Steps

Events

Related Projects

Links

Literature

 

Related Projects

European Research Projects

  • BANKSEC - Secure Banking Application Assembly using a component based approach, IST-1999-20711.
    http://www.atc.gr/banksec/
    The BANKSEC project aims at defining techniques for specifying dependability requirements for components and trusted application frameworks that can accommodate non trusted components.

  • DBENCH - Dependability Benchmarking Project, IST-2000-25425.
    http://www.laas.fr/DBench/
    The DBench project is defining a conceptual framework and an experimental environment for benchmarking the dependability of COTS and COTS-based systems.

  • DepAuDE - Dependability for embedded automation systems in dynamic environments with intra-site and inter-site distribution aspects, IST-2000-25434.
    http://lesbos.esat.kuleuven.ac.be/depaude/index.php
    DepAuDE overall goal is to develop a methodology and an architecture to improve dependability for non-safety critical, distributed, embedded automation systems with both IP (inter-site) and dedicated (intra-site) connections.

  • DeVa - Design for Validation, Esprit Long Term Research Project No. 20072, [Completed]
    http://www.newcastle.research.ec.org/deva/
    The DeVa project aimed to make a major contribution to the problems of validating critical computing systems.

  • DIRC - http: //www.dirc.org.uk

    DIRC is a six year EPSRC funded project, which started in July 2000 and is looking at the dependability of computer based systems. It involves five sites in the UK (Newcastle, City, Edinburgh, Lancaster and York) and draws on the skills and experience of a wide range of disciplines.

  • DSoS - Dependable Systems of Systems, IST-1999-11585.
    http://www.newcastle.research.ec.org/dsos/
    The overall objective of the DSoS project is to develop significantly improved means for composing a dependable "system of systems" (SoS) from a set of largely autonomous component computer systems.

  • FIT - Predictably Dependable Computing Systems, IST-1999-10748,
    http://www.fit-it.at/
    It is the objective of the project to validate experimentally the system concepts of the TTA, taking a prototype TTP/C controller chip, developed within the ESPRIT project TTA, as the basis. The experiments determine the error-detection coverage of the TTA in a realistic application by using different hardware and software based fault-injection methods .

  • PDCS2 - Predictably Dependable Computing Systems, ESPRIT Basic Research Project 6362, [Completed]
    http://www.newcastle.research.ec.org/pdcs/
    The objectives of the PDCS (Predictably Dependable Computing Systems) and PDCS-2 projects were to make the process of designing and constructing dependable computing systems much more predictable and cost-effective than they previously were.

  • MAFTIA - Malicious- and Accidental-Fault Tolerance for Internet Application, IST-1999-11583,
    http://www.newcastle.research.ec.org/maftia/
    Project MAFTIA is investigating the dependability of distributed applications for very large and heterogeneous user populations, such as Internet-based supply-chain management, auctioning in electronic commerce, and the IT infrastructure of large companies and administrations.

  • MATISSE - Methodologies and Technologies for Industrial Strength Systems Engineering, IST-1999-11435,
    http://www.matisse.qinetiq.com/
    The MATISSE project is developing industrial strength methodologies and associated technologies for the engineering of software-based critical systems.

  • NEXT TTA - High-Confidence Architecture for Distributed Control Applications, IST-2001-32111,
    http://www.vmars.tuwien.ac.at/projects/nexttta/
    The NEXT TTA project enhances the structure, functionality and dependability of the time-triggered architecture (TTA) to meet the austere cost structure of the automotive industry, while satisfying the rigorous safety requirements of the aerospace industry.

  • P2P ARCHITECT - Ensuring dependability of p2p applications at architectural level, IST-2001-32708,
    http://www.atc.gr/p2p_architect/
    The project aims at developing methodology & tools for supporting architecture-based development of P2P applications and ensuring at the architecture level that dependability requirements (availability, reliability, security, survivability, responsiveness) are met.

  • SAFEAIR II - Advanced Design Tools for Safety Critical Systems, IST-2001-34363,
    http://www.safeair.org/
    SafeAir II will secure the leading edge ASDE (Avionics System Development Environment) tool set and its associated methodology developed in the IST SafeAir 1999-10913 project, while including relevant improved functionalities for end users and demonstrating dramatic cost effectiveness.

  • SAFEGUARD - Intelligent AGents organisation to enhance Dependability and SUrvivAbility of large complex critical inFrastructurE, IST-2001-32685,
    http://www.ist-safeguard.org/
    SAFEGUARD aims to enhance the dependability and survivability of Large Complex Critical Infrastructures (LCCIs), such as distributed electric and telecommunication networks.

Road-Mapping Projects

FP5 Networks of Excellence

  • ARTIST - Advanced Real Time Systems, IST-2001 34820
    http://www.systemes-critiques.org/ARTIST/
    ARTIST is an FP5 Network of Excellence with the objective to coordinate the R&D effort in the area of Advanced Real-time Systems.

  • CaberNet - Distributed and Dependable Computing Systems,  IST-2000-25088,
    http://www.newcastle.research.ec.org/cabernet/
    CaberNet is an FP5 Network of Excellence that coordinates European research in distributed and dependable computing systems architectures.

 


Adelard logo

ISTI logo

JRC logo

LAAS logo

Newcastle logo


Last update 22 Nov 2002
Brian Randell