Engineering Automation for Reliable Software
Interim progress rept. 1 Oct 2000-30 Sep 2001
NAVAL POSTGRADUATE SCHOOL MONTEREY CA SOFTWARE ENGINEERING AUTOMATION CENTER
Pagination or Media Count:
The objective of our effort is to develop a scientific basis for producing reliable software that is also flexible and cost effective for the DoD distributed software domain. This objective addresses the long term goals of increasing the quality of service provided by complex systems while reducing development risks, costs, and time. Our work focuses on wrap and glue technology based on a domain specific distributed prototype model. The key to making the proposed approach reliable, flexible, and cost-effective is the automatic generation of glue and wrappers based on a designers specification. The wrap and glue approach allows system designers to concentrate on the difficult interoperability problems and defines solutions in terms of deeper and more difficult interoperability issues, while freeing designers from implementation details. Specific research areas for the proposed effort include technology enabling rapid prototyping, inference for design checking, automatic program generation, distributed real-time scheduling, wrapper and glue technology, and reliability assessment and improvement. The proposed technology will be integrated with past research results to enable a quantum leap forward in the state of the art for rapid prototyping.
- Computer Programming and Software
- Manufacturing and Industrial Engineering and Control of Production Systems