This report presents the results of a study which devises an Integrated Formal Approach (IFA) for improving specifications of the designs of computer programs used in safety-critical systems. In this IFA, the formal specification techniques of a formal method — Development Before The Fact (DBTF) and its supporting tool — the OO1 Tool Suite, are used systematically to identify and remove various kinds of defects in software specifications. Defects usually exist in most computer programs developed using ad-hoc processes in which mathematical formality is not enforced in the program development effort. Five classes of defects are identified from program studies. The IFA here is designed in order to reduce the number of these defects more effi...
This paper describes a technology transfer project where formal specification and verification techn...
Safety-critical systems—namely, systems whose failure may cause death or injury to people, harm to ...
I attended my first software conference in 1968; it was organised by NATO with the title “The Softwa...
An investigation is presented into the use of formal methods for the production of safety-critical s...
Despite thirty years of study by the academic community, industry has not embraced the systematic us...
Standards concerned with the development of safety-critical systems, and the software in such system...
Formal Methods started primarily as a software development method, but now embrace a wide spectrum o...
In this paper, the authors present a digital system requirements specification method that has demon...
As software is increasingly used to control safety-critical systems, correctness becomes paramount. ...
Instrumentation and control (I&C) systems play a vital role in the operation of safety-critical ...
Instrumentation and control (I&C) systems play a vital role in the operation of safety critical ...
Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear power ...
This paper describes our work exploring the suitability of formal specification methods for independ...
This paper describes our work exploring the suitability of formal specification methods for independ...
The safety of software is becoming increasingly important as computers pervade control systems on wh...
This paper describes a technology transfer project where formal specification and verification techn...
Safety-critical systems—namely, systems whose failure may cause death or injury to people, harm to ...
I attended my first software conference in 1968; it was organised by NATO with the title “The Softwa...
An investigation is presented into the use of formal methods for the production of safety-critical s...
Despite thirty years of study by the academic community, industry has not embraced the systematic us...
Standards concerned with the development of safety-critical systems, and the software in such system...
Formal Methods started primarily as a software development method, but now embrace a wide spectrum o...
In this paper, the authors present a digital system requirements specification method that has demon...
As software is increasingly used to control safety-critical systems, correctness becomes paramount. ...
Instrumentation and control (I&C) systems play a vital role in the operation of safety-critical ...
Instrumentation and control (I&C) systems play a vital role in the operation of safety critical ...
Instrumentation and control (I&C) systems play a crucial role in the operation of nuclear power ...
This paper describes our work exploring the suitability of formal specification methods for independ...
This paper describes our work exploring the suitability of formal specification methods for independ...
The safety of software is becoming increasingly important as computers pervade control systems on wh...
This paper describes a technology transfer project where formal specification and verification techn...
Safety-critical systems—namely, systems whose failure may cause death or injury to people, harm to ...
I attended my first software conference in 1968; it was organised by NATO with the title “The Softwa...