User login
Navigation
UK Space Links
- Airborne Engineering
- AspireSpace
- ASTRA
- AstroEngine.com
- BNSC
- Bristol Spaceplanes
- British Interplanetary Society
- Cambridge University Spaceflight
- ESERO-UK
- Excalibur Almaz Observer
- International Space Propulsion (ISP) Group
- LESEDS
- National Space Centre
- Orbiting Frog
- OurSpace new
- Project Icarus
- Purley Amateur Rocketry Society
- RAeS Space Links
- Reaction Engines Ltd.
- Rocket Corner
- Space.co.uk
- Spaceboosters.co.uk
- Space Newsfeed (Microcom Systems)
- Space Now
- SpacePod (RAL)
- Space Research Centre, Leicester
- SSTL Space Blog
- Starchaser Ltd.
- Stuart Clark
- UK Astronomers
- UK High Altitude Society
- United Kingdom Rocketry Association
- UK Rocket Man
- UKSEDS
- UK Space Directory
- Virgin Galactic
- Worldview Spaceflight
britishblogs.co.uk
LDRA Wins $1 Million Contract in China's Manned Spacecraft Program
Rocketeer — Fri, 04/12/2009 - 1:04am
(Source: SpaceRef)
WIRRAL, United Kingdom --The China Manned Spacecraft Program (CMSP) selected LDRA, the leading provider of automated software verification tools, and the LDRA tool suite to analyze complex safety-critical applications related to the Tiangong 1 spacecraft. The Tiangong spacecraft, required to meet DO-178B Level-A certification, will carry out space rendezvous and docking experiments that support the overall mission of CMSP. The LDRA tool suite will enable CMSP developers to achieve the stringent safety-critical standards required to ensure the safe launch of the spacecraft.
The LDRA tool suite has successfully enabled the Chinese space program to achieve safety- and mission-critical certification for its software applications since 2001. In this latest development phase, the CMSP is required to check programming standards to the Chinese Military Standard GJB5369-2005K, undertake and automate unit test, analyze 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 the only commercially available tool that meets all of these latest requirements for software testing and providing full lifecycle support.
"Coding standards enforcement has become a widespread requirement in China," noted Zhiqiang Zhang, CEO of Vision Microsystems. "The LDRA tool suite identifies many deep dataflow defects which cannot be detected by other tools. In addition the tool suite's automation facilities make unit testing a seamless and highly productive process."
Search

Subscribe to the Rocketeers Twitter feed for instant updates!
BNSC Review comments
My comments on the BNSC Space Exploration Review (31 Jan 2009)
New British Space Age
Alt.Space News
- Firday break in the action...
- Russian cosmonauts long for hot showers on ISS
- Station Crew Conducts Inspections, Performs Maintenance
- NASA Selects Investigations for First Sun Encounter Mission
- Spitzer Finds a Flavorful Mix of Asteroids
- Recipe for water: just add starlight
- CSA Announces the First Canadian Commander of the ISS
- Mary Roach and dealing with death in space
- NASA flagship tech plan and hopes
- Briefs: Indian lunar orbiter & Russian lander; AEHF failure probe
- Google Lunar X PRIZE summit
- Briefs: Japanese tether test; Airbag landings; Lasermotive powers UAVs
- Briefs" Garver speech; AIAA space policy panel; Nowhere SRB
- Armadillo/Project M lander flight video
- Armadillo to launch from Spaceport America








Recent comments
3 days 11 hours ago
3 days 11 hours ago
1 week 6 days ago
1 week 6 days ago
3 weeks 3 days ago
3 weeks 3 days ago
4 weeks 47 min ago
9 weeks 2 days ago
12 weeks 13 hours ago
12 weeks 4 days ago