Computer-aided safety analysis of computer-controlled systems : a case example

Uwe Biegert
Computer controlled systems consist of a complex interaction between technical process, human task and software. For the development of safety critical systems new method are required, which not only consider one of these parts of a computer-controlled system. In this paper a qualitative modeling method is presented. The method is called SQMA, Situationbased Qualitative Modeling and Analysis and it origin goes back to Qualitative Reasoning. First, all parts of a system are modeled separated and...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.