Obiettivo
The PDCS2 Project aims to build on, and take significantly further, the work of ESPRIT Basic Research Action 3092 (Predictably Dependable Computing Systems), on the problems of making the process of designing and constructing adequately dependable computing systems much more predictable and cost-effective than at present. In particular it will address the problems of producing dependable distributed real-time systems and especially those where the dependability requirements centre on issues of safety and/or security.
Research has been carried out with respect to making the process of designing and constructing adequately dependable computing systems much more predictable and cost effective than at present.
With regard to fault prevention, techniques are being developed for eliciting and stating dependability requirements in a form that is consistent with a subsequent validation procedure. Timeliness analysis is being carried out in order to enable the building of systems with known maximum execution times, including implementation of suitable hardware and operating system bases, and study of time critical applications running on these bases.
In the area of fault tolerance, work includes:
the development of strategies for designing systems whose performance is maximized within given reliability constraints, design notations for expressing fault tolerance provisions and timing issues, and the formal description of fault tolerant designs;
the investigation of the principles of design environments for fault tolerant systems;
further development of the fragmentation redundancy scattering technique for tolerating both accidental and intentional faults in 2 nonexclusive directions.
Research related to fault removal is investigating 2 complementary methods of generating functional test inputs.
The principal objectives of the work on fault forecasting have been:
to extend further work on reliability and availability modelling;
to develop analytical techniques and methods of reducing the state space storage requirements of Markov and semi-Markov modelling tools aimed at extending the range of complexity of systems whose dependability can be accurately evaluated;
to develop improved methods of coverage evaluation using both physical and simulated fault injection (at circuit and system level);
to develop further approaches to modelling the operational security of a system in its environment, and to conduct intrusion experiments aimed at providing relevant data for such modelling exercises.
APPROACH AND METHODS
The problems of predicting and achieving specific levels of dependability involve all aspects of systems and system specification, design and construction. Despite this, the project has of necessity to be extremely selective regarding the problems to concentrate on, and the planned programme of research concerns a small number of carefully selected topics in fault prevention, fault tolerance, fault removal and fault forecasting, as follows:
Fault Prevention: techniques for eliciting and stating dependability requirements, and means of timeliness analysis in order to enable the building of systems with known maximum execution times.
Fault Tolerance: (i) strategies for designing systems whose performance is maximised within given reliability constraints, and design notations for expressing fault tolerance provisions and timing issues, (ii) the principles of design environments for fault-tolerant systems, and (iii) further development of the fragmentation-redundancy-scattering technique.
Fault Removal: investigation of two complementary methods of generating test inputs, one deterministic, the other probabilistic.
Fault Forecasting: (i) reliability and availability modelling, (ii) means of evaluation for ultra-high dependability (iii) analytical techniques and methods of reducing the state space storage requirements of Markov and semi-Markov modelling tools (iv) improved methods of coverage evaluation using both physical and simulated fault injection, and (v) modelling the operational security of a system in its environment.
The set of sub-tasks which make up these four main tasks range in nature from theoretical to experimental. In several cases they involve the acquisition or implementation, in prototype form, of software tools. We aim to investigate the experimental interconnection of some of these tools, using the inter-tool messaging techniques that have been developed in the MARS Design System (MARDS), as a first step towards the ultimate long term objective of a design support environment which is well-populated with tools and ready-made system components, and which fully supports the notion of predictably dependable design of large distributed real-time computing systems.
POTENTIAL
The work on dependability requirements elicitation could lead to impovements in system specification techniques; that on fault tolerance is aimed at faciliating tradeoffs between system dependability and performance, and achieving combined reliability and security. The work on reliability and availability modelling could already form the basis for industrial exploitation and is at a point where future development would benefit greatly from the provision of data from industry, whereas that on security modelling is very exploratory in nature, and is aimed at establishing whether such modelling can be made practicable. The work on timeliness analysis could be of use as a further data point for the assessment of the potentials and limitations of predictable hardware and operating system behaviour, whilst that on fault injection has promise of providing improvements to the design and evaluation of a systems' provisions for fault tolerance.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione software software applicativi software di sistema sistemi operativi
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Dati non disponibili
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Dati non disponibili
Coordinatore
NE1 7RU Newcastle upon Tyne
Regno Unito
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.