A framework for FMI-based co-simulation of human–machine interfaces

Palmieri, Maurizio; Bernardeschi, Cinzia; Masci, Paolo

doi:10.1007/s10270-019-00754-9

Cited by 16 publications

(4 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Papers [18] and [19] show how human performance models can be incorporated into models of CPSs. In [18], a train driver model is coupled to models of the rolling stock and of the movement authority; in [19] human-machine interfaces of an integrated clinical environment are considered.…”

Section: Related Workmentioning

confidence: 99%

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

Bernardeschi,

Domenici,

Fagiolini

et al. 2024

IEEE Access

Self Cite

View full text Add to dashboard Cite

This paper reports on the use of co-simulation techniques to build prototypes of co-operative autonomous robotic cyber-physical systems. Designing such systems involves a mission-specific planner algorithm, a control algorithm to drive an agent performing its task; and the plant model to simulate the agent dynamics. An application aimed at positioning a swarm of unmanned aerial vehicles (drones) in a bounded area, exploiting a Voronoi tessellation algorithm developed in this work, is taken as a case study. The paper shows how co-simulation allows testing the complex system at the design phase using models created with different languages and tools. The paper then reports on how the adopted co-simulation platform enables control parameters calibration, by exploiting design space exploration technology. The Into-CPS co-simulation platform, compliant with the Functional Mock-up Interface standard to exchange dynamic simulation models using various languages, was used in this work. The different software modules were written in Modelica, C, and Python. In particular, the latter was used to implement an original variant of the Voronoi algorithm to tesselate a convex polygonal region, by means of dummy points added at appropriate positions outside the bounding polygon. A key contribution of this case study is that it demonstrates how an accurate simulation of a cooperative drone swarm requires modeling the physical plant together with the high-level coordination algorithm. The coupling of co-simulation and design space exploration has been demonstrated to support control parameter calibration to optimize energy consumption and convergence time to the target positions of the drone swarm. From a practical point of view, this makes it possible to test the ability of the swarm to self-deploy in space in order to achieve optimal detection coverage and allow unmanned aerial vehicles in a swarm to coordinate with each other.INDEX TERMS Cyber-physical systems, co-simulation, unmanned aerial vehicles, space coverage, Voronoi tessellation, control parameter calibration.

show abstract

Section: Related Workmentioning

confidence: 99%

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

Bernardeschi,

Domenici,

Fagiolini

et al. 2024

IEEE Access

Self Cite

View full text Add to dashboard Cite

show abstract

“…Two co-simulation engines are currently implemented: an internal engine based on a WebSocket protocol, and an external engine [60] based on a communication and co-ordination middleware [89]. A preliminary version of a third co-simulation engine based on the FMI standard 4 is described in [75]. • Property proving assistant.…”

Section: Pvsio-webmentioning

confidence: 99%

“…Initial work by Willans [88] has been extended in the Apex project [83]. Other research is concerned with functional mock-up interfaces involving the co-simulation of discrete logic models for controllers and continuous models based on dierential equations (see for example [73,74]). Matlab and Simulink have also been used to model these systems (for example [77]).…”

Section: Early Prototyping Loopmentioning

confidence: 99%

Supporting the Analysis of Safety Critical User Interfaces

Campos

Fayollas

Harrison

et al. 2020

ACM Trans. Comput.-Hum. Interact.

Self Cite

View full text Add to dashboard Cite

Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and healthcare. Early detection of latent user interface problems can be facilitated by user centered design methods that integrate formal verication technologies. This paper considers the role that formal verication technologies can play in the context of user centered design by considering three existing tools: CIRCUS, PVSio-web, and IVY. These tools have been developed to support the model based analysis of critical user interfaces. They have their foundations in existing formal verication technologies, but each of them is focused towards particular issues relating to user interface design. The paper explores the dierent phases of the user centered design process and the extent to which each of these tools supports these phases. Criteria are developed for assessing their role at each stage of the design process. The results of the evaluation provide guidance to developers to help choose the most appropriate tool based on their analysis needs while at the same time setting challenges for future developments. CCS Concepts: • Software and its engineering ! Integrated and visual development environments.

show abstract

“…PVS is widely used at NASA Langley Research Center for the analysis of algorithms and protocols for avionics systems 1 . Research groups have also applied PVS to the analysis of humanmachine interfaces in medical systems [6] and for co-simulation of Cyber-Physical Systems [12] and semi-autonomous systems [13].…”

Section: Introductionmentioning

confidence: 99%

An Integrated Development Environment for the Prototype Verification System

Masci

Muñoz²

2019

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrated development environment for the Prototype Verification System (PVS). This new environment integrates the editing and proof management functionalities of PVS in Visual Studio Code, a popular code editor widely used by software developers. VSCode-PVS provides functionalities that developers expect to find in modern verification tools, but are not available in the standard Emacs front-end of PVS, such as auto-completion, point-and-click navigation of definitions, live diagnostics for errors, and literate programming. The main features and architecture of the environment are presented, along with a comparison with other similar tools.

show abstract

A framework for FMI-based co-simulation of human–machine interfaces

Cited by 16 publications

References 35 publications

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

Supporting the Analysis of Safety Critical User Interfaces

An Integrated Development Environment for the Prototype Verification System

Contact Info

Product

Resources

About