Transcript Safety-Critical Systems - TKK / Laboratory for Theoretical

Safety-Critical Systems 6
Safety and Quality Management and
Certification
T 79.5303
Safety Management
Safety Documentation
Quality Management
• Systematic actions to gain quality,which is
essential in the life cycle of a safety system.
• Quality Assurance:
- concentrates that manufacture prosess and
work are performed correctly.
• Quality Control:
- ensures that product is correct.
ISO 9000
Quality Management System
• International Organisation for Standardisation (ISO)
created the Quality Management System (QMS) basis
already in 1987.
• ISO 9001:1987 Model for quality assurance in design,
development, production, installation and servicing.
• ISO 9002:1987 Model for quality assurance in production,
installation and servicing.
• ISO 9003:1987 Model for quality assurance in final
inspection and test covered only the final inspection of
finished product.
ISO 9001
• ISO 9000:2000 combines the three standards 9001,
9002, and 9003 into one, now called 9001.
• Design and development procedures are required
only if a company does in fact engage in the
creation of new products.
• New version has a goal to improve effectiveness
via process performance metrics — numerical
measurement of the effectiveness of tasks and
activities.
ISO 9001
• A company or organization that has been independently
audited and certified to be in conformance with ISO 9001
may publicly state that it is "ISO 9001 certified" or "ISO
9001 registered."
• Certification to an ISO 9000 standard does not guarantee
the compliance (and therefore the quality) of end products
and services; rather, it certifies that consistent business
processes are being applied.
• ISO 9001 is not enough and more strict systems are
needed. These are described on norms, which have to be
followed according to get system certificated.
ISO 9001 System
• The requirements in ISO 9001 include:
• a set of procedures that cover all key processes in the
business
• monitoring manufacturing processes to ensure
manufactures are producing quality produce
• keeping proper records
• checking outgoing product for defects, with appropriate
corrective action where necessary
• regularly reviewing individual processes and the quality
system itself for effectiveness.
Certification
• Process to indicate conformance with a
standard – checked by an authorised body.
• National Safety Authority, Minister of
Transportation
• International institutes and certified
/notified bodies in EU
• Follow given guidelines, like DO-178B,
IEC 61508 or CENELEC norms.
Example in Avionic system
DO-178B Certification
• DO-178B provides the aviation community
with guidelines for developing software for
airborne systems and equipment that
complies with accepted airworthiness
requirements.
• Five software levels (A through E), Level A
is the most stringent.
DO-178B Certification
The number of objectives to be satisfied.
In the standard, "with independence" refers to a separation of
responsibilities where the person(s) who verify an objective must not
be the developers of the item in question.
In some cases, an automated tool may be equivalent to independence.
Commercial Development
• Language and toolset specially designed for
high-assurance software:
Spark Ada
Further information
www.praxis-his.com/sparkada