Title :
Safety analysis using temporal database
Author :
Kobayashi, Hiromi
Author_Institution :
Dept. of Inf. Media Technol., Tokai Univ., Hiratsuka, Japan
Abstract :
The paper presents two methods of safety analysis using a temporal database. We present two operations for uniting multiple tables with different attributes, and show the benefits of chronological presentation of events and actions for intuitive understanding for safety analysis. We also present that the granularities of time and the actions are crucial factors in automatic verification based on safety assertions
Keywords :
accidents; computerised monitoring; data analysis; real-time systems; safety; temporal databases; automatic verification; chronological presentation; intuitive understanding; multiple table uniting; safety analysis; safety assertions; temporal database; time granularities; Accidents; Computerized monitoring; Control systems; Data analysis; Databases; Information analysis; Logic; Marine vehicles; Safety;
Conference_Titel :
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on
Conference_Location :
Seoul
Print_ISBN :
0-7695-1414-6
DOI :
10.1109/PRDC.2001.992724
