Component-Based Construction of Real-Time Systems in BIP
Abstract elided by the publisher.
Related papers
- IF-2.0: A Validation Environment for Component-Based Real-Time Systems CAV 2002
- RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems TACAS 2016
- Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations GPCE 2009
- Adaptor Synthesis for Real-Time Components TACAS 2007
- A component-based run-time evolution infrastructure for resource-constrained embedded systems GPCE 2010
- A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology TOPLAS 1998
- Foundational Verification of Running-Time Bounds for Interactive Programs CPP 2026
- Hybrid Java compilation and optimization for digital TV software platform CGO 2010