The 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
- Design language (UML statecharts + component wiring)
- Code generation
- Execution environment
-
- Pin component technology
- RTOS real-time extensions
-
- Measurement tools
-
- Performance
- Memory use
-
Analytic features
- 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.