Multiple Independent Levels of Security/Safety Tools and Processes

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.