The research here addresses the problem of improving software safety through hazard detection. The premise of our work is that hazard situations can and do occur, and are often complex, involving multiple sources. So there is a need for a mechanism to detect complex hazards and react in a timely and meaningful way. This paper addresses such a detection mechanism through Cnet, an on-line analysis tool that supports the specification of complex multi-source hazards using a query-like language, uses both synchronous and asynchronous checking approaches to balance efficiency and expressiveness, accommodates dynamic applications through dynamic constraint addition, and supports distributed and parallel applications running in heterogeneous environments. 1
|
1147
|
Tcl and the Tk Toolkit
– Ousterhout
- 1994
|
|
578
|
Efficient software-based fault isolation
– Wahbe, Lucco, et al.
- 1993
|
|
382
|
Safeware, System Safety and Computers
– Leveson
- 1995
|
|
304
|
The temporal query language TQuel
– Snodgrass
- 1984
|
|
188
|
The TSQL2 Temporal Query Language
– Snodgrass, ed
- 1995
|
|
181
|
Requirements Specification for ProcessControl Systems
– Leveson, Heimdahl, et al.
- 1994
|
|
167
|
Communication in Reactive Multiagent Robot Systems. Autonomous Robots
– Balch, Arkin
- 1995
|
|
125
|
An Investigation of the Therac-25 Accidents
– Leveson, Turner
- 1993
|
|
100
|
Computer Related Risks
– Neumann
|
|
93
|
A relational approach to monitoring complex systems
– Snodgrass
- 1988
|
|
57
|
Adding valid time to SQL/temporal
– Snodgrass, Bohlen, et al.
- 1996
|
|
46
|
High-Level Debugging of Distributed Systems: The Behavioral Abstraction Approach
– Bates, Wileden
- 1983
|
|
43
|
Differential evaluation of continual queries
– Liu, Pu, et al.
- 1996
|
|
40
|
MT: a toolset for specifying and analyzing real-time systems
– Clements, Heitmeyer, et al.
- 1993
|
|
39
|
Portable self-describing binary data streams
– Eisenhauer
- 1994
|
|
38
|
Software safety in embedded computer systems
– LEVESON
- 1991
|
|
37
|
Avoiding the past: a simple but effective strategy for reactive navigation
– Balch, Arkin
- 1993
|
|
34
|
Guaranteeing end-to-end timing constraints by calibrating intermediate processes
– Gerber, Hong, et al.
- 1994
|
|
31
|
DataExchange: High performance communication in distributed laboratories
– Eisenhauer, Schroeder, et al.
- 1997
|
|
19
|
The Iowa Driving Simulator: An immersive research environment
– Kuhl, Evans, et al.
- 1995
|
|
16
|
The dynamic monitoring of distributed and parallel systems
– Ogle, Schwan, et al.
- 1993
|
|
12
|
An approach to monitoring and assertion-checking of real time speci cations in Modechart
– Brockmeyer, Jahanian, et al.
- 1996
|
|
11
|
Formal verification of safety-critical systems
– Moser, Melliar-Smith
- 1990
|
|
10
|
Nirupama Mallavarupu. Falcon: On-line monitoring and steering of large-scale parallel programs
– Gu, Eisenhauer, et al.
- 1995
|
|
8
|
Exception handling in robotics
– Cox, Gehani
- 1989
|
|
8
|
Using languages for capture, analysis and display of performance information for parallel and distributed applications
– Kilpatrick, Schwan, et al.
- 1990
|
|
6
|
The DataExchange library
– Eisenhauer, Schroeder
- 1996
|
|
5
|
Completeness and consistency checking of software requirements
– Heimdahl, Leveson
- 1996
|
|
5
|
Safety assertions for process-control systems
– Leveson, Shimeall
- 1983
|
|
5
|
Targeting safety related errors during software requirements analysis
– Lutz
- 1993
|
|
4
|
Handbook of system and product safety
– HAMMER
- 1972
|
|
4
|
Safety analysis tools for requirements specifications
– Ratan, Partridge, et al.
- 1996
|
|
4
|
detection using on-line analysis of safety constraints
– Hazard
- 1997
|
|
2
|
Software deviation analysis: A "safeware" technique
– Reese, Leveson
- 1996
|
|
2
|
A safety kernel architecture
– Wika, Knight
- 1994
|
|
1
|
INGRES -- a relational data base management sytstem
– Held, Stonebraker, et al.
- 1975
|
