A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Creating custom containers with generative techniques
Proceedings of the 5th international conference on Generative programming and component engineering
The ComFoRT reasoning framework
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Systematic Development of Trustworthy Component Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
California speedway: a concurrent programming project for beginners
Proceedings of the 49th Annual Southeast Regional Conference
| Hi-index | 0.00 |
The PACC Starter Kit is an Eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.