Modeling and analysis of nested interrupt systems

DOI10.13328/J.CNKI.JOS.005472MaRDI QIDQ4624677zbMATH OpenFDO

Authors Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang

Publication date 22 February 2019

zbMATH Keywords

verificationformal modelingprojection temporal logicnested interrupt systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• Reactive designs of interrupts in Circus Time
• Reliability of interrupt services for embedded systems
• Unifying theories of interrupts
• scientific article; zbMATH DE number 4033053
• Investigating time properties of interrupt-driven programs

Cited in

(5)

• Asynchronous Exceptions as an Effect
• Reactive designs of interrupts in Circus Time
• Testing interruptions in reactive systems
• Unified temporal logic
• Real-time interrupt handling in Ada

This page was built for publication: Modeling and analysis of nested interrupt systems

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