Formalising and Validating the Interface Description in the FMI Standard

No abstract is available for this paper.

• Publication year

  2016

• Venue

  World Congress on Formal Methods

• Publication date

  2016-11-09

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-319-48989-6_21
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automated translation of VDM-SL to JML-annotated Java

  2017cited by this paper
• Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

  2015cited by this paper
• Combinatorial Testing for VDM

  2010cited by this paper
• The overture initiative integrating tools for VDM

  2010cited by this paper
• Modelling Systems: Practical Tools and Techniques in Software Development

  1998cited by this paper
• Systematic software development using VDM (2. ed.)

  1990cited by this paper
• The Formal Definition of Modula-2 and Its Associated Interpreter

  1988cited by this paper
• The Vienna Development Method: The Meta-Language

  1978cited by this paper

• DAILY MANAGEMENT AND ADMINISTRATION 2018

  2022cites this paper
• Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

  2020cites this paper
• Conformance testing of FMI calling sequence for simulation environments

  2019cites this paper
• Towards a Static Check of FMUs in VDM-SL

  2019cites this paper
• Distributed Co-Simulation of Complex Engineered Systems by Combining the High Level Architecture and Functional Mock-up Interface

  2019cites this paper
• Maestro: The INTO-CPS co-simulation framework

  2019cites this paper
• Improving Interoperability of FMI-supporting Tools with Reference FMUs

  2017cites this paper