The overture initiative integrating tools for VDM

No abstract is available for this paper.

• Publication year

  2010

• Venue

  ACM SIGSOFT Softw. Eng. Notes

• Publication date

  2010-01-25

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1668862.1668864
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Combinatorial Testing for VDM

  2010cited by this paper
• Connecting UML and VDM++ with Open Tool Support

  2009influential reference
• Formal methods: Practice and experience

  2009cited by this paper
• Modeling and validating distributed embedded real-time control systems

  2009cited by this paper
• VDMTools

  2008cited by this paper
• Co-simulation of Distributed Embedded Real-Time Control Systems

  2007cited by this paper
• Triumphs and Challenges for the Industrial Application of Model- Oriented Formal Methods

  2007cited by this paper
• Automatically Discharging VDM Proof Obligations using HOL4

  2007cited by this paper
• Design by Contract with JML

  2006cited by this paper
• Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

  2006cited by this paper
• Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)

  2006cited by this paper
• Validated Designs for Object-oriented Systems

  2004cited by this paper
• Alloy: a lightweight object modelling notation

  2002cited by this paper
• Exploring Timing Properties Using VDM + + on an Industrial Application

  2000cited by this paper
• Scientific Decisions which Characterize VDM

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

  1998cited by this paper
• FME '97: Industrial Applications and Strengthened Foundations of Formal Methods

  1997cited by this paper
• Towards an Integrated CASE and Theorem Proving Tool for VDM-SL

  1997cited by this paper
• A Proof Obligation Generator for VDM-SL

  1997cited by this paper
• Information technology - Programming languages, their environments and system software interfaces: Vienna DevelopmentMethod - Specification Language - Part 1: Base language

  1996cited by this paper
• The IFAD VDM-SL toolbox: a practical approach to formal specifications

  1994cited by this paper

• Automated formal-specification-to-code trace links recovery using multi-dimensional similarity measures

  2025cites this paper
• Towards Operation Proof Obligation Generation for VDM

  2025cites this paper
• Formal requirements engineering and large language models: A two-way roadmap

  2025cites this paper
• Generating interactive documents for domain-specific validation of formal models

  2024cites this paper
• Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation

  2023cites this paper
• Proceedings of the 20th International Overture Workshop

  2022cites this paper
• Industrial digitalization in the industry 4.0 era: Classification, reuse and authoring of digital models on Digital Twin platforms

  2022cites this paper
• A Survey of Practical Formal Methods for Security

  2021cites this paper
• Proceedings of the 18th International Overture Workshop

  2021cites this paper
• Mutated Specification-Based Test Data Generation with a Genetic Algorithm

  2021cites this paper
• Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system

  2021cites this paper
• A formal specification animation method for operation validation

  2021cites this paper
• The Specification Language Server Protocol: A Proposal for Standardised LSP Extensions

  2021influential citation
• Traceability in the Model-based Design of Cyber-Physical Systems

  2020cites this paper
• Integrating formal specifications into applications: the ProB Java API

  2020influential citation
• Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

  2020cites this paper
• CoHLA: Rapid Co-simulation Construction

  2020cites this paper
• Formalization and co-simulation of attacks on cyber-physical systems

  2020cites this paper
• A systematic approach to model-based engineering of cyber-physical Systems of Systems

  2019cites this paper
• Collaborative development of a CPS-based production system

  2019cites this paper
• Co-modelling of Agricultural Robotic Systems

  2019cites this paper
• ViennaDoc: An Animatable and Testable Specification Documentation Tool

  2019cites this paper
• Early-stage analysis of cyber-physical production systems through collaborative modelling

  2019cites this paper
• Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems

  2019cites this paper
• Embedding High-Level Formal Specifications into Applications

  2019cites this paper
• Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin

  2019cites this paper
• Collaborative Modelling and Co-simulation in Engineering and Computing Curricula

  2019cites this paper
• Modeling and Simulation of Attacks on Cyber-physical Systems

  2019cites this paper
• Developing verified sequential programs with Event-B

  2018cites this paper
• INtegrated TOol chain for model-based design of CPSs The INtegrated TOolchain for Cyber-Physical Systems (INTO-CPS): a Guide

  2018cites this paper
• A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems

  2018cites this paper
• A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

  2018cites this paper
• Automated scenario-based integration testing of distributed systems

  2018cites this paper
• A Non-unified View of Modelling, Specification and Programming

  2018cites this paper
• A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems

  2018cites this paper
• Realization of distributed system models using code generation extensions

  2018cites this paper
• Sound Simulation and Co-simulation for Robotics

  2017cites this paper
• Releasing VDM proof obligations with SMT solvers

  2017cites this paper
• A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems

  2017cites this paper
• Towards Infinite-State Symbolic Model Checking for B and Event-B

  2017cites this paper
