A systematic approach to identifying a safe subset for safety-critical software

Authors:
P. V. Bhansali
Affiliations:
-
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2003

Citing 2
Cited 2

SPARK—an annotated Ada subset for safety-critical programming

TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Scaling down Ada (or towards a standard Ada subset)

Communications of the ACM

Universal software safety standard

ACM SIGSOFT Software Engineering Notes
The MCDC paradox

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

Programming languages and design methodologies need to be tailored before they can be used in safety-critical software. This tailoring is done via subsetting which excludes certain features that are hard to use and verify. A systematic approach to subsetting is described with examples from real-world applications.