USA flag logo/image

An Official Website of the United States Government

Multiple Independent Levels of Security/Safety Tools and Processes

Award Information

Department of Defense
Air Force
Award ID:
Program Year/Program:
2007 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
WW Technology Group
4519 Mustering Drum Ellicott City, MD 21042-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2007
Title: Multiple Independent Levels of Security/Safety Tools and Processes
Agency / Branch: DOD / USAF
Contract: FA8650-07-M-4521
Award Amount: $100,000.00


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.

Principal Investigator:

Chris Walter
Principal Investigator

Business Contact:

Chris Walter
Small Business Information at Submission:

4519 Mustering Drum Ellicott City, MD 21042

EIN/Tax ID: 522215285
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No