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.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht.
- Technik und TechnologieElektrotechnik, Elektronik, InformationstechnikElektrotechnikSteuerungssysteme
- GeisteswissenschaftenGeschichte und ArchäologieGeschichtswissenschaft
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Programm/Programme
Aufforderung zur Vorschlagseinreichung
Data not availableFinanzierungsplan
ACM - Preparatory, accompanying and support measuresKoordinator
B90 4JJ Solihull
Vereinigtes Königreich