Software Engineering Institute

Assuring evolving large-scale systems (i.e., systems with multiple subsystems) can be a bottleneck in deploying capabilities with the speed and confidence needed for current Department of Defense (DoD) missions. There is no easy way to automatically integrate the complex web of interacting assurance techniques (i.e., for control stability, timing, security, logical correctness, and more) from multiple interacting subsystems in a system. In addition, without awareness of assurance interdependencies and effective reuse of prior assurance, the cost and time required for re-assurance can skyrocket.