• Enabling co-simulation of smart energy control systems for buildings and districts

  2017cites this paper
• Traceability Support in OpenModelica Using Open Services for Lifecycle Collaboration (OSLC)

  2017cites this paper
• Development of a Driverless Lawn Mower Using Co-simulation

  2017cites this paper
• Derivation of algorithmic control structures in Event-B refinement

  2017cites this paper
• Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems

  2017cites this paper
• Project Effort Estimation using COCOMO-2 Metrics with Fuzzy Logic

  2017cites this paper
• Chapter 1 Sound Simulation and Co-simulation for Robotics

  2017cites this paper
• Transitioning from Crescendo to INTO-CPS

  2017cites this paper
• Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study

  2017influential citation
• The Mars-Rover Case Study Modelled Using INTO-CPS

  2017cites this paper
• A Formal Modeling Tool for Exploratory Modeling in Software Development

  2017cites this paper
• Formalism of security properties for battlefield surveillance system

  2017influential citation
• Automated translation of VDM-SL to JML-annotated Java

  2017influential citation
• Towards integration of Overture into TASTE

  2016cites this paper
• Agricultural Robotic Candidate Overview using Co-model Driven Development

  2016cites this paper
• Using JML-based Code Generation to Enhance Test Automation for VDM Models

  2016influential citation
• Towards Vendor-Agnostic IT-System of IT-Systems with the CEDE Platform

  2016cites this paper
• Validating Formal Specifications Using Testing-Based Specification Animation

  2016cites this paper
• INtegrated TOol chain for model-based design of CPSs FMI-Compliant Code Generation in the INTO-CPS Tool Chain

  2016cites this paper
• Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

  2016cites this paper
• Checking SysML Models for Co-simulation

  2016cites this paper
• Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

  2016cites this paper
• Integrating Animation-Based Inspection Into Formal Design Specification Construction for Reliable Software Systems

  2016cites this paper
• Engine Lively Walk-Through Parser Webly Walk-Through Type VDMC VDMPad Value VDMBrowser

  2016cites this paper
• The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

  2016cites this paper
• INtegrated TOol chain for model-based design of CPSs Foundations of the SysML profile for CPS modelling

  2016cites this paper
• The 14th Overture Workshop: Towards Analytical Tool Chains

  2016cites this paper
• Formalising and Validating the Interface Description in the FMI Standard

  2016cites this paper
• ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4

  2016cites this paper
• Decoupling validation UIs using Publish-Subscribe binding of instance variables in Overture

  2016cites this paper
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems

  2016cites this paper
• Towards Verifying VDM Using SPIN

  2015cites this paper
• A method of refinement in UML-B

  2015cites this paper
• Automatic Selection of System Functional Scenarios for Formal Specification Animation

  2015cites this paper
• Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration

  2015cites this paper
• VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

  2015cites this paper
• A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios

  2015cites this paper
• A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

  2015cites this paper
• Towards Enabling Overture as a Platform for Formal Notation IDEs

  2015cites this paper
• Grant Agreement: 644047 INtegrated TOol chain for model-based design of CPSs Design Principles for Code Generators

  2015cites this paper
• Integrating the PVSio-web modelling and prototyping environment with Overture

  2015cites this paper
• Formalization and Model Checking of Software Architectural Style

  2015cites this paper
• Energy-Aware System-Level Design of Cyber-Physical Systems

  2015influential citation
• A Systematic Inspection Approach to Verifying and Validating Formal Specifications based on Specification Animation and Traceability

  2015cites this paper
• Migrating to an Extensible Architecture for Abstract Syntax Trees

  2015cites this paper
• Semantics of Co-simulation

  2014cites this paper
• NEER ENGI ON EXTENSIBILITY OF SOFTWARE SYSTEMS

  2014cites this paper
• Continuous-Time Modelling in 20-sim

  2014cites this paper
• From Embedded to Cyber-Physical Systems: Challenges and Future Directions

  2014cites this paper
• Co-model Structuring and Design Patterns

  2014cites this paper
• Support for Co-modelling and Co-simulation: The Crescendo Tool

  2014cites this paper
• Deploying Co-modelling in Commercial Practice

  2014cites this paper
• Co-modelling and Co-simulation in Embedded Systems Design

  2014cites this paper
• Discrete-Event Modelling in VDM

  2014cites this paper
• Energy-Aware Model-Driven Development of a Wearable Healthcare Device

  2014cites this paper
• Case Studies in Co-modelling and Co-simulation

  2014cites this paper
• Collaborative Development of Embedded Systems

  2014cites this paper
• Methods for Creating Co-models of Embedded Systems

  2014cites this paper
• On Extensibility of Software Systems

  2014cites this paper
• Unifying theories of logics with undefinedness

  2014influential citation