Pervasive verification of distributed real-time systems

MaRDI QIDQ5447370zbMATH OpenFDO

Authors Steffen Knapp, Wolfgang J. Paul

Publication date 6 March 2008

zbMATH Keywords

CASE toolmodel stack

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Modular abstractions for verifying real-time distributed systems
• scientific article; zbMATH DE number 49713
• Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
• scientific article; zbMATH DE number 62143
• Formal timing analysis of distributed systems

Cited in

(14)

• Multi-scale verification of distributed synchronisation
• scientific article; zbMATH DE number 1701364 (Why is no real title available?)
• Hybrid multirate PALS
• Verifying part of the ACCESS.bus protocol using PVS
• Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
• scientific article; zbMATH DE number 4060690 (Why is no real title available?)
• scientific article; zbMATH DE number 1962789 (Why is no real title available?)
• scientific article; zbMATH DE number 2080070 (Why is no real title available?)
• scientific article; zbMATH DE number 778419 (Why is no real title available?)
• Correct Hardware Design and Verification Methods
• The rationale for distributed semantics as a topology independent embedded systems design methodology and its implementation in the virtuoso RTOS
• Efficient verification of distributed real-time systems with broadcasting behaviors
• Modular abstractions for verifying real-time distributed systems
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems

This page was built for publication: Pervasive verification of distributed real-time systems

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