Multi-rate system design through integrating synchronous components

DOI10.1007/978-3-319-25150-9_27MaRDI QIDQ2787443zbMATH OpenOpenAlexFDO

Authors Ke Sun

Publication date 25 February 2016

Published in Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25150-9_27

zbMATH Keywords

affine relationcomponent-based designsymbolic schedulesynchronous programming

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Multi-task implementation of multi-periodic synchronous programs
• A compositional semantic theory for synchronous component-based design.
• Static analysis of real-time component-based systems configurations
• scientific article; zbMATH DE number 2080750
• Schedule verification and synthesis for embedded real-time components

Cited in

(1)

• Multi-task implementation of multi-periodic synchronous programs

This page was built for publication: Multi-rate system design through integrating synchronous components

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2787443)