@incollection{, D5A2EA130F3D66CA82F700FF1436409B , author={{Ben SwarupMedikonda} and {P. SeethaRamaiah} and {Anu A.Gokhale} and {Department of Computer Science and Systems Engineering Department of Technology Andhra University}}, journal={{Global Journal of Computer Science and Technology}}, journal={{GJCST}}0975-41720975-435010.34257/gjcst, address={Cambridge, United States}, publisher={Global Journals Organisation}1185762 } @incollection{b0, , title={{Software Engineering for Safety: a Roadmap}} , author={{ RobynRLutz }} , booktitle={{Proceedings of the Conference on The Future of Software Engineering}} the Conference on The Future of Software EngineeringLimerick, Ireland , year={June 04-11, 2000} } @incollection{b1, , title={{Safety Critical Systems: Challenges and Directions}} , author={{ JohnCKnight }} , booktitle={{Proceedings of the 24 th International Conference on Software Engineering (ICSE)}} the 24 th International Conference on Software Engineering (ICSE)Orlando, Florida , year={2002} } @incollection{b2, , title={{An investigation of the Therac-25 accidents}} , author={{ NGLeveson } and { CSTurner }} , journal={{IEEE Computer}} 26 7 , year={March 1987} } @book{b3, , title={{The New York Times Magazine}} , author={{ JamesGleick }} , year={1st December 1996} } @book{b4, , author={{ DaleMGray }} , title={{Frontier Status Report #203}} , year={19 May 2000} } @book{b5, , author={{ Ieee Std 1012 }} , title={{IEEE Standard for Software Verification and Validation Plans}} , year={1986} The Institute of Electrical and Electronics Engineering, Inc. USA } @book{b6, , title={{Leveson Safeware: System Safety and Computers}} , author={{ N }} , year={1995} , publisher={Addison-Wesley} } @book{b7, , author={{ DebraSHerman }} , title={{Software Safety and Reliability Basics:", (ch.2), Software Safety and Reliability: Techniques, Approaches, and Standards of}} , publisher={Key Industrial Sectors Wiley-IEEE Computer Society Press} , year={2000} } @book{b8, , title={{EN50128 Railway Applications: Software for Railway Protection and Control Systems. CENELEC}} } @book{b9, , title={{DO-178B/ED-12B Software Considerations in Airborne Systems and Equipment Certification}} RTCA, EUROCAE , year={December 1992} } @book{b10, , author={{ Ieee Std }} , title={{Standard Glossary of Software Engineering Terminology}} 610 } @incollection{b11, , title={{Software Safety Analysis of a Flight Guidance System}} , author={{ AlanCTribble }} , booktitle={{Proceedings of the 21st Digital Avionics Systems Conference (DASC'02)}} the 21st Digital Avionics Systems Conference (DASC'02)Irvine, California , year={Oct. 27-31, 2002} }