ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 17:20 - 18:00 at S510 - Cyber-Physical Systems design Chair(s): Valeriy Vyatkin

This work presents a methodology for the formal modeling of security attacks on cyber-physical systems, and the analysis of their effects on the system using logic theories. We consider attacks only on sensors and actuators. A simulated attack can be triggered internally by the simulation algorithm or interactively by the user, and the effect of the attack is a set of assignments to the variables. The effects of the attacks are studied by injecting attacks in the system model and simulating them. The overall system, including the attacks, the system dynamics and the control part, is co-simulated. The INTO-CPS framework has been used for co-simulation, and the methodology is applied to the Line follower robot case study of the INTO-CPS project.

Cinzia Bernardeschi received the Laurea degree in Computer Science in 1987 and the PhD degree in 1996, both from the University of Pisa, Pisa, Italy. She is associate professor of Computer Science Foundations at the Department of Information Engineering , School of Engineering of the University of Pisa . Her main research interests are in the area of software engineering, dependable systems and application of formal methods for specification and verification of safety-critical systems. Recent work includes reliability and security issues of cyber physical systems.

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Cyber-Physical Systems designMeTRiD at S510
Chair(s): Valeriy Vyatkin Aalto University, Finland and Luleå University of Technology, Sweden
16:00
40m
Talk
Localizing Faults in Simulink/Stateflow Models with STL
MeTRiD
Ezio Bartocci Technische Universität Wien, Thomas Ferrère IST Austria, Niveditha Manjunath Austrian Institute of Technology, Dejan Nickovic Austrian Institute of Technology
16:40
40m
Talk
Model-based energy characterization of IoT system design aspects
MeTRiD
Alexios Lekidis Aristotle University of Thessaloniki
17:20
40m
Talk
Modeling and Simulation of Attacks on Cyber-physical Systems
MeTRiD
Cinzia Bernardeshi Univ. of Pisa