Guaranteed Information Assurance in Netcentric-Compliant Information Systems Navy SBIR FY2005.1 Sol No.: Navy SBIR FY2005.1 Topic No.: N05-066 Topic Title: Guaranteed Information Assurance in Netcentric-Compliant Information Systems Proposal No.: N051-066-1253 Firm: Kestrel Technology LLC 3260 Hillview Ave. Palo Alto, California 94304 Contact: Douglas Smith Phone: (650) 320-8888 Web Site: www.kestreltechnology.com Abstract: 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. Benefits: MDE will provide support for the early stages of system design with emphasis on enforcement of safety properties and information assurance. The benefits to building in safety and information assurance prior to development of application code includes (1) reduced development cost, (2) reduced cost of certification, (3) reduced cost of maintenance and evolution. By combining standard UML modeling with automated enforcement of safety and information assurance, MDE will bring measurable value: reducing the risk of complex software projects, improving their timeliness, cost, and the quality of software system development. The proposed UML interface will find ready acceptance in organizations' current practices. As a plug-in, MDE will enhance the business prospects for vendors that publish UML IDEs, offering potentially large and quickly reachable distribution channels to Kestrel Technology. All parties benefit, the sign of a very promising commercial offering. Return