Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

P. Larsen,J. Fitzgerald,J. Woodcock,P. Fritzson,Jörg Brauer,C. Kleijn,T. Lecomte,M. Pfeil,Ole Green,Stylianos Basagiannis,Andrey Sadovykh

Published 2016 in International Workshop on Modelling, Analysis, and Control of Complex CPS

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2016
Venue
International Workshop on Modelling, Analysis, and Control of Complex CPS
Publication date
2016-04-11
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1109/CPSDATA.2016.7496424
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems
2016cited by this paper
INTO-CPS: An integrated “tool chain” for comprehensive Model-Based Design of Cyber-Physical Systems
2015cited by this paper
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
2015cited by this paper
Handbook of Research on Embedded Systems Design
2014influential reference
Collaborative Design for Embedded Systems
2014cited by this paper
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation
2014cited by this paper
Strengthening Collaboration, Integration and Modelling in System of Systems Engineering
2014cited by this paper
A formal approach to collaborative modelling and co-simulation for embedded systems†
2013cited by this paper
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
2013cited by this paper
HybridSim: A Modeling and Co-simulation Toolchain for Cyber-physical Systems
2013cited by this paper
Unifying Theories of Programming
2012cited by this paper
I and J
2012cited by this paper
Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models
2012cited by this paper
Engineering Cyber-Physical Systems: Challenges and Foundations
2012cited by this paper
Design support and tooling for dependable embedded control software
2010cited by this paper
Rule-based maintenance of post-requirements traceability
2010cited by this paper
The overture initiative integrating tools for VDM
2010cited by this paper
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
2006cited by this paper
Principles of object-oriented modeling and simulation with Modelica 2.1
2004cited by this paper
A structural approach to operational semantics
2004cited by this paper
Multi-objective optimization using evolutionary algorithms
2001cited by this paper
Requirements tracing
1998cited by this paper
An axiomatic basis for computer programming
1969cited by this paper

CITED BY

Engaging human participants in CPHS design: A multi-view approach transforming human criticalities to system design requirements
2025cites this paper
Digital Twins in Energy Infrastructure: Frameworks and Deployment Pathways
2025cites this paper
Digital Integrated Design and Assembly Planning Processes for Sports Vehicles Using the Example of a Skateboard
2025cites this paper
Innovative Vehicle Design Processes Based on the Integrated Framework for Abstract Physics Modeling (IF4APM)
2024cites this paper
Reachability analysis of FMI models using data-driven dynamic sensitivity
2024cites this paper
Design ontology for cognitive thread supporting traceability management in model-based systems engineering
2024cites this paper
Adaptation Strategy Planning for Collaborative Cyber-Physical Systems Using Goal Models
2024cites this paper
Model-based Trustworthiness Evaluation of Autonomous Cyber-Physical Production Systems: A Systematic Mapping Study
2024cites this paper
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case
2024cites this paper
Digital Twin Engineering
2024cites this paper
An architecture for coupled digital twins with semantic lifting
2024cites this paper
Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation
2023cites this paper
Towards Continuous Verification and Validation of Multi-Domain System Designs
2023cites this paper
Co-simulation at different levels of expertise with Maestro2
2023cites this paper
Product-Structuring Concepts for Automotive Platforms: A Systematic Mapping Study
2023cites this paper
Resilient Design of Product Service Systems with Automated Guided Vehicles
2023cites this paper
Game Design Tools for ML Data Generation in CPS
2023cites this paper
Towards an Open Platform for Democratized Model-Based Design and Engineering of Cyber-Physical Systems
2023cites this paper
A framework for prototyping Distributed Cyber-Physical Systems with reference nets
2022cites this paper
Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection
2022cites this paper
DAILY MANAGEMENT AND ADMINISTRATION 2018
2022cites this paper
Building the Value Proposition of a Digital Innovation Hub Network to Support Ecosystem Sustainability
2022cites this paper
Organizing the fragmented landscape of multidisciplinary product development: a mapping of approaches, processes, methods and tools from the scientific literature
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
Systematic review of features for co‐simulating security incidents in Cyber‐Physical Systems
2021cites this paper
Desain Pola Integrasi Cyber dalam Mengurangi Kejahatan Cyberbullying
2021influential citation
Safety assurance of an industrial robotic control system using hardware/software co-verification
2021cites this paper
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications
2021cites this paper
Facilitating model-based design of cyber-manufacturing systems
2021cites this paper
Six Software Engineering Principles for Smarter Cyber-Physical Systems
2021cites this paper
Portable runtime environments for Python-based FMUs: Adding Docker support to UniFMU
2021cites this paper
A Prototyping Process for Medical Devices and Systems
2021influential citation
A feasibility assessment of multi-modelling approaches for rail decarbonisation systems simulation
2021cites this paper
RMQFMU: Bridging the Real World with Co-simulation Technical Report
2021cites this paper
Fault-Based Analysis of Cyber Physical Systems
2021cites this paper
Open Source Languages and Methods for Cyber-Physical System Development: Overview and Case Studies
2021cites this paper
Multi-paradigm modelling and co-simulation in prototyping a cyber-physical production system
2021cites this paper
Engineering Swarms of Cyber-Physical Systems with the CPSwarm Workbench
2021cites this paper
Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
2020cites this paper
Formalization and co-simulation of attacks on cyber-physical systems
2020cites this paper
CoHLA: Rapid Co-simulation Construction
2020influential citation
Semantic CPPS in Industry 4.0
2020cites this paper
A Cloud-Based Collaboration Platform for Model-Based Design of Cyber-Physical Systems
2020cites this paper
The UCEF Approach to Tool Integration for HLA Co-Simulations
2020cites this paper
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
2020cites this paper
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
2020cites this paper
Traceability in the Model-based Design of Cyber-Physical Systems
2020cites this paper
Integrating formal specifications into applications: the ProB Java API
2020cites this paper
Tools for modelling and simulating the Smart Grid
2020cites this paper
Cyber-Physical System—An Overview
2019cites this paper
CPS Design with Learning-Enabled Components: A Case Study
2019cites this paper
Code generation for distributed embedded systems with VDM-RT
2019cites this paper
A Compass to Controlled Graph Rewriting
2019cites this paper
TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems
2019cites this paper
Migrating the INTO-CPS Application to the Cloud
2019cites this paper
Towards a Static Check of FMUs in VDM-SL
2019cites this paper
On the Design of a New Software Engineering Curriculum in Computer Engineering
2019cites this paper
Collaborative Modelling and Co-simulation in Engineering and Computing Curricula
2019cites this paper
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks
2019cites this paper
The CPSwarm Technology for Designing Swarms of Cyber-Physical Systems
2019cites this paper
Functional Mock-up Interface: An empirical survey identifies research challenges and current barriers
2019cites this paper
Modeling and Simulation of Attacks on Cyber-physical Systems
2019influential citation
Semantic adaptation for FMI co-simulation with hierarchical simulators
2019cites this paper
Early Analysis of Cyber-Physical Systems using Co-simulation and Multi-level Modelling
2019cites this paper
Methods and Tools for Efficient Model-Based Development of Cyber-Physical Systems with Emphasis on Model and Tool Integration
2019cites this paper
A Framework for Cyber-physical System Tool-chain Development: A Service-oriented and Model-based Systems Engineering Approach
2019cites this paper
Early-stage analysis of cyber-physical production systems through collaborative modelling
2019cites this paper
A framework for FMI-based co-simulation of human–machine interfaces
2019cites this paper
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
2019cites this paper
Probabilistic Semantics for RoboChart - A Weakest Completion Approach
2019cites this paper
Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
2019cites this paper
Teaching co-simulation basics through practice
2019cites this paper
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems
2019cites this paper
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
2018cites this paper
Enabling Model Testing of Cyber-Physical Systems
2018influential citation
CoHLA: Design space exploration and co-simulation made easy
2018cites this paper
ROS/Gazebo Based Simulation of Co-operative UAVs
2018cites this paper
Co-Simulation of Cyber-Physical System with Distributed Embedded Control
2018cites this paper
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems
2018cites this paper
Challenges in Digital Twin Development for Cyber-Physical Production Systems
2018influential citation
Empirical-Evolution of Frameworks Supporting Co-simulation Tool-Chain Development
2018cites this paper
SysML as a Tool for Requirements Traceability in Mechatronic Design
2018cites this paper
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web
2018cites this paper
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator
2018cites this paper
A multi-modelling based approach to assessing the security of smart buildings
2018cites this paper
Modelling a CPS Swarm System: A Simple Case Study
2018cites this paper
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems
2018influential citation
Engineering of Cyber-Physical Systems in the Automotive Context: Case Study of a Range Prediction Assistant
2018cites this paper
Testing Avionics Software: Is FMI up to the Task?
2018cites this paper
Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems
2018cites this paper
Model-Based Design for Smart Products and Systems : Advanced Capabilities and Challenging Applications
2018cites this paper
Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study
2017influential citation
An architectural approach to cyber-physical system design
2017cites this paper
From a Graph to a Development Cycle: MBSE as an Approach to reduce Development Efforts
2017cites this paper
Distributed Co-simulation of Embedded Control Software Using INTO-CPS
2017cites this paper
Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems
2017cites this paper
Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems
2017cites this paper
Transitioning from Crescendo to INTO-CPS
2017cites this paper
Development of a Driverless Lawn Mower Using Co-simulation
2017cites this paper
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS
2017cites this paper