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


Download the PACC Starter Kit

View PSK Flyer

Find Us Here

Find us on Youtube  Find us on LinkedIn  Find us on twitter  Find us on Facebook

Share This Page

Share on Facebook  Send to your Twitter page  Save to  Save to LinkedIn  Digg this  Stumble this page.  Add to Technorati favorites  Save this page on your Google Home Page 

For more information

Contact Us


Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.