Abstract :
Several software standards developed in response to concerns about safety are outlined. The standards cover such diverse areas as commercial aviation, military systems, medical equipment, industrial process control, and consumer products. The applications use different approaches to ensure system and software safety. The analysis of hazards, levels of software verification requirements, and development processes of the standards are discussed.<>
Keywords :
program verification; security of data; standards; commercial aviation; consumer products; hazards; industrial process control; medical equipment; military systems; software safety standards; software verification requirements; Biomedical equipment; Consumer products; Defense industry; Electrical equipment industry; Industrial control; Military equipment; Military standards; Process control; Software safety; Software standards;
