Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski pl
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-04-30

Tools for design and validation of embedded control systems

Cel

The central focus of the OMI/TOOLS project is the validation and observation of combined hardware/software systems, in particular of embedded control systems (ECS). By validation we mean the derivation of statements about the correct function and the adequate timing (performance) of a given system. By observation we mean the collection, storage, retrieval and visualisation of relevant performance and design flow data.

The objective of the OMI/TOOLS project is the horizontal and vertical integration of the hardware and software design process. For that purpose the project will use and adapt existing tools and develop new ones. These tools will be embedded in a common framework which allows the exchange of design data and provides a common user interface and visualisation approach.
The result of the OMI/TOOLS project is a set of tools integrated in an existing framework.
The tools will not cover the entire development cycle. Instead they will focus on some areas of the development cycle, namely

- verification
- system modelling and simulation
- monitoring
- performance evaluation
- traceability
Horizontal validation tools support the validation of combined software/hardware system representations on different abstraction levels. A mixed-level simulation environment provides simulation on the system level as well as behavioural, physical, execution-driven, instruction-driven and OS kernel modules. Monitoring of hardware/software systems is supported as well.
Vertical validation tools maintain the design consistency between different abstraction levels. An observation and performance analysis component provides a consistent view of the system behaviour and performance data throughout the design process. A verification tool supports a formal method to guarantee the correctness of an implementation against a specification. A tool for design flow tracing allows to trace the design history. The horizontal as well as the vertical tools will be embedded into a common tool framework environment. The OMI/TOOLS project will evaluate existing frameworks such as SIFRAME (developed within the JESSI Common Frame project) for that purpose.
The target platforms for all tools and supports are Unix workstations and in particular SUN workstations. This is clearly a constraint for the search of the integration framework.

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.

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.

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.

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

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.

CSC - Cost-sharing contracts

Koordynator

Etnoteam S.p.a.
Wkład UE
Brak danych
Koszt całkowity

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.

Brak danych

Uczestnicy (6)

Moja broszura 0 0