Software 신뢰도의 향상에 관한 연구

Abstract

System, module, transaction 은 software system 의 주상 적인 개념이다. module 은 machine instruction, high level language statement, subroutine, procedure 등으로 생각할 수있다. Module 들은 transaction 의 과정을 지나고 있는 system 에 의해 execution 된다. fault free system 을 정의하면 control fault 는 incorrect execution sequence 를 유발하게된다. 허용되는 execution sequence 들의 집합으로 특성화된 system 을 허용하는 software system 의 module 이 주어진다. 이것은 어떻게 system 이 구성되고 그래서 control fault 에 의해 영향을 받은 execution sequence 가 error 가 되는지를 보여준다. Self-detected system 을 만들어서 그것의 check part 에 의해 fault 가 detect 된다. System 을 구조화 하고 fault 가 detect 되는 Algorithm 과 예가 주어진다.