Title:
Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints
Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints
dc.contributor.author | Schroeder, Beth | en_US |
dc.contributor.author | Aggarwal, Sudhir | |
dc.contributor.author | Schwan, Karsten | |
dc.date.accessioned | 2005-06-17T17:50:42Z | |
dc.date.available | 2005-06-17T17:50:42Z | |
dc.date.issued | 1997 | en_US |
dc.description.abstract | 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. | en_US |
dc.format.extent | 275537 bytes | |
dc.format.mimetype | application/pdf | |
dc.identifier.uri | http://hdl.handle.net/1853/6641 | |
dc.language.iso | en_US | |
dc.publisher | Georgia Institute of Technology | en_US |
dc.relation.ispartofseries | CC Technical Report; GIT-CC-97-01 | en_US |
dc.subject | Cnet | |
dc.subject | Software hazard detection | |
dc.title | Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints | en_US |
dc.type | Text | |
dc.type.genre | Technical Report | |
dspace.entity.type | Publication | |
local.contributor.author | Schwan, Karsten | |
local.contributor.corporatename | College of Computing | |
local.relation.ispartofseries | College of Computing Technical Report Series | |
relation.isAuthorOfPublication | a89a7e85-7f70-4eee-a49a-5090d7e88ce6 | |
relation.isOrgUnitOfPublication | c8892b3c-8db6-4b7b-a33a-1b67f7db2021 | |
relation.isSeriesOfPublication | 35c9e8fc-dd67-4201-b1d5-016381ef65b8 |
Files
Original bundle
1 - 1 of 1