A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives...
Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the...
Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics...
It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and...
CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard...
Certifiable Software Applications 3: Downward Cycle describes the descending phase of the creation of a software application, detailing specification...
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques...