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 a design language for describing components and
their assemblies, a code generator, and a real-time execution
environment. It also includes a collection of reasoning frameworks
for predicting performance, behavior, memory, and security
properties of systems built with the PSK. This is a Windows release.
The PSK is distributed as PKZIP, which includes a README.txt file.
Please read this file for installation requirements, instructions, and
known issues. Also note that latest versions of the required components
may not support the PSK, so we recommend users install the versions
included with the PSK installer.
The URL for the PACC Starter Kit download will be emailed to the
address you provide. Your email will not be shared with third
parties and will only be used for statistical purposes, to send the
download URL, and (as selected) to provide tool update information.