Objective 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. Fields of science natural sciencescomputer and information sciencesdatabases Programme(s) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Topic(s) Data not available Call for proposal Data not available Funding Scheme Data not available Coordinator Advanced System Architectures EU contribution No data Address North Block Bentley Hall Blacknest GU34 4PU Alton United Kingdom See on map Total cost No data Participants (4) Sort alphabetically Sort by EU Contribution Expand all Collapse all Centre for Renewable Energy Systems Technology United Kingdom EU contribution No data Address Leicestershire LE11 3TU Loughborough See on map Links Website Opens in new window Total cost No data ERNO Raumfahrttechnik GmbH Germany EU contribution No data Address Hünefeldstraße 1-5 28199 Bremen See on map Total cost No data IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE United Kingdom EU contribution No data Address South Kensington Campus LONDON See on map Total cost No data TECHNISCHE UNIVERSITAET KAISERSLAUTERN Germany EU contribution No data Address Erwin Schroedinger Strasse 46 67663 KAISERSLAUTERN See on map Total cost No data
