Related Links
The CSR at Newcastle is part of the National CSR together with its sister institution at City University.
Other pages held on this server include the VDM pages.
Other links which may be of interest to those working in the areas of dependability and safety-critical computer systems are listed below. If you wish to have a link added then please mail the CSR web administrator.
Please note that the links are in no specific order.- School of Computing Science at Newcastle University
- Formal Methods Europe
- Oakwood Computing - Safer use of programming languages
- Risks Forum Digests at Newcastle
- Peter Ladkin's Aircraft Incidents and Accidents page
- Jonathan Bowen's Safety-Critical Systems page at Southbank
- Real-Time Systems Group at York University
- High Integrity Systems Group at York University
- HAZOP pages at Teesside University
- The Software Safety project at the University of Washington
- Nancy Leveson's home page at MIT
- Flight Safety Foundation
- Occupational Safety and Health Resources Net.
- Dyadem International Ltd.
- Agena Ltd. - Risk Management using Bayesian Networks
- The Formal Methods Archive (books, papers, conferences who's who)
- Safety Systems Research Centre at Bristol University.
- Critical Software Ltd.
- Department of Defense Software Information Clearing House.
- Motor Industry Software Reliability Association
- Primatech Inc
- Reliass - reliability and safety solutions
- MSL Integrity Systems Ltd
- The Integrated Safety Case Development Environment
- Safeware Engineering Corporation
- Praxis Critical Systems
- Adelard
- Virkonnen Critical Systems
- LDRA Group
- Industrial Safety Integration
- Lloyd's Register Rail