CASE STUDY: AVIONICS

Herrmann, Debra S.: Software safety and reliability : techniques, approaches, and standards of key industrial sectors. – Computer Soc. Press : Los Alamitos, CA, 1999. – ISBN 0-7695-0299-7.

This book presents the standards used in several fields, a.o. avionics. Perhaps it is not sensible to present the standard in too much detail, but the extensive literature reference will provide you with enough other material.