摘要:

The CCITT Specification and Description Language is widely accepted as a standard for use in the design of software in the telecommunications industry. This paper considers the implementation of this language on transputers using Occam. This raises some common issues in the use of Occam. The paper presents a novel implementation that demonstrates the performance gain that can be achieved through judicious use of the constructs available in Occam. The transputer implementation of Occam does not suit the authors' requirements and forces them to adopt a different coding, which is more conventional and much less efficient.

DOI:10.1049/sej.1988.0010

出版商:IEE    

年代:1988

数据来源: IET

摘要:

This paper describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. Method guidance is supported by a method model used to describe the sequence of method steps that should be followed. Animation provides an indication of the dynamic behaviour of the specified system by walking through a specification fragment to follow some scenario of interest. This approach to tool assistance has been tested by implementing a prototype set of tools for the CORE method and the Analyst workstation, and by application to a major case study. The current status of that work is described and evaluated.

DOI:10.1049/sej.1988.0011

出版商:IEE    

年代:1988

数据来源: IET

摘要:

The formal verification of low-level code is a problem largely ignored by the academic community although it is seen as a major problem in industry. This paper examines the problems associated with verification at this level and describes SPADE-8080, a verifiable sub-language of the Intel 8080. It also shows how programs written in SPADE-8080 can be analysed and formally verified with the SPADE software tools.

DOI:10.1049/sej.1988.0012

出版商:IEE    

年代:1988

数据来源: IET