Development of safety-critical real-time systems

DOI10.1007/3-540-60609-2_11MaRDI QIDQ6573928zbMATH OpenFDO

Authors Hans Rischel, Jorge Cuellar, Simon Mørk, Anders P. Ravn, Isolde Wildgruber

Publication date 17 July 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) System identification (93B30)

Recommendations

• Transformational design of real-time systems. I: From requirements to program specifications
• Real-Time Systems
• scientific article; zbMATH DE number 1487946
• Real-time systems development with duration calculi: an overview.
• scientific article; zbMATH DE number 177509

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3718924 (Why is no real title available?)
• scientific article; zbMATH DE number 1995120 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 3997615 (Why is no real title available?)
• A calculus of durations
• Extending Hoare logic to real-time
• Hybrid systems

This page was built for publication: Development of safety-critical real-time systems

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