Product Line Systems Program

Predictable Assembly from
Certifiable Code

	PACC Technologies
	Collaborations
	Downloads
	Publications
	Glossary
	Workshops and Conferences

Software Product Lines

Software Architecture

The PACC Starter Kit V2.0 Download Request

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 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 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.

Request Form

Name

Last name

First name

(required)

Would you like to receive email about new releases and related tools (low traffic)?
Yes No

Organization

Comments

Terms of Use

and please submit my request.

Press to clear the form and start over.