YOUR CHOSEN RESOURCES:

WHITE PAPERS

An Introduction to Safety Critical Systems

This paper is aimed to serve as a tutorial for developers who are new to the development of software for safety critical systems, discussing the issues involved, introducing some of the techniques available to developers, and providing an overview of how Cantata can be used within the process.

了解更多

Designing Unit Test Cases

This paper provides a general process for developing unit test specifications and describes some specific design techniques for designing unit test cases. It serves as a tutorial for developers who are new to formal testing of software and as a reminder of some finer points for experienced software testers.

了解更多

Which Code Coverage Metrics to Use

This Paper describes and discusses a selection of structural coverage metrics which are based on control flow analysis, looking at the practicality of their use for real software developments

了解更多

Designing Testable Ada

This Paper provides guidelines for designing testable Ada software. With testability in mind, testing the designed software is much easier.

了解更多

Testing Techniques for Ada 95

This Paper discusses the impact of the Ada standard upon testability if safety related systems, and describes techniques which can be utilised to improve the likelihood of achieving testing success.

了解更多

Cantata Standard Briefing ISO 26262:2018

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard ISO 26262:2018 Road Vehicles – Functional Safety.

了解更多

Cantata Standard Briefing AOP-52

This Standard Briefing paper serves as a reference to show how Cantata can be used to satisfy the verification and validation objectives of the international NATO AOP-52 (EDITION 1) – Guidance On Software Safety Design And Assessment Of Munition-Related Computing Systems.

了解更多

Cantata Standard Briefing IEC 61508:2010

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard IEC 61508:2010 Functional Safety of Electrical / Electronic / Programmable Electronic Safety-related Systems

了解更多

Cantata Standard Briefing IEC 60880:2006

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the international standard IEC 60880:2006 Nuclear Power Plants – Instrumentations and Control Systems Important to Safety – Software Aspects for Computer-Based Systems.

了解更多

Cantata Standard Briefing IEC 62304:2006

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalised international standard IEC 62304:2006 Medical Device Software – Software Life-cycle processes.

了解更多

Cantata Standard Briefing EN 50128:2011

This Briefing is intended to serve as a reference of how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard EN 50128:2011 Railway Applications – Communication, signalling and processing systems – Software for railway control and protection systems.

了解更多
[et_pb_dfbm_blog dfbm_fullwidth=”off” item_animation=”faded” show_category_filter=”on” custom_posttypes=”resource” show_order_options=”on” show_comments=”off” show_author=”off” _builder_version=”4.2.2″ disabled_on=”on|on|on” disabled=”on”][/et_pb_dfbm_blog]