Multiple Independent Levels of Security/Safety Tools and Processes

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8650-07-M-4521
Agency Tracking Number: F071-060-1784
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2007
Solicitation Year: 2007
Solicitation Topic Code: AF071-060
Solicitation Number: 2007.1
Small Business Information
4519 Mustering Drum, Ellicott City, MD, 21042
DUNS: 868155110
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Chris Walter
 Principal Investigator
 (410) 418-4353
Business Contact
 Chris Walter
Title: President
Phone: (410) 418-4353
Research Institution
The innovations offered by the WWTG are grounded in our novel work in developing a model-based approach that integrates views and tools for certifying MILS-based systems. Specific advancements are realized through representations of diverse, yet coordinated, behaviors affecting MILS policies and certification as executable models to produce high fidelity, repeatable and readily communicated artifacts. A common modeling hub is used to supports the integration of heterogeneous simulation and modeling technologies through a tool bus technology. The tool offers the potential to integrate methodologies that heretofore were disparate and performed by expert teams (i.e. security, safety, fault tolerance) into a common toolsuite accessible by many stakeholders. Information related to the system description, design and certification follows the system throughout the life-cycle and can be used early in to flag violations/deficiencies and/or used in the optimization of key system operating and design parameters. The combination of policies for MILS separation kernels analyzed with a proven, multi-formalism modeling tool offers a unique opportunity to improve upon the state of the art in the certification of MILS architectures. This will advance the state of the art beyond devising formal processes and practices but will enable application of these concepts to specific implementations.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government