A System Theoretic Safety Engineering Approach for Software Intensive Systems is popular PDF and ePub book, written by Asim Ali Ahmed Abdulkhaleq in 2017-02-23, it is a fantastic choice for those who relish reading online the Computers genre. Let's immerse ourselves in this engaging Computers book by exploring the summary and details provided below. Remember, A System Theoretic Safety Engineering Approach for Software Intensive Systems can be Read Online from any device for your convenience.
A System Theoretic Safety Engineering Approach for Software Intensive Systems Book PDF Summary
Software safety is a crucial aspect during the development of modern safety-critical systems. However, safety is a system level property, and therefore, must be considered at the system-level to ensure the whole system’s safety. In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly reliable software could lead to an accident. The correctness of software cannot ensure the safe operation of safety-critical software systems. Therefore, developing safety-critical software requires a more systematic software and safety engineering process that enables the software and safety engineers to recognize the potential software risks. For this purpose, this dissertation introduces a comprehensive safety engineering approach based on STPA for Software-Intensive Systems, called STPA SwISs, which provides seamless STPA safety analysis and software safety verification activities to allow the software and safety engineers to work together during the software development for safety-critical systems and help them to recognize the associated software risks at the system level.
Detail Book of A System Theoretic Safety Engineering Approach for Software Intensive Systems PDF
- Author : Asim Ali Ahmed Abdulkhaleq
- Release : 23 February 2017
- Publisher : Cuvillier Verlag
- ISBN : 9783736984929
- Genre : Computers
- Total Page : 220 pages
- Language : English
- PDF File Size : 18,9 Mb
If you're still pondering over how to secure a PDF or EPUB version of the book A System Theoretic Safety Engineering Approach for Software Intensive Systems by Asim Ali Ahmed Abdulkhaleq, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.