Skip to main content
European Commission logo print header

Formal Methods for Asynchronous System Technology

Ziel

FORMAST aimed to provide a formal framework and a suitable toolset for the development of asynchronous embedded micro and distributed systems.
The toolset was to include presentation language and tools such as a design database, formal design provers based on theorem-proving techniques, designer's assistants and simulators, and was to be linked to an asynchronous system development environment compatible with PCTE.
The project aimed to provide a formal framework and a suitable toolset for the development of asynchronous embedded microsystems and distributed systems. The toolset included presentation language and tools such as a design database, formal design provers based on theorem proving techniques, designer's assistants and simulators, and was linked to an asynchronous system development environment compatible with a portable common tool environment (PCTE). Progress was made in developing a compositional method for asynchronous system design. Work advanced in proof methods and in defining a case study based on an aerospace system. The specification method was defined, thecase study completed and prototype tool support developed. Considerable progress was made in theorem providing.
Progress was made in developing a compositional method for asynchronous system design. Work advanced in proof methods and in defining a case-study based on an aerospace system. The specification method was defined, the case study completed and prototype tool support developed. Considerable progress was made in theorem-proving.
Exploitation
Consideration is being given to further development of the toolset and also to placing the results of the project, including tools, in the public domain.

Thema/Themen

Data not available

Aufforderung zur Vorschlagseinreichung

Data not available

Finanzierungsplan

Data not available

Koordinator

Advanced System Architectures
EU-Beitrag
Keine Daten
Adresse
North Block Bentley Hall Blacknest
GU34 4PU Alton
Vereinigtes Königreich

Auf der Karte ansehen

Gesamtkosten
Keine Daten

Beteiligte (4)