Behavioural Models for FMI Co-simulations

DOI10.1007/978-3-319-46750-4_15zbMath1482.68135OpenAlexW2522642979MaRDI QIDQ3179405

Nuno Amálio, Ana Cavalcanti, J. C. P. Woodcock

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://eprints.whiterose.ac.uk/106585/1/CWA16.pdf

zbMATH Keywords

verificationmodellingCSPCircus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) 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

• Simulink
• Rodin
• Z
• FDR3
• Isabelle/UTP
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• From control law diagrams to Ada via \textsf{Circus}
• A refinement strategy for Circus
• A UTP semantics for \textsf{Circus}
• Understanding concurrent systems
• Isabelle/UTP: A Mechanised Theory Engineering Framework
• Towards a UTP Semantics for Modelica
• Requirements for hybrid cosimulation standards
• Two Methods of Simulator Coupling
• FDR3 — A Modern Refinement Checker for CSP

This page was built for publication: Behavioural Models for FMI Co-simulations