The SEI seeks collaborative research with organizations applying predictive modeling techniques to operational quality attributes such as performance, security, reliability, and safety criticality in real-time and embedded systems. The techniques are part of a model-based approach to software engineering and include the use of models for predicting system behavior and improving system performance before code is written.
We aim to provide an integrated set of methods and practices for developing justified confidence in the acceptability of system-of-systems behavior under all field and usage conditions. Our focus is large-scale, multi-user, adaptive information management and command and control (C2) systems of systems. Our research areas include the following:
One of the methods we are exploiting in our research into system-of-systems software assurance is the assurance case. We seek collaborators in our work to develop the use of this method to form sound conclusions about system-of-systems safety, security, and reliability.
The SEI seeks partners to pilot approaches for discovering why system-level failures still occur despite the use of fault tolerance techniques and fault containment strategies. The SEI has identified system-wide design rules that must be satisfied to limit propagation of seemingly minor faults throughout a system. The SEI has also developed a formalized analysis framework for system fault containment and stability management.
The SEI is developing engineering-based solutions to make efficient use of advanced processor hardware architectures without sacrificing predictable execution times. The SEI model-based engineering team is seeking organizations to pilot approaches to reducing worst-case execution time and avoiding execution time variation due to cache/pipeline.