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.