Objectif 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. Champ scientifique natural sciencescomputer and information sciencesdatabases Programme(s) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Thème(s) Data not available Appel à propositions Data not available Régime de financement Data not available Coordinateur Advanced System Architectures Contribution de l’UE Aucune donnée Adresse North Block Bentley Hall Blacknest GU34 4PU Alton Royaume-Uni Voir sur la carte Coût total Aucune donnée Participants (4) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire Centre for Renewable Energy Systems Technology Royaume-Uni Contribution de l’UE Aucune donnée Adresse Leicestershire LE11 3TU Loughborough Voir sur la carte Liens Site web Opens in new window Coût total Aucune donnée ERNO Raumfahrttechnik GmbH Allemagne Contribution de l’UE Aucune donnée Adresse Hünefeldstraße 1-5 28199 Bremen Voir sur la carte Coût total Aucune donnée IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE Royaume-Uni Contribution de l’UE Aucune donnée Adresse South Kensington Campus LONDON Voir sur la carte Coût total Aucune donnée TECHNISCHE UNIVERSITAET KAISERSLAUTERN Allemagne Contribution de l’UE Aucune donnée Adresse Erwin Schroedinger Strasse 46 67663 KAISERSLAUTERN Voir sur la carte Coût total Aucune donnée