Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Object-oriented systems: the commercial benefits
Object-oriented systems: the commercial benefits
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Experience with Formal Methods in Critical Systems
IEEE Software
Assessment of Safety-Critical Specifications
IEEE Software
Safeware: system safety and computers
Safeware: system safety and computers
Art of Software Testing
Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
MceSim: A Multi-Car Elevator Simulator
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Hi-index | 0.00 |
Several methods have been proposed for verifying the safety of software. We have also proposed a new method to verify both safety and correctness of object-oriented design specifications (Proc. 6th ISSRE, pp.78-83, 1995). In that method, we assumed that, in the design specification, any event results in the same action regardless of what state the system is originally in. In this paper, we relax the assumption as follows: actions of an event are determined by the event and its previous event, and we try to extend the applicability of our previous method. In the new method, the verifiers first construct a correctness table and a safety table based on a component library and standards for safety. Next, the designers construct a design table from a design specification. Then, by comparing the corresponding items on three tables, the verifiers review a given design specification and detect faults in it. Finally, using an elevator control system as an example, we show that faults concerning safety or correctness can be detected by the new design review method.