Behavioural models for FMI co-simulations

DOI10.1007/978-3-319-46750-4_15MaRDI QIDQ3179405zbMATH OpenOpenAlexFDO

Authors Ana Cavalcanti, Nuno Amálio, Jim 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

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

Recommendations

• Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0
• Requirements for hybrid cosimulation standards
• Simulink timed models for program verification
• Structural and behavioral equivalence of simulation models
• scientific article; zbMATH DE number 1696504

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• A UTP semantics for \textsf{Circus}
• A refinement strategy for Circus
• FDR3 -- a modern refinement checker for CSP
• From control law diagrams to Ada via \textsf{Circus}
• Isabelle/UTP: a mechanised theory engineering framework
• Modeling in Event B. System and software engineering.
• Requirements for hybrid cosimulation standards
• Towards a UTP semantics for Modelica
• Two Methods of Simulator Coupling
• Understanding concurrent systems

Cited in

(3)

• scientific article; zbMATH DE number 1790353 (Why is no real title available?)
• Requirements for hybrid cosimulation standards
• Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0

Describes a project that uses

Uses Software

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

This page was built for publication: Behavioural models for FMI co-simulations

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