Reusable Software Libraries

Our goal is not to generate prototype software, but instead to generate production quality software as part of the requirements documentation phase. This raises numerous problems that we feel are not being sufficiently addressed, or sufficiently answered. What is the definition of production quality real-time software? What level of prior domain knowledge must be available to automate code generation? If software is being reused from a library, can it be trusted? Can previously accepted software be used in a different way such as using different generic parameters without invalidating this acceptance? How can technology be transferred between BCAG and their suppliers in a way that leverages off the available expertise and exhibits improved efficiency? Is it possible to obtain service credit on previous automated tool use? The draft DO-178B document addresses many of these issues.