Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994 > Using Formal Transformations for the Reverse Engineering of Real-Time Safety Critical Systems
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994 |
Felix Redmill; Tom Anderson
Springer London
Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8–10 February 1994
Using Formal Transformations for the Reverse Engineering of Real-Time Safety Critical Systems
Authors

K. H. Bennett; M. P. Ward

ARI Id

1664864605772_3838183

Access

Not Available Free

Pages

204-223

DOI

10.1007/978-1-4471-2082-7_14

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4471-2082-7_14

Table of Contents of Book
Showing 1 to 19 of 19 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-ix
A User’s Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications
A. Greenway
1-20
Methods and Techniques of Improving the Safety Classification of Programmable Logic Controller Safety Systems
C. J. Goring
21-30
Maintainability and its Influence on System Safety
Cris Whetton
31-54
Safety Critical Problems in Medical Systems
Brian Davies
55-68
Developing Safety Cases for Command and Control Systems
J. R. Taylor
69-78
Lifetrack: Organisational Modelling for Safety-Critical Decision Support
Tony Holden; Michael Glykas; Paul Wilhelmij; Barrie Reynolds
79-102
The True Cost of Risk and Its Impact on Safety
Dudley Brown; Vivienne Deacon; Sophia Langley
103-127
Risk and Safety Reviews
Geoff Wells; Mike Wardman
128-146
Extending Safety Analysis Techniques with Formal Semantics
Janusz Górski
147-163
Social Issues in High-Tech Safety
Denis Jackson
164-174
Human Error in the Software Generation Process
Trevor Cockram; Jim Salter; Keith Mitchell; Judith Cooper; Brian Kinch; John May
175-185
Cognitive and Organisational Aspects of Design
Martin Loomes; Donald Ridley; Diana Kornbrot
186-193
Producing Critical Systems — The Ada 9X Solution
B. A. Wichmann
194-203
Using Formal Transformations for the Reverse Engineering of Real-Time Safety Critical Systems
K. H. Bennett; M. P. Ward
204-223
Use of Neural Computing in Multiversion Software Reliability
Derek Partridge; Noel Sharkey
224-235
Knowledge Based Systems in Safety Critical Applications
Audrey Canning
236-246
The rôle of Formal Methods in the Engineering of Safety Critical Systems
P. J. Byers
247-257
Back Matter
258-258
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 19 of 19 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings