Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-11

Case-based reasoning for safety assessment of critical software

Habib Hadj-Mabrouk

Intelligent Decision Technologies

Retricted access

Research article

First published 2019-10

Test based safety-critical software reliability estimation using Bayesian method and flow network structure

Yaguang Yang

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 1988-11

Safety Critical Software Standards for Defence Procurement

R Pilsworth

Measurement and Control

Retricted access

Research article

First published 2007-1

High integrity real-time software

D J Allerton

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2007-6

A discussion of statistical testing on a safety-related application

S Kuball, J. H. R. May

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Research article

First published 2021-3

N-version programming approach with implicit safety guarantee for complex dynamic system stabilization applications

Nadir Subasi, Ufuk Guner, Ilker Ustoglu

Measurement and Control

Retricted access

Research article

First published 2026

When Failure Means “Late”: Cadence Selection,Communication,and Structurational Divergence in a Safety-Critical Software Firm

Matthew Vorell

International Journal of Business Communication

Retricted access

Research article

First published 2018-6

A methodology for model-based verification of safety contracts and performance requirements

Elena Gómez-Martínez, Ricardo J Rodríguez, Clara Benac-Earle [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Open access

Case report

First published 2023-2

Redefining rail systems verification and validation: The safety/security STAIRCASE model

George Bearfield, Coen Van Gulijk, Richard James Thomas

Proceedings of the Institution of Mechanical Engineers,Part F: Journal of Rail and Rapid Transit

Retricted access

Review article

First published 1995-12

Structural Engineering and Software: Certainty,Uncertainty and Probability

J A McDermid

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Search results