Contracts for Schedulability Analysis

DOI10.1007/978-3-319-22975-1_18zbMath1465.90032OpenAlexW2201133670MaRDI QIDQ2945603

Ingo Stierand, Werner Damm, Philipp Reinkemeier, Albert Benveniste

Publication date: 14 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01182407/file/FORMATS_2015_camera_ready_14.pdf

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35)

Cites Work

• Multiple Viewpoint Contract-Based Specification and Design
• Automata Based Interfaces for Control and Scheduling
• Virtual Integration of Real-Time Systems Based on Resource Segregation Abstraction

This page was built for publication: Contracts for Schedulability Analysis