Formalism in Safety Cases Appears in Making Systems Safer: Proceedings of the Eighteenth Safety-Critical

Cached

Download Links

by John Rushby

Active Bibliography

1 Reasoning about the Reliability Of Diverse Two-Channel Systems In which One Channel is “Possibly Perfect” – Bev Littlewood, John Rushby - 2009
SLR on Evidence Classification, Structuring and Assessment for Safety. Extracted Data – Sunil Nair, Jose Luis De La Vara, Mehrdad Sabetzadeh, Lionel Bri, V Snt Centre For Security
Plan Communication Plan – Sunil Nair, Jose Luis De La Vara, Mehrdad Sabetzadeh, Lionel Bri, V Snt Centre For Security, Risk Management
Argumentation – Sunil Nair, Jose Luis De La Vara, Mehrdad Sabetzadeh, Lionel Bri, V Snt Centre For Security
20 Modular Certification – John Rushby - 2002
the NASA Aeronautics and Space Database – Alwyn Goodloe, Lee Pike
7 Software Verification and System Assurance – John Rushby - 2009
4 A safety-case approach for certifying adaptive systems – John Rushby - 2009
8 Cyber-Physical Systems ∗ – Oleg Sokolsky, Insup Lee, Oleg Sokolsky, Insup Lee, Mats Heimdahl
Software Assurance for Systems of Systems – John Goodenough, Linda Northrop
4 Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems – Peter Bishop, Robin Bloomfield, Ieee Computer Society, Bev Littlewood, Ieee Computer Society, Andrey Povyakalo, David Wright
the Seventh Framework Programme State of the Art – Author(s) Aad Van Moorsel, Eugenio Alberdi, Raul Barbosa, Robin Bloomfield, João Durães, Rosaria Esposito, Lorenzo Falai, Johan Karlsson, Paolo Lollini, Vladimir Stankovic, Lorenzo Strigini, Michele Vadursi, Marco Vieira, Katinka Wolter, Huqiu Zhang, Eugenio Alberdi, Raul Barbosa, Robin Bloomfield, João Durães, Rosaria Esposito, Lorenzo Falai, Johan Karlsson, Gergely Pinter, Vladimir Stankovic, Lorenzo Strigini, Marco Vieira, Katinka Wolter, Huqiu Zhang - 2009
6 An Evidential Tool Bus – John Rushby - 2005
2 Reliability Validation of Group Membership Services for X-by-Wire Protocols – Elizabeth Ann Latronico - 2005
Security Requirements Engineering: A Framework for Representation and Analysis – How To Cite, Charles B. Laney, Robin Moffett, Jonathan D, Bashar Security Requirements, Charles B. Haley, Robin Laney, Jonathan D. Moffett, Bashar Nuseibeh, Ieee Computer Society
35 Security requirements engineering: A framework for representation and analysis – Charles B. Haley, Robin Laney, Jonathan D. Moffett, Bashar Nuseibeh - 2008
Safety Critical Systems Engineering – Msc Dissertation, Keith Moore, Dr. Mark Nicholson - 2005
1 Application of a Commercial Assurance Case Tool to Support Software Certification Services. – Luke Emmet, Sofia Guerra, Adelard Drysdale Building
5 Engineering Safety-Critical Complex Systems – Robert Alexander, Ruth Alexander-Brown, Tim Kelly