Investigating time properties of interrupt-driven programs

DOI10.1007/978-3-642-33296-8_11MaRDI QIDQ5200480zbMATH OpenOpenAlexFDO

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

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

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)

Recommendations

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

Cited in

(6)

• A program-controlled program interruption system
• Stack size analysis for interrupt-driven programs
• Modeling and analysis of nested interrupt systems
• A typed interrupt calculus
• Reactive designs of interrupts in Circus Time
• scientific article; zbMATH DE number 2090843 (Why is no real title available?)

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)