This project will develop and deploy a comprehensive force protection vulnerability analysis process that accommodates diverse and large geographic areas, public events, infrastructure interdependencies, attacker goals, means, and methods, and defender priorities. This process will be based on the… More

This Small Business Innovation Research (SBIR) Phase I project will accomplish the preliminary analysis required to assess feasibility, define requirements, and determine additional research required in order to apply novel modeling techniques, previously demonstrated to deliver significant… More

Many technical challenges will need to be surmounted to create practical cybercraft: assurance, control, rules of engagement, representation and discovery of the target environment, among others. However a serious challenge lurks behind all of these: scaling solutions to fleets of up to a million… More

Current base and force protection vulnerability assessments tools are limited in their ability to a) prioritize prevention, detection, and mitigation options based on adversary intent and defense objectives, b) share results between different sites and support new (rapid) force protection training… More

This SBIR project will achieve trusted, reconfigurable, intelligent autonomy through system-level validation. The goal is to design and develop a representation and reasoning system for system-level verification and validation (V&V) of high-level autonomous control for complex systems operating in… More

Without strong temporal and spatial separation guarantees provided by the underlying system, integrated mixed critical applications require verification and validation of all their hosted applications at the highest level of criticality. Since the early 1990s, time and space partitioning in… More

Adventium has created a trust-driven engineering solution that will enable assured deployment and control of million-plus scalable lightweight cybercraft to help maintain US freedom of action, and deny freedom of action to our adversaries. Our constraint-based approach reduces uncertainty by… More

Today, multi-domain information sharing relies on relatively static, single domain networks connected by highly assured guards, or cross domain solutions (CDS), that are trusted to move information securely between domains. To provide mobility, however, future net-centric operations require a… More

This SBIR addresses the problem that current V&V technology provides component guarantees, but does not do well on system properties. Human acceptance of autonomy hinges on trusting system-level behavior. The goal is to develop technology to verify system properties for high-level autonomous… More

Without strong temporal and spatial separation guarantees provided by the underlying system, integrated mixed critical applications require verification and validation of all their hosted applications at the highest level of criticality. Since the early 1990s, time and space partitioning in… More

This Small Business Innovation Research Phase I research project will build on previous work in compositional Verification and Validation (V&V) for autonomous vehicles to demonstrate a new capability for establishing safety and reliability arguments satisfying both regulatory and certification… More

Today multi-domain information sharing (MDIS) relies on single domain networks connected by highly assured, dedicated guards that implement a cross domain solution (CDS) that is trusted to move information securely between those domains. Work on Phase I of the Xenon-Based, Host Resident, Assured… More

Weighted mission-centric correlation of network resources identified by automated mission course-of-action generation, supported by automated identification and mapping of underlying dynamic networks, can map administrative, business, and war fighting needs to key information assets and their… More

This Phase 1 SBIR project will establish the technical and commercial benefits of using previous task executions to augment model-based route planning for military applications. On this project, we will integrate a prototype route planner using ''Implicit Semantic Knowledge'' (ISK) derived from… More

DESCRIPTION (provided by applicant): Adventium Enterprises and the University of Minnesota (UMN) propose to develop a participatory educational toolkit and curriculum to teach neuroscience and mental health concepts via exploratory and investigative learning that integrates nervous system function… More

Analyzing problems with complex spatio-temporal relationships and strong network components such as disease progression, social network analysis, and population sentiment is a difficult challenge. Although the data for this type of analysis is available, it comes from disparate sources that provide… More

Intrusion detection and prevention systems capable of defending production systems depend on a monitoring kernel capable of providing complete, accurate, real-time data regarding the execution state of the system. Existing solutions lack the adaptability, scalability or low observability necessary… More

The objective of the Ground Guidance ISK Integration (G2I2) project is to create a military route planning tool with revolutionary new capabilities. Integrating previous, DARPA-funded research on Implicit Semantic Knowledge (ISK) with an advanced, knowledge-based route planner called Ground… More

Analyzing problems with complex spatio-temporal relationships and strong network components such as disease progression, social network analysis, and population sentiment is a difficult challenge. Although the data for this type of analysis is available, it comes from disparate sources that provide… More