Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 370
  • Download : 0
The safety analysis of requirements is a key problem area in the development of software for hybrid real-time safety systems. Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in the abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence in the software, the difficulty and complexity of using them can cause other hazards. In order to overcome this obstruction, we propose a framework of requirements engineering for the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the software requirements based on causality information, called CRSA (Causal Requirements Safety Analysis). The QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the difficulty of specifying and validating the software requirements of hybrid safety systems. We use the qualitative formal languages, Compositional Modeling Language, and Causal Functional Representation Language in particular, to specify hybrid system dynamics and the required behavior respectively. The system behavior has been simulated by the Device Modeling Environment, and validated against the required behavior. CRSA can evaluate the logical contribution of the software elements to the physical hazards of systems without the subjective and ad hoc decisions of safety analysts, by using the causality information that is kept during specification by QFM. Using the Shutdown System 2 (SDS2) of Wolsong nuclear power plants as a realistic example, we demonstrate that the QFM provides a practical solution for requirements specification of HRTS, and that the CRSA is a systematic approach for safety analysis of HRTS software.
Advisors
Cha, Sung-Deok차성덕
Description
한국과학기술원 : 전산학전공,
Publisher
한국과학기술원
Issue Date
2002
Identifier
174644/325007 / 000945314
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 전산학전공, 2002.2, [ vi, 117 p. ]

Keywords

Qualitative Model; Real-time System; Software Safety Analysis; Software Requirements Analysis; Formal Method; 정형기법; 정성모델; 실시간 계통; 소프트웨어 안전성 분석; 소프트웨어 요구분석

URI
http://hdl.handle.net/10203/32807
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=174644&flag=dissertation
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0