Rigorously defined clean-room method and process are needed to transform a proprietary-laden dirty system into a provably correct proprietary-free clean system--one convincingly devoid of reliance on proprietary information, copyrighted material or trade secrets and not considered a derived work; one with methods of investigating legitimacy, confirming intent and wherewithal of people, verifying process execution and validating outcomes in determining that a legitimate clean room was in operation--nd one with an outcome based on trusted software engineering principles and practices in producing provably correct software components.
The kernel of clean-room software-engineering assurance is trusted software engineering using structured programming with its rigorous and provably correct use of zero-and-one predicate prime programs along with proper programs composed of multiple prime programs limited to single entry and single exit.
Expert knowledge, whether applied by human or machine, works in situations that do not admit optimal or provably correct
In this project, our goal is to reduce this gap by attacking the problem in an integrated way making connections between LRA variants, and by using four very different but complementary perspectives: (1) computational complexity issues, (2) provably correct
algorithms, (3) heuristics for difficult instances, and (4) application-oriented aspects.
Design levels 1 and 2 supported the systems engineering preliminary design review (PDR), with intended functions of components, interface specifications, and software architecture rules of construction; design levels 3 and 4 comprised the basis for the software engineering critical design review (CDR) with provably correct
, stepwise refined elaborations of functionality.