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.
|