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.
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 .
Case Study Database
Get more exposure for your case study by uploading it to the Plant Engineering case study database, where end-users can identify relevant solutions and explore what the experts are doing to effectively implement a variety of technology and productivity related projects.
These case studies provide examples of how knowledgeable solution providers have used technology, processes and people to create effective and successful implementations in real-world situations. Case studies can be completed by filling out a simple online form where you can outline the project title, abstract, and full story in 1500 words or less; upload photos, videos and a logo.
Click here to visit the Case Study Database and upload your case study.
Annual Salary Survey
In a year when manufacturing continued to lead the economic rebound, it makes sense that plant manager bonuses rebounded. Plant Engineering’s annual Salary Survey shows both wages and bonuses rose in 2012 after a retreat the year before.
Average salary across all job titles for plant floor management rose 3.5% to $95,446, and bonus compensation jumped to $15,162, a 4.2% increase from the 2010 level and double the 2011 total, which showed a sharp drop in bonus.