Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze informatyka oprogramowanie aplikacje komputerowe oprogramowanie systemowe systemy operacyjne
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Brak dostępnych danych
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Brak dostępnych danych
Koordynator
NE1 7RU Newcastle upon Tyne
Zjednoczone Królestwo
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.