Generic upgradable architectures for real-time dependable systems

Informacje na temat projektu

GUARDS

Identyfikator umowy o grant: 20716

Projekt został zamknięty

Data rozpoczęcia 20 Grudnia 1995

Data zakończenia 19 Czerwca 1999

Finansowanie w ramach

• Specific research and technological development programme in the field of information technologies, 1994-1998

Koszt całkowity

€ 5 541 500,00

Wkład UE

€ 2 990 000,00

Koordynowany przez

Technicatome
France

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Wyniki nadające się do wykorzystania

GUARDS ADE: a unique environment for the design of dependable software systems

The GUARDS ADE is a computer aided software engineering (CASE) toolset which supports the design of dependable, real-time software applications. In particular it provides means to: design the software system according to its functional as well performance requirements (eg periods, deadlines etc); identify the needed hardware boards as well as dependability software components which constitute the underlying computing environment and extract from them the relevant performance characteristics; verify the performance requirements of the design (and, later, implemented) software system; generate the table which drive the critical software functions. The GUARDS ADE is centred around a software design tool supporting a hard-real-time, object-oriented method. Currently it supports the HRT-HOOD method, but other adequate methods can be supported as well. It includes a set of other tools: an Infrastructure Architecture tool, that manages a database of the various hardware/software components which represent the application environment (such components are described by their relevant performance attributes, relations and compatibility); a couple of Temporal Properties Verification tools (the Schedulability Analyser and the Scheduler Simulator), which keeps the real-time attributes of the software application (as defined with the Design tool) as well as those one of the underlying environment (as resulting from the Infrastructure Architecture) and verifies the defined real-time requirements (eg deadlines); a Table Generator tool, which, on the basis of the real-time models produced by the verification tools, produces the tables which are used at run-time by the software functions at the highs level of criticality (eg inter-channel synchronization and input/output data consolidation).