Skip to main content
Eine offizielle Website der Europäischen UnionOffizielle Website der EU
European Commission logo
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Inhalt archiviert am 2024-04-30

Formal analysis and specification to realise adaptive cruise control

Ziel

- To assess theapplicability of using mathematically formal techniques (LAMBDA) in the design of an adaptive cruise control system for an automobile.

- To improve the design efficiency in terms of shorter design cycle and higher design integrity.

- To allow re-usable designs through use of design history feature.

- To disseminate the results throughout the community.

FASTTRACC is an Application Experiment in which Lucas will undertake the design of a safety critical automotive component using the formal methodology and tools from AHL. Safety-critical systems are becoming more complex and more common-place. There are as yet few tools which address the issues of ensuring that a specification is both well-founded and implementable. One tool which has recently appeared on the market and which addresses the issues of safety-critical design is the LAMBDA tool from AHL. It is likely that as complexity continues to rise, standards authorities (e.g. Def Stan 00-55) will mandate the use of tools such as LAMBDA as best practice for the design of safety-critical systems.

Wissenschaftliches Gebiet (EuroSciVoc)

CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.

Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen

Aufforderung zur Vorschlagseinreichung

Data not available

Koordinator

Lucas Automotive Ltd
EU-Beitrag
Keine Daten
Adresse
Dog Kennel Lane Shirley
B90 4JJ Solihull
Vereinigtes Königreich

Auf der Karte ansehen

Gesamtkosten
Keine Daten