By Topic

Software Engineering Journal

Issue 2 • Date March 1991

Filter Results

Displaying Results 1 - 4 of 4
  • Forwards to safety standards

    Publication Year: 1991, Page(s):37 - 40
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (351 KB)

    It is common for the impression to be given that software engineers have stumbled on an issue unique to software and only understood by software engineers. This is not true, and the author discusses and demonstrates that the development of safety-related systems incorporating software needs a mixture of skills, outside software engineering, which are not commonly found in the development of other ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proving properties of a safety-critical system

    Publication Year: 1991, Page(s):41 - 50
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (752 KB)

    The paper describes the FOREST approach to formal requirements specification and particularly the role of an automated theorem prover in validating specifications written in MAL, the FOREST logic. The MAL prover uses a tableau method for constructing its proofs, with rules to handle the action modalities and quantification of MAL. The authors illustrate its use in validation by using the prover to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The choice of computer languages for use in safety-critical systems

    Publication Year: 1991, Page(s):51 - 58
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (773 KB)

    The paper reviews the choice of computer language for use in safety-critical systems. The advice given reflects both civil and military requirements. A comparison is made between assembly-level languages, the language C, CORAL 66, Pascal, Modula-2 and Ada. It is concluded that a well defined sub-language is essential for use in safety-critical projects, and a guide is provided for project managers... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing-a challenge to method and tool developers

    Publication Year: 1991, Page(s):59 - 64
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (615 KB)

    The paper looks at the requirements for testing in Defence standard 00-55, compares those requirements with what is possible today, and sets a challenge for methods and tools developers if the situation is to be improved.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.