Verification of Safety-critical Software

Authors:
B. Scott Andersen;George Romanski
Affiliations:
Verocel, Inc.;Verocel, Inc.
Venue:
Queue - Data
Year:
2011

Citing 3
Cited 2

Managing the software process

Managing the software process
Safeware: system safety and computers

Safeware: system safety and computers
Software Verification and Validation for Practitioners and Managers, Second Edition

Software Verification and Validation for Practitioners and Managers, Second Edition

Incorporating certification in feature modelling of an unmanned aerial vehicle product line

Proceedings of the 16th International Software Product Line Conference - Volume 1
Requirement decomposition and testability in development of safety-critical automotive components

SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Avionics software safety certification is achieved through objective-based standards.