Certification Standards - Using Event-B for Critical Device Software Systems - page 305

Ta b l e A . 1 Standards
organisations

AIAA American Institute of Aeronautics and Astronauts

ANS American Nuclear Society

ANSI American National Standards Institute

ASTM American Society for Testing and Materials

BSI British Standards Institution

CCITT Telecommunication Standardization Bureau

CEN European Committee for Standardization

CSA Canadian Standards Association

CSE Communications Security Establishment

DEF British Defence Standards

DIN Drug Information Association

DIN Deutsches Institute für Normung

DoD U.S. Department of Defense

ISO International Organization for Standardization

IEC International Electrotechnical Committee

IEEE Institute of Electronic and Electrical Engineers

CC Common Criteria

FDA The Food & Drug Administration

standards. Some of the standards are more specific related to the defence, financial,
medical, nuclear, transportation, etc. Some of the major software standards are given
in Table A.1 [ 8 ].
In the next sections, we describe here only international standards related to the
information technology by ISO/IEC (the International Organization for Standard-
ization/International Electrotechnical Commission), IEEE (Institute of Electronic
and Electrical Engineers), FDA (Food and Drug Administration) and CC (Common
Criteria).

A.2 ISO/IEC Standards

IEC (International Electrotechnical Commission) is established in 1906 and ISO (In-
ternational Organization for Standardization) is a non-governmental organisation is
established in 1947 [ 6 , 8 , 18 ]. The ISO is a worldwide federation of national stan-
dards bodies from more than 140 countries, one from each country, which facilitate
the international coordination and unification of the industrial standards [ 18 ]. The
primary preoccupation of international standards is to eliminate technical barriers
to trade ; the view is that world-wide standards help rationalise the international
trading process [ 6 , 10 ].
There are number of standards addressing safety and security of a system related
to the software development. For example, avionics RTCA-Do-178B [ 22 ]orthe