Toward parametric timed interfaces for real-time components

MaRDI QIDQ4994965zbMATH OpenFDO

Authors Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg

Publication date 22 June 2021

Full work available at URL https://arxiv.org/abs/1404.0088, http://eptcs.web.cse.unsw.edu.au/paper.cgi?SynCoP2014.6

zbMATH Keywords

parametric schedulability analysisparametric timed automatareal-time scheduling

Mathematics Subject Classification ID

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

Recommendations

• Parametric timing analysis for real-time systems
• Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
• scientific article; zbMATH DE number 2017345
• scientific article; zbMATH DE number 1832228
• Schedule verification and synthesis for embedded real-time components

Cited in

(12)

• Static analysis of real-time component-based systems configurations
• Compositional multiprocessor scheduling: the GMPR interface
• A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling
• scientific article; zbMATH DE number 2080761 (Why is no real title available?)
• scientific article; zbMATH DE number 1497768 (Why is no real title available?)
• scientific article; zbMATH DE number 1832228 (Why is no real title available?)
• Parameter synthesis for hierarchical concurrent real-time systems
• Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
• Theoretical Aspects of Computing – ICTAC 2005
• scientific article; zbMATH DE number 5181788 (Why is no real title available?)
• Distributed parametric model checking timed automata under non-zenoness assumption
• Parametric timing analysis for real-time systems

This page was built for publication: Toward parametric timed interfaces for real-time components

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