DocumentCode
2378359
Title
Safety analysis using temporal database
Author
Kobayashi, Hiromi
Author_Institution
Dept. of Inf. Media Technol., Tokai Univ., Hiratsuka, Japan
fYear
2001
fDate
2001
Firstpage
379
Lastpage
382
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on
Conference_Location
Seoul
Print_ISBN
0-7695-1414-6
Type
conf
DOI
10.1109/PRDC.2001.992724
Filename
992724
Link To Document