Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français fr
CORDIS - Résultats de la recherche de l’UE
CORDIS
Contenu archivé le 2024-04-30

Tools for design and validation of embedded control systems

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Résultats exploitables

TOOLS benefits not only designers and manufacturers, but the complete chain from component manufacturers to end users. By using standard OMI tools, component designers and manufacturers reduce design times with genuine ‘right first time’ designs, and by using OMI-compliant components, systems providers reduce their time to market and technical risk. Independent software vendors (ISV) can cut dramatically resources for porting and maintaining software, by endorsing OMI standard software components and interfaces, allowing them to concentrate on new developments. Finally, with application-specific solutions becoming highly reusable, equipment manufacturers can improve design trade offs, increasing competitiveness, resulting in higher price/performance products for the consumer. TOOLS focuses on certain key areas: formal verification, system modelling and simulation, monitoring, performance evaluation and traceability. The traceability tool provides a semiformal approach to bridging the gap between design steps, as well as enabling the global reuse of components. Other tools include a formal verification tool (HOFT), a monitoring tool (MAT) and a performance evaluation tool (PAT), along with a modelling and simulation environment. kernel based applications can also be developed, with new EOS (Etnoteam Operating System) functions that support communications between tools and system, including a new scheduler supporting deterministic behaviour. A common visualization approach is used for all the tools.

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0