Embedded in space: LDRA tools for Orion Crew Exploration Vehicle Space Program

Lockheed Martin Corporation (LMCO) selected the LDRA tool suite to enable developers on the Orion Crew Exploration Vehicle (CEV) program to achieve its software development goals. LDRA, a provider of automated software verification, will enable Orion developers to achieve the stringent safety-critical standards required to ensure safe transfer of astronauts.

04/24/2008


Monks Ferry, Wirral, UK Lockheed Martin Corporation (LMCO) has selected the LDRA tool suite to enable developers on the Orion Crew Exploration Vehicle (CEV) program to achieve its software development goals. Aimed at safely transferring astronauts to and from the International Space Station (ISS), the Moon, Mars and other destinations beyond low earth orbit (LEO), the Orion CEV is a state-of-the-art human space flight system. LDRA, a provider of automated software verification, will enable Orion developers to achieve the stringent safety-critical standards required to ensure safe transfer of the astronauts.
NASA has awarded Lockheed and its subcontractors a multimillion-dollar contract for Orion’s development. Orion CEV will replace the space shuttle scheduled to be retired in 2010. Its first manned mission is targeted for 2014.
LDRA Testbed, the process management tool at the core of the LDRA tool suite, forms the foundation of automated software verification. LDRA Testbed performs the code, quality and design reviews on the source code. It conducts test verification for code coverage, including statement, branch/decision, test path (LCSAJ), procedure/function call metrics and provides access to the Test Manager.
TBrun, an automated unit testing tool includes a GUI interface that automates the production of test data vectors with test harness and stub generation completing automatically. By using the Object-box Mode, developers can create test cases for structural coverage of high-level source code and apply these exact same test cases to the corresponding object code. By being able to quickly identify violations, the company says, developers can improve the quality of code, reduce the errors found during formal testing, and help ensure on-time delivery within budget.

— Edited by C.G. Masi , senior editor
Control Engineering Machine Control eNewsletter
Register here and scroll down to select your choice of eNewsletters free .





No comments
The Top Plant program honors outstanding manufacturing facilities in North America. View the 2015 Top Plant.
The Product of the Year program recognizes products newly released in the manufacturing industries.
The Engineering Leaders Under 40 program identifies and gives recognition to young engineers who...
2016 Engineering Leaders Under 40; Future vision: Where is manufacturing headed?; Electrical distribution, redefined
Strategic outsourcing delivers efficiency; Sleeve bearing clearance; Causes of water hammer; Improve air quality; Maintenance safety; GAMS preview
World-class maintenance: The three keys to success - Deploy people, process and technology; 2016 Lubrication Guide; Why hydraulic systems get hot
Flexible offshore fire protection; Big Data's impact on operations; Bridging the skills gap; Identifying security risks
The digital oilfield: Utilizing Big Data can yield big savings; Virtualization a real solution; Tracking SIS performance
Getting to the bottom of subsea repairs: Older pipelines need more attention, and operators need a repair strategy; OTC preview; Offshore production difficult - and crucial
Applying network redundancy; Overcoming loop tuning challenges; PID control and networks
Driving motor efficiency; Preventing arc flash in mission critical facilities; Integrating alternative power and existing electrical systems
Package boilers; Natural gas infrared heating; Thermal treasure; Standby generation; Natural gas supports green efforts

Annual Salary Survey

Before the calendar turned, 2016 already had the makings of a pivotal year for manufacturing, and for the world.

There were the big events for the year, including the United States as Partner Country at Hannover Messe in April and the 2016 International Manufacturing Technology Show in Chicago in September. There's also the matter of the U.S. presidential elections in November, which promise to shape policy in manufacturing for years to come.

But the year started with global economic turmoil, as a slowdown in Chinese manufacturing triggered a worldwide stock hiccup that sent values plummeting. The continued plunge in world oil prices has resulted in a slowdown in exploration and, by extension, the manufacture of exploration equipment.

Read more: 2015 Salary Survey

Maintenance and reliability tips and best practices from the maintenance and reliability coaches at Allied Reliability Group.
The One Voice for Manufacturing blog reports on federal public policy issues impacting the manufacturing sector. One Voice is a joint effort by the National Tooling and Machining...
The Society for Maintenance and Reliability Professionals an organization devoted...
Join this ongoing discussion of machine guarding topics, including solutions assessments, regulatory compliance, gap analysis...
IMS Research, recently acquired by IHS Inc., is a leading independent supplier of market research and consultancy to the global electronics industry.
Maintenance is not optional in manufacturing. It’s a profit center, driving productivity and uptime while reducing overall repair costs.
The Lachance on CMMS blog is about current maintenance topics. Blogger Paul Lachance is president and chief technology officer for Smartware Group.
This article collection contains several articles on the vital role that compressed air plays in manufacturing plants.
This article collection contains several articles on the Industrial Internet of Things (IIoT) and how it is transforming manufacturing.
This article collection contains several articles on strategic maintenance and understanding all the parts of your plant.
click me