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 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...
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...
This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in...
A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such...