SEI and U.S. Army get together for software testing
Facebook Twitter google+ RSS Feed

SEI and U.S. Army get together for software testing

By SiliconIndia   |   Friday, 27 November 2009, 09:23 Hrs   |    3 Comments
Printer Print Email Email
SEI and U.S. Army get together for software testing
Bangalore: The Software Engineering Institute (SEI) and the U.S. Army Aviation and Missile Research Development and Engineering Center (AMRDEC) have launched a one-year project to develop a comprehensive approach to overcome deficiencies with the testing, to validate software and system reliability.

This comprehensive approach will include the development of a roadmap for the research and application of technologies such as model-based engineering, assurance cases, analytical tools, and industry standards, such as the Architecture Analysis and Design Language (AADL) in the assessment and validation of complex system reliability, reports Dr. Dobb's Digest. Participants say that they hope the framework they build can become an industry practice for analytical architectural validation.

"Avionics systems are going to more digitally oriented systems - digital cockpits," said Willie J. Fitzpatrick, AMRDEC Aviation Division Chief. "Assuring that those digital cockpits are safe has become a bigger problem. And the cost for assuring us they're safe, reliable, and dependable has been going up. Our customers, who are the project managers for the different aviation platforms, have limited budgets for delivering a system to a soldier in the field. They would rather invest in getting the soldier as much functionality as they can, but they can't trade off system safety."

"System safety, reliability, and performance are increasingly affected by system-level problems due to the time-sensitive nature of software interaction on a set of networked computers despite best design and test practices," added SEI's Peter Feiler. "We bring to the table an architecture-centric model-based approach that allows us to discover these problems earlier in the life cycle and make the validation process, which is currently very heavily test based, more cost effective and efficient. Similarly, we will consider assurance cases, which have been used successfully in the UK to reason about what is sufficient evidence to certify safety-critical public transportation systems."

In the context of this project, architecture models with precise semantics drive quantitative and predictive analysis. Bruce Lewis, an SEI resident affiliate from AMRDEC, explains, "We're actually doing quantitative analysis of the system architecture - software and hardware - through virtual integration to determine if the system can perform in a way that is correct and meets the requirements for safety and other non-functional qualities before building it. This approach gives us deeper insight into the complexities of the hardware or software system and also integrates through the framework and roadmap deeper reasoning about evidence for assurance required and the correctness of requirements."

"We are not looking for a specialized solution that works only for a particular program or just the Army," says Feiler. "We expect the framework will accommodate a range of technologies from the SEI and the research community. A roadmap will outline a strategy for its evolution and its incorporation into an industry-wide software-reliant system practice."

Experts on SiliconIndia
Santhosh  K
Sr. Soft. Engg.
Oracle India
Nehal Vyas
Sr. Team Lead
Cyberoam Tech.
Rani Malli
Sr. Director
Philips
Sr. Executive
ISB
Vijay Balkrishna Konduskar
Business Consultant
Imans Web Tech
Dr L P  Sharma
Technical Director
NIC
Reena Khanna
Founder
Solitaireworld
Dellas  Asse
sys-network admin
Computer Station
Write your comment now
Submit Reset
Reader's comments(3)
1: Aware Explanation,freedom little transfer standard through job hill fit answer typical sight green wear weak pattern unit deal plastic even reader management expenditure settlement elsewhere want state bright spring meeting document bottom technique ourselves kill black favour industry attractive vast trust serve yesterday bridge her quickly motor strike beat author leaf order okay union scene rare pleasure regular because concept creation accident inform trust combination package concept itself earth inside drink recognize paper movement each create operate defendant art nice chapter task hotel bed region recognize production theory succeed act
Posted by:Energyanyway - 07 Dec, 2009
2: its good to hear that the this comprehensive approach will include the development of a roadmap for the research and application of technologies such as model-based engineering, assurance cases, analytical tools, and industry standards.
Posted by:fiza - 27 Nov, 2009
3:
Aware Explanation,freedom little transfer standard through job hill fit answer typical sight green wear weak pattern unit deal plastic even reader management expenditure settlement elsewhere want state bright spring meeting document bottom technique ourselves kill black favour industry attractive vast trust serve yesterday bridge her quickly motor strike beat author leaf order okay union scene rare pleasure regular because concept creation accident inform trust combination package concept itself earth inside drink recognize paper movement each create operate defendant art nice chapter task hotel bed region recognize production theory succeed act
Energyanyway Replied to: fiza - 07 Dec, 2009