Cel 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. Dziedzina nauki natural sciencescomputer and information sciencesdatabases Program(-y) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Temat(-y) Data not available Zaproszenie do składania wniosków Data not available System finansowania Data not available Koordynator Advanced System Architectures Wkład UE Brak danych Adres North Block Bentley Hall Blacknest GU34 4PU Alton Zjednoczone Królestwo Zobacz na mapie Koszt całkowity Brak danych Uczestnicy (4) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko Centre for Renewable Energy Systems Technology Zjednoczone Królestwo Wkład UE Brak danych Adres Leicestershire LE11 3TU Loughborough Zobacz na mapie Linki Strona internetowa Opens in new window Koszt całkowity Brak danych ERNO Raumfahrttechnik GmbH Niemcy Wkład UE Brak danych Adres Hünefeldstraße 1-5 28199 Bremen Zobacz na mapie Koszt całkowity Brak danych IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE Zjednoczone Królestwo Wkład UE Brak danych Adres South Kensington Campus LONDON Zobacz na mapie Koszt całkowity Brak danych TECHNISCHE UNIVERSITAET KAISERSLAUTERN Niemcy Wkład UE Brak danych Adres Erwin Schroedinger Strasse 46 67663 KAISERSLAUTERN Zobacz na mapie Koszt całkowity Brak danych