LDRA tool suite ensures safe spacecraft launch
LDRA
Tool suite
The China Manned Spacecraft Programme (CMSP) has selected LDRA and its tool suite to analyse complex safety-critical applications related to the Tiangong 1 spacecraft.
The LDRA tool suite will enable CMSP developers to achieve the safety-critical standards required to ensure the safe launch of the spacecraft.
The CMSP is required to check programming standards to the Chinese Military Standard GJB5369-2005K, undertake and automate unit test, analyse code coverage up to DO-178B Level-A for Modified Condition/Decision Coverage (MC/DC) and verify object code for the critical systems in the Tiangong 1 spacecraft.
The LDRA tool suite is a commercially available product that meets all of these requirements for software testing and provides full lifecycle support.
The LDRA Testbed, the process-management tool at the core of the LDRA tool suite, forms the foundation of automated software verification.
LDRA Testbed exercises the code, performing quality and design reviews on the source code.
It also conducts test verification for code coverage, including statement, branch/decision, MC/DC, test-path and procedure/function call metrics.
Tbrun, LDRA's automated unit testing tool, includes a graphical user interface that automates the production of test-data vectors, creating a test harness and stub generation automatically.
Users can create test cases for structural coverage of high-level source code using the object-box mode.
These test cases are then applied to the corresponding object code to satisfy DO-178B Level-A requirements.
Tbrun pinpoints code defects efficiently and early on in the development lifecycle, reducing the defects found during formal testing.
More stories
LDRA offers security-critical software solution
LDRA has released a security-critical development and certification solution to ensure the company's tool suite meets the growing demand for security-critical software.
White paper: Microsoft Windows 7 operating system — key benefits for industrial users downloadweblink
Industry is traditionally slow to adopt any new Microsoft operating system. Many industrial Windows users will have no need for the many new features on offer and will be cautious of potential bugs or security flaws. It is rarely worth considering switching to a new operating system unless you are developing a new product. For those who are making the switch, this white paper from Amplicon describes the key benefits of using Windows 7.
Case study: Drivven prototypes FPGA-based engine control system using NI technology downloadweblink
Drivven, a provider of automotive control and data acquisition technology, has used CompactRIO hardware and Labview software from National Instruments to prototype an engine control system for a 2004 Yamaha YZF-R6 motorcycle.
Application note: the use of supervisor ICs in complex multi-voltage systems downloadweblink
As processors become more complex, ensuring proper operation becomes more involved and more is required from supervisory circuits. In this application note, Maxim Integrated Products claims that its supervisor ICs have kept pace with the development of increasingly complex products, providing monitoring and control for multi-voltage systems.
Congatec offers third-generation Intel Core processors for Type 2 and Type 6 pin-out weblink
Congatec’s enhanced third-generation Intel Core processor modules — available in three versions — are claimed to provide maximum graphics and processing power for both Type 2 and Type 6 pin-out.