Hybrid multirate PALS

DOI10.1007/978-3-319-23165-5_5MaRDI QIDQ2945702zbMATH OpenOpenAlexFDO

Authors Kyungmin Bae, Peter Csaba Ölveczky

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23165-5_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• SMT-based analysis of virtually synchronous distributed hybrid systems
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems
• scientific article; zbMATH DE number 744075
• Pervasive verification of distributed real-time systems
• scientific article; zbMATH DE number 1696448

Cites work

• -complete decision procedures for satisfiability over the reals
• dReal: an SMT solver for nonlinear theories over the reals
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• Hybrid I/O automata.

Cited in

(2)

• SMT-based analysis of virtually synchronous distributed hybrid systems
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems

Describes a project that uses

Uses Software

• dReal
• SynchAADL2Maude
• AADL

This page was built for publication: Hybrid multirate PALS

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