Schedule Verification and Synthesis for Embedded Real-Time Components

DOI10.1007/978-1-4020-6254-4_11zbMath1189.93090OpenAlexW183077660MaRDI QIDQ3564026

Purandar Bhaduri

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_11

zbMATH Keywords

real-time schedulingtimed gamescomponent-based embedded real-time systemsschedule synthesistimed interfaces

Mathematics Subject Classification ID

Application models in control theory (93C95) Automated systems (robots, etc.) in control theory (93C85) Time-scale analysis and singular perturbations in control/observation systems (93C70) Synthesis problems (93B50)

This page was built for publication: Schedule Verification and Synthesis for Embedded Real-Time Components