icon-carat-right menu search cmu-wordmark

Predictability by Construction

Brochure
By
This brochure summarizes our area of work about Predictability by Construction: building high-stakes systems from certified software components.
Publisher

Software Engineering Institute

Abstract

This brochure introduces a new research initiative at the Software Engineering Institute: Predictable Assembly from Certifiable Components (PACC).

The PACC vision takes architectural predictability to the extreme ranges of rigor and objective confidence and incorporates architecture design directly into the basic units of software construction.