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.

Comments

Post a Comment

Popular posts from this blog

Han® HC 250 high current contact

A Powerful Solution HARTING has developed the new Han® HC 250high current connector as a powerful interface that impresses by requiring little space, transmitting high current intensities and allowing flexible configuration of the number of poles. The HC 250 one-pole crimp module can be connected in various frame geometries to produce the required number of poles in a compact space – and in the existing Han® HPR housing. Technical details: - Rated current 250 A at a rated voltage of 2000 V - Termination cross-sections are: 35 mm2, 50 mm2 and 70 mm2 - Maximum four-pole interfaces in a size 24 B HPR housing, making it particularly suitable for motor connections - High quality plastic with good smoke and inflammability levels - Removal tool for simple installation and removal of the contacts and inserts - Confusion of a number of interfaces is reliably prevented by multiple coding options for the individual inserts The requirements in the railway industry are changing, as
Read more

EGCS-D0 Accelerometer Now Available in 10,000g Range

Measurement Specialties, Inc. (NASDAQ: MEAS) has recently redesigned the EGCS-D0 accelerometer to enable it to accurately and reliably measure up to ±10,000g. This rugged device is critically damped, which is the ideal mechanism to protect the accelerometer against ±20,000g impacts and prevent sensor ringing. The EGCS-D0 accelerometer is now available in ranges from ±5g to ±10,000g which makes it ideal for both critical low-g measurements and high-g impacts. These units feature a Wheatstone Bridge mV output with a standard compensated temperature range of 20ºC to 80ºC (other options available). The EGCS-D0 was specifically designed for impact and shock testing in auto safety, aerospace, military and civil engineering applications. Designed to be bolt-mounted, this device operates from 2-15Vdc excitation with electrical output ratiometric to voltage input. Optional triaxial mounting blocks (MTG-F4), signal conditioners (Model 101) and auto-zero inline amplifiers (Model 140) are avai
Read more
Ilix Cermet Reamers Are Ideal For Dry Machining Engineers Cutting Tools, the UK agent for Ilix, has introduced Ilix solid-carbide and cermet reamers for the machining of hard metals. The machine reamers 6372C and 6323 allow the production of high-precision holes with good surface finish. Compared with HSS, the solid-carbide qualities enable the increase of cutting parameters and tool life. The quality of the reamers is said to guarantee high performance, even for hard metals with a resistance more than 1200N/mm2. The Ilix carbide 6372C range of hundredth reamers is from 0.98mm through to 12.05mm in increments of 0.01mm. The reamers are manufactured to a tolerance of +0.000 - +0.004mm. The cermet reamers 6323 have new cutting geometry developed by Ilix. These reamers are said to be ideal for steel machining, having high chemical stability during the cutting process. They offer good wear resistance due to the high hardness and have low material adhesion. The Ilix cermet reamer is said to
Read more