Predictability by Construction

Software components have certified properties and the behavior of systems assembled from components is predictable. We predict the behavior of a component-based system prior to implementation, based on known properties of components.

Overview

Getting Started

Research

Tools & Methods

Consulting

Case Studies

Our People

PACC Starter Kit

The PACC Starter Kit (PSK) is an integrated set of software development tools that demonstrates how existing technologies can be integrated to provide objective confidence in predictions of system behavior. The PSK includes the following features.

Constructive Features	Analytic Features
Design language (UML statecharts + component wiring) Code generation Execution environment Pin component technology RTOS real-time extensions Measurement tools Performance Memory use	Performance analysis Worst-case latency Average-case latency Sporadic-server latency Behavior analysis Based on software model checking Proof generation on success Security analysis Buffer overflow detection in C code Memory consumption analysis

Additional Resources

Performance analyses in the PSK depend on accurate measurements of execution time. The PSK comes with pre-defined measures, which are certainly not accurate for all installations of the PSK. This guide describes how to generate accurate measures for your installation of the PSK.