Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems-Reference-Cited by-同舟云学术

Injecting Formal Verification in FMI-Based Co-simulations of Cyber-Physical Systems

Published:2018 Issue: Volume: Page:284-299
ISSN:0302-9743
Container-title:Software Engineering and Formal Methods
language:
Short-container-title:

Author:

Couto Luís Diogo,Basagiannis Stylianos,Ridouane El Hassan,Mady Alie El-Din,Hasanagic Miran,Larsen Peter Gorm

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-74781-1_20

Reference23 articles.

1. Amalio, N., Cavalcanti, A., Miyazawa, A., Payne, R., Woodcock, J.: Foundations of the SysML for CPS modelling. Technical report, INTO-CPS Deliverable, D2.2a, December 2016

2. Lecture Notes in Computer Science;C Bernardeschi,2008

3. Lecture Notes in Computer Science;C Bernardeschi,2009

4. Blochwitz, T.: Functional Mock-up Interface for Model Exchange and Co-Simulation, July 2014. https://www.fmi-standard.org/downloads

5. Brosse, E., Quadri, I.: SysML and FMI in INTO-CPS. Technical report, INTO-CPS Deliverable, D4.2c, December 2016

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Migrating the INTO-CPS Application to the Cloud;Lecture Notes in Computer Science;2020

2. A framework for FMI-based co-simulation of human–machine interfaces;Software and Systems Modeling;2019-09-20

3. Maestro: The INTO-CPS co-simulation framework;Simulation Modelling Practice and Theory;2019-04

4. Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin;From Software Engineering to Formal Methods and Tools, and Back;2019

5. A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems;Software Technologies: Applications and Foundations;2018