Investigating time properties of interrupt-driven programs

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

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

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

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 (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
• 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)