Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Mihir Shete
I.
INTRODUCTION
DEPENDABLE SYSTEMS
FORMAL METHODS
Standard
Quality Systems Model for
Quality
Assurance
in
Design/Development,
Production, Installation and
Servicing.
ISO9001/EN29001/BS5750
part1
Functional Safety : Safety
Related Systems
IEC1508
Railway Applications: Software
for Railway Control
& Protection Systems.
EN50128
Software for Computers in the
Safety Systems of
Nuclear Powers Stations.
IEC880
Software Considerations in
Airborne Systems and
Equipment Certification.
RTCA/DO178B
MISRA Development Guidelines
for Behicle Based
Software
Safety Management
Considerations for Defence
Systems Containing
Programmable Electronics.
Defence Standard 00-56
The Procurement of Safety
Critical Software in
Defence Equipment.
Defence Standard 00-55
Description
This is the recommended
standard of quality system for
software with a safety integrity
level of 0, and an essential
prerequisite for higher integrity
levels.
A general standard, which sets
the scene for most other safety
related software standards.
A standard for the railway
industry.
A standard
industry.
V.
VII. CONCLUSIONS
Human wellbeing depends on the working of safety critical
systems used in various fields and hence these systems must
strictly adhere to specified standards. Therefore safety critical
software must be written and verified using formal methods,
which can be proven to be secure, mathematically.
ACKNOWLEDGEMENTS
This paper was produced in partial fulfillment of the course
Embedded Systems Design and I would like to thank Dr.
Anupama K .R instructor incharge of the course for her help
and guidance.
REFERENCES
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]