Engineering automation for reliable software - Interim Progress Report (10/01/1999 - 09/30/2000)
MetadataShow full item record
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 designer's specification. The proposed "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.
NPS Report NumberNPS-SW-00-002
Showing items related by title, author, creator and subject.
Nagashima, M.; Agrawal, B.N. (2012);For a large Adaptive Optics (AO) system such as a large Segmented Mirror Telescope (SMT), it is often difficult, although not impossible, to directly apply common Multi-Input Multi-Output (MIMO) controller design methods ...
Bang, H.; Agrawal, B.N. (1993);A closed loop switching function for single-axis slew maneuvers of spacecraft using on-off thrusters is investigated by analytical simulations and experimental demonstrations. The proposed switching function provides ...
Bang, H.; Agrawal, B.N. (1995);In this paper, a closed-loop switching function for on-off thruster firings is proposed to provide good attitude control performance in the presence of modeling errors for single-axis slew maneuver of a rigid spacecraft ...