IF-2.0: A Validation Environment for Component-Based Real-Time Systems
No abstract available.
Related papers
- A real world object modeling method for creating simulation environment of real-time systems OOPSLA 2000
- RT-trust: automated refactoring for trusted execution under real-time constraints GPCE 2018
- IF: A Validation Environment for Timed Asynchronous Systems CAV 2000
- PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report GPCE 2020
- Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems TACAS 2002
- Component-Based Construction of Real-Time Systems in BIP CAV 2009
- Hybrid Java compilation and optimization for digital TV software platform CGO 2010
- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems TACAS 2016