Collaboration Opportunities in Predictable Assembly from Certifiable Components (PACC)
SEI collaborations are research engagements in technology development. The SEI is currently seeking partnerships with organizations that want to invest in solutions to predictable assemble problems in the following areas
- Developing or Validating Automated Methods for Predicting Software Quality
- Developing PECTs
- Developing High-Integrity Trust Mechanisms for Software Components
- Developing Proofs of Feasibility of Predictable Assembly
Developing or Validating Automated Methods
for Predicting Software Quality
Although the SEI develops novel
theories for software quality, its preferred approach is to adapt (that is,
restrict) existing theories to new settings and, in this way, leverage domain
knowledge to achieve greater automation. The SEI is interested in collaboration
on combining runtime verification (including binary sandboxing) with static
program analysis and verification (including certifying model checking) to
obtain certifiable trust that software components satisfy safety, security, and
resource-consumption policies.
Developing PECTs
A prediction-enabled
component technology (PECT) is a software manufacturing infrastructure for
enforcing quality standards that lead to predictable software systems. The SEI
is interested in developing and documenting practical techniques for
incrementally building and deploying PECTs.
Developing High-Integrity Trust Mechanisms
for Software Components
How can software components be specified,
packaged, and distributed in a way that yields an objective basis for trust?
The SEI is investigating technologies such as certifying model checking and
practical variations of proof-carrying code and seeks research collaborations
to develop and demonstrate these and related technologies.
Developing Proofs of Feasibility of Predictable
Assembly
Predictable assembly seeks to achieve predictable software
quality by construction. Achieving this goal will require significant
investment in tool infrastructure. The SEI is interested in working with
collaborators to develop and demonstrate a staged rollout of PECT.