AFOSR: New Reliable Software Model Expected to Reduce Time and Cost for DoD

  • Published
  • By Maria Callier (Quantech)
  • AFOSR Public Affairs
Air Force Office of Scientific Research funded researchers at Kansas State University have developed a new model that could potentially reduce software development time and costs while improving aircraft mission control systems.

The model is called Cadena and the work is being done at KSU's Laboratory for Specification, Analysis, and Transformation of Software, also known as SAnToS.

"SAnToS aims to invent tools that help people construct and develop, in a systematic and rapid way, software that is reliable and conforms to its specification," said Dr. Torben Amtoft, research team member. "Our research in this project involves the combination of two important themes: the use of software models to drive development of component-based systems, and light-weight domain-specific specification and verification technology.

"Highly reliable, distributed, real-time and embedded computer systems are needed to support the operational platforms required for achieving DoD objectives of network-centric collaboration and information supremacy," Dr. Amtoft said. Dr. Amtoft said he expects the Cadena model "to be added to DoD's expansive 'systems of systems' that integrate hundreds of existent and to-be-developed systems. The model is based on software product lines, a development process in which the software is based on a collection of similar products that is rapidly built from common refurbished components."

By emphasizing use of reusable components, the Cadena model reduces development, production time, and overall costs. It also helps ensure that design and integration errors are caught early in the development process.

"In May 2005, defense industry engineers used the SAnToS Cadena model to develop the avionics environment used with the software flown on the Scan Eagle Unmanned Air Vehicle platform at White Sands Missile Range, N.M.," said Dr. Amtoft.

"Cadena software was used in that (Scan Eagle) platform because engineers were able to rapidly put it together from reusable components that had a high degree of automation and greater capability with respect to providing streaming video to the command site," said Dr. John Hatcliff, lead investigator at SAnToS Laboratory. By using the software, a higher degree of automation was achieved because it provided streaming video to the command site.

"In the current project, Cadena will gain extended capabilities for specifying and evaluating software product lines and for checking component contracts and secure information flow," said Dr. Amtoft.

Cadena's success has attracted the attention of major private-sector research companies, one of which that is now working with and providing additional support to the Cadena research team.

AFOSR accomplishes its mission by investing in basic research efforts for the Air Force in relevant scientific areas such as with the SAnToS lab research team. Central to AFOSR's strategy is the transfer of the fruits of basic research to industry, the supplier of Air Force acquisitions; to the academic community which can lead the way to still more accomplishment; and to the other directorates of AFRL that carry the responsibility for applied and development research leading to acquisition.