Certifiable Software Applications 2

Certifiable Software Applications 2: Support Processes explains the process to achieve a certifiable application. This concerns several major topics, skill management, data preparation, requirement management, software verification, and software validation. In addition, analysis of the impact of the use of COTS and pre-existing software on certifiable software is presented.

Finally, the last support process concerns the management of commercial tools, the creation of a specific tools, and therefore the qualification of tools, which is based on their impact on the final software.


  • Explains configuration management, management of anomalies, skills management, and quality control
  • Discusses the major topics of skill management, data preparation, requirement management, software verification, and software validation
  • Presents tactics for the management of commercial tools and the creation of a specific tool which is based on their impact on the final software


Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.

Weitere Produkte vom selben Autor

Download
PDF
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

177,99 €*
Download
ePUB
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

177,99 €*
Download
ePUB
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

168,99 €*
Download
PDF
Formal Methods Applied to Complex Systems Jean-Louis Boulanger

168,99 €*