Formalization and correctness of the PALS architectural pattern for distributed real-time systems

DOI10.1016/j.tcs.2012.05.040zbMath1284.68073OpenAlexW2077349223MaRDI QIDQ714796

José Meseguer, Peter Csaba Ölveczky

Publication date: 11 October 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.05.040

zbMATH Keywords

distributed real-time systemsmodel checkingrewriting logicsynchronizersformally verified architectural patterns

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07) Distributed systems (68M14)

Related Items (4)

Hybrid Multirate PALS ⋮ A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda ⋮ Formalization and correctness of the PALS architectural pattern for distributed real-time systems ⋮ Programming and symbolic computation in Maude

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems
• Semantics and pragmatics of real-time maude
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Specification of real-time and hybrid systems in rewriting logic
• Equational rules for rewriting logic
• Semantic foundations for generalized rewrite theories
• Complexity of network synchronization
• Time, clocks, and the ordering of events in a distributed system
• Implementing Synchronous Models on Loosely Time Triggered Architectures

This page was built for publication: Formalization and correctness of the PALS architectural pattern for distributed real-time systems