Specification and refinement of a real-time control system

MaRDI QIDQ4495073zbMATH OpenFDO

Authors Graeme Smith

Publication date 10 August 2000

zbMATH Keywords

real-time systemssteam boiler control problemtimed-trace formalisms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A specification-oriented semantics for the refinement of real-time systems
• Real-time refinement in Manna and Pnueli's temporal logic
• A sequential real-time refinement calculus
• A predicative semantics for the refinement of real-time systems

Cited in

(6)

• Integrated environment for designing real-time control algorithms
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• Verification and Integration of Real-Time Control Software
• Real-time simulation and control systems design by the Response Surface Methodology and designed experiments
• A unified linear-time temporal logic solution to the steam-boiler control specification problem
• Development of safety-critical real-time systems

This page was built for publication: Specification and refinement of a real-time control system

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