LDRA tool suite ensures safe spacecraft launch
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.
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.
Mouser Electronics is now offering Eurotech’s range of embedded products, which includes single-board computers (SBCs), data communications equipment, I/O cards, rugged mobile computers, IP networking equipment, development kits and a machine-to-machine integration platform dubbed the Everywhere Cloud.
In the third instalment of its ‘Looking Ahead’ series about future manufacturing challenges driven by technological, demographic and environmental changes, toolmaker Sandvik Coromant explores the ramifications that keeping pace with — or falling behind — the coming technology shifts will have on the success of businesses. According to Sandvik Coromant’s white paper ‘Manufacturing Intelligence’ and its video ‘Looking Ahead’, we are now on the verge of the fourth industrial revolution, ...
Review Display Systems has introduced a fourth-generation Intel Core processor-based 3.5in single-board computer from Aaeon. The Gene-QM87 offers a variety of display formats, opening up application areas in gaming, entertainment and industrial automation as well as digital signage.
Pacer recently exhibited its technologies and capabilities at DSEI London 2013, an event dedicated to the security and defence sectors. The company distributes products such as optics and sensors, lasers and detectors, and displays, and also has a special projects division to help customers solve whatever design challenges they may face.