Prototyping real time engineering systems

Summary form only given. The aims of the research are: to evaluate the suitability of existing concurrent programming systems as tools for prototyping real time engineering systems; to establish the role of formal techniques in the development of prototypes; to identify ways that this formality could subsequently be reused in the development of a well engineered software product; and to provide an environment to improve the prototyping process. Prototyping in the context of this research means the examination of areas of uncertainty in the functional requirements by execution of a software model