Transformation as a Design Process and Runtime Architecture for High Integrity211 Software

摘要

We have discussed two aspects of creating high integrity software that greatly211u001ebenefit from the availability of transformation technology, which in this case is 211u001emanifest by the requirement for a sophisticated backtracking parser. First, 211u001ebecause of the potential for correctly manipulating programs via small changes, 211u001ean automated non-procedural transformation system can be a valuable tool for 211u001econstructing high assurance software. Second, modeling the processing of 211u001etranslating data into information as a, perhaps, context-dependent grammar leads 211u001eto an efficient, compact implementation. From a practical perspective, the 211u001etransformation process should begin in the domain language in which a problem is 211u001einitially expressed. Thus in order for a transformation system to be practical it 211u001emust be flexible with respect to domain-specific languages. We have argued that 211u001etransformation applied to specification results in a highly reliable system. We 211u001ealso attempted to briefly demonstrate that transformation technology applied to 211u001ethe runtime environment will result in a safe and secure system. We thus believe 211u001ethat the sophisticated multi-lookahead backtracking parsing technology is central 211u001eto the task of being in a position to demonstrate the existence of HIS.