Investigating time properties of interrupt-driven programs

DOI10.1007/978-3-642-33296-8_11zbMATH Open1372.68063OpenAlexW2115381751MaRDI QIDQ5200480FDOQ5200480

Jianqi Shi, Yongxin Zhao, Shengchao Qin, Yan-Hong Huang, Huibiao Zhu

Publication date: 6 November 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-33296-8_11

Recommendations

• Reactive designs of interrupts in Circus Time
• A typed interrupt calculus
• scientific article
• Analyzing Real-Time Event-Driven Programs
• scientific article; zbMATH DE number 2090843

zbMATH Keywords

timeoperational semanticsinterrupt

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cited In (3)

• A program-controlled program interruption system
• Stack size analysis for interrupt-driven programs
• Title not available (Why is that?)

This page was built for publication: Investigating time properties of interrupt-driven programs

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