@conference {cosim-cps-17,
	title = {Co-simulation of semi-autonomous systems: the Line Follower Robot case study},
	booktitle = {1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS), LNCS Springer},
	volume = {10729},
	year = {2017},
	publisher = {LNCS proceeding volume for SEFM co-located events (to appear)},
	organization = {LNCS proceeding volume for SEFM co-located events (to appear)},
	abstract = {<p>Semi-autonomous systems are capable of sensing their environment and perform their tasks autonomously, but they may also be supervised by humans. The shared manual/automatic control makes the dynamics of such systems more complex, and undesirable and hardly predictable behaviours can arise from human-machine interaction. When these systems are used in critical applications, such as autonomous driving or robotic surgery, the identification of conditions that may lead the system to violate safety requirements is of main concern, since people actually entrust their life on them. In this paper, we extend an FMI-based co-simulation framework for cyber-physical systems with the possibility of modelling semi-autonomous robots. Co-simulation can be used to gain more insights on the system under analysis at early stages of system development, and to highlight the impact of human interaction on safety. This approach is applied to the Line Follower Robot case study, available in the INTO-CPS project.</p>
},
	url = {https://doi.org/10.1007/978-3-319-74781-1_29},
	attachments = {https://haslab.uminho.pt/sites/default/files/masci/files/cosim-cps-17_paper_4.pdf},
	author = {Palmieri, M. and C. Bernardeschi and Masci, P.}
}