Analyzing a model of a turntable system using Spin, CADP and Uppaal

DOI10.1016/J.JLAP.2005.05.001MaRDI QIDQ2568979zbMATH OpenOpenAlexFDO

Authors E. Bortnik, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Nikola Trčka, Jos C. M. Baeten, Wan Fokkink, Jacobus E. Rooda

Publication date 17 October 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2005.05.001

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Production models (90B30)

Recommendations

• Analysis of an industrial system
• scientific article; zbMATH DE number 2090149
• Timed Chi: modeling, simulation and verification of hardware systems
• Formal models for software development. Model checking, verification, analysis and simulation
• scientific article; zbMATH DE number 1069492

Cites work

• Algebraic Methodology and Software Technology
• Efficient on-the-fly model-checking for regular alternation-free -calculus
• Formal design and analysis of a gear controller
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1069484 (Why is no real title available?)
• scientific article; zbMATH DE number 2090149 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• Model-checking in dense real-time
• Process Algebra
• Process algebra for synchronous communication
• Programming as a Discipline of Mathematical Nature
• Specification of abstract data types
• State space generation for the HAVi leader election protocol
• Syntax and consistent equation semantics of hybrid Chi
• The power of reachability testing for timed automata
• Three logics for branching bisimulation
• Uppaal in a nutshell
• Using partial orders for the efficient verification of deadlock freedom and safety properties

Cited in

(2)

• Relating hybrid chi to other formalisms
• Model-based engineering of embedded systems using the hybrid process algebra Chi

Describes a project that uses

Uses Software

• SPIN
• Uppaal
• PVS
• CADP
• mCRL

This page was built for publication: Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal

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