Concurrent Specification in the Co-design of Reactive Engineering Systems

• A. Garg ^[1] ; P. K. Chawdhry ^[2]
  1. [1] University of Newcastle upon Tyne (GB)
  2. [2] University of Bath (GB)
• Localización: Journal of Engineering Design, ISSN 0954-4828, Vol. 9, Nº. 1, 1998, págs. 17-28
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • Development of robust specification is a key task in reactive system design. This paper presents a formal methodology for concurrent specification of such products in a multi-agent context. Three core views have been identified for product specification: function, behaviour and structure. It is shown that these views can be developed concurrently and then linked to achieve a complete, consistent and verifiable product specification. This methodology has been implemented using a software tool STATEMATE. A detailed case study in formal specification of a tea-brewing machine has been undertaken to test and demonstrate the specification methodology. It is shown that the methodology is capable of developing detailed product specification which can be verified against customer requirements. Moreover, it demonstrates that a systematic procedure need not reduce creativity, but can actually enhance it by providing a framework and orientation for original thought.