Integrating schedulability analysis and design techniques in SDL

DOI10.1023/A:1022804400802zbMath1020.68013OpenAlexW1534752159MaRDI QIDQ1870173

Yanyan Li

Publication date: 11 May 2003

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022804400802

zbMATH Keywords

software engineeringschedulability analysisformal description techniquesSDLreal time system design

Mathematics Subject Classification ID

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

Related Items (1)

Formal verification of multitasking applications based on timed automata model

This page was built for publication: Integrating schedulability analysis and design techniques in SDL