Hybrid Multirate PALS

DOI10.1007/978-3-319-23165-5_5zbMath1321.68354OpenAlexW2293742040MaRDI QIDQ2945702

Peter Csaba Ölveczky, Kyungmin Bae

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)

Uses Software

• dReal
• SynchAADL2Maude
• AADL

Cites Work

• Unnamed Item
• Formalization and correctness of the PALS architectural pattern for distributed real-time systems
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• Hybrid I/O automata.
• δ-Complete Decision Procedures for Satisfiability over the Reals
• dReal: An SMT Solver for Nonlinear Theories over the Reals

This page was built for publication: Hybrid Multirate PALS