Directions in Safety-critical Systems: Proceedings of the First Safety-critical Systems Symposium, the Watershed Media Centre, Bristol, 9-11 February 1993Felix Redmill, Tom Anderson |
Contents
G Rabe | 15 |
The Swedish State Railways Experience with nVersion | 36 |
Classification of Programmable Electronic Systems | 67 |
Copyright | |
11 other sections not shown
Other editions - View all
Directions in Safety-Critical Systems: Proceedings of the First Safety ... Felix Redmill,Tom Anderson No preview available - 1993 |
Common terms and phrases
achieved analysis process application application software approach argument associated behaviour buffer CBASS complex components computer system concept control systems Critical Software decomposition Defence Standard defined dependability document effect environment errors evaluation example execution failure modes fault tolerant Finite Element Finite Element Method FMECA formal methods formal specification functional programming fuzzy hardware Haskell Hazard Analysis hazard and risk HAZOP high-integrity computing human human computer interaction identified implementation industrial input integrity interface interlocking language layout lifecycle Littlewood logic module monitor notation Object Oriented organisational output particular possible problems procedures Product Assurance Programmable Electronic Systems railway result Risk Assessment risk reduction safety analysis safety critical Safety Critical Systems safety engineer safety requirements Safety Risk safety-critical systems signals simulation software development Software Engineering Software Reliability structure technical techniques TÜV verification