Simone Vuotto CPS Summer School - Porto Conte Ricerche, Alghero - - - PowerPoint PPT Presentation

▶

Aug 31, 2022 227 likes •289 views

Automated Formalization and Management of Requirements for Cyber-Physical Systems Simone Vuotto CPS Summer School - Porto Conte Ricerche, Alghero - September 2017 Something about me Milan - I worked as a Brescia - Where I was Software

SLIDE 1

Automated Formalization and Management of Requirements for Cyber-Physical Systems

CPS Summer School - Porto Conte Ricerche, Alghero - September 2017

Simone Vuotto

SLIDE 2

Something about me…

Brescia - Where I was born and raised Genoa - I studied and graduated in Computer Engineering Milan - I worked as a Software Engineer for an high-tech start-up Sophia Antipolis - I worked as a Software Engineer in the Travel Industry Sassari – I’m working as researcher in the CERBERO project

SLIDE 3

Research Activity

Requirements Management

 Analysis and translation into a formal model  Consistency and Satisfiability checking to formally validate

the correctness of requirements

Modelling and Verification

– Model expressiveness and certification

SLIDE 4

Research Activity

Safe Control Policy
Data Driven Verification
Joint work with: A. Bit-Monnot, L. Pulina, A. Tacchella

SLIDE 5

Why am I here?

To extend my knowledge about CPS
To put CPS development in perspective
To practice with the tools involved in CERBERO
To have fun!