Guaranteed Information Assurance in Netcentric-Compliant Information Systems

This project will develop a new class of design environments that support (1) the development of models of a system and (2) the enforcement crosscutting information assurance and safety constraints at the model level. These early-stage design models can then be translated to code by some combination of manual effort and automated code generators. The net result is system code that comes with certification of its safety properties. This project will develop a Model Development Environment, called MDE, for designing complex net-centric systems with guaranteed safety properties and information assurance. MDE will support the development of modular system models that capture basic system functionality, together with modular specification of crosscutting constraints on safety and information assurance. Automated tools enforce and check crosscutting constraints in the models. MDE will support the rapid and low-cost production of high assurance distributed system code. MDE will be built as a plug in to an open platform (Eclipse) and be interoperable with UML.