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

Aug 31, 2022 •227 likes •288 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

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 Engineer for an born and raised high-tech start-up Genoa - I studied and graduated in Computer Engineering Sophia Antipolis - I worked as a Software Engineer in the Travel Industry Sassari – I’m working as researcher in the CERBERO project
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
Research Activity • Safe Control Policy • Data Driven Verification • Joint work with: A. Bit-Monnot, L. Pulina, A. Tacchella
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!

Recommend

An experimental framework for Pragma handling in Clang Simone Pellegrini (

An experimental framework for Pragma handling in Clang Simone Pellegrini ( spellegrini@dps.uibk.ac.at ) University of Innsbruck Institut fr Informatik Euro-LLVM Meeting, 2013 Simone Pellegrini / EuroLLVM2013 1/34 Background This work

663 views • 44 slides

Welcome! Simone Campanoni simonec@eecs.northwestern.edu Who we are Simone Campanoni Enrico

Welcome! Simone Campanoni simonec@eecs.northwestern.edu Who we are Simone Campanoni Enrico Deiana simonec@eecs.northwestern.edu enricodeiana2020@u.northwestern.edu Outline Structure of the course Compilers Compiler IRs CC in a

780 views • 37 slides

PRESENTATION NIGHT PICTURES Simone Collaros certainly showed us how to shoot Some excellent

PRESENTATION NIGHT PICTURES Simone Collaros certainly showed us how to shoot Some excellent Benchrest. Congratulations Simone! Sam Elsmore collects the State 50m Junior Teams shield for Victoria. The team was Sam and Janine Chick. Debbie

291 views • 3 slides

HOW DO YOU MEASURE EXPERTISE? A New Model for Cybersecurity Education Simone Petrella Simone

HOW DO YOU MEASURE EXPERTISE? A New Model for Cybersecurity Education Simone Petrella Simone Petrella cybervista.net Chief Cyberstrategy Officer, CyberVista TODAYS CYBERSECURITY EDUCATION LANDSCAPE cybervista.net Current

380 views • 14 slides

The Role of Cultural Factors in Engagement and Change in Multisystemic Therapy Simone Fox,

The Role of Cultural Factors in Engagement and Change in Multisystemic Therapy Simone Fox, Fatima Bibi, Hayleigh Millar and Amaryllis Holland Simone.fox@kcl.ac.uk Outcome and Ethnicity It has been argued that MST is a culturally competent

268 views • 24 slides

The Geometry of Non-Projected Supermanifolds through Simple Examples Simone Noja Universit` a

The Geometry of Non-Projected Supermanifolds through Simple Examples Simone Noja Universit` a del Piemonte Orientale simone.noja@uniupo.it 15 May 2018 Simone Noja Supergeometry and Non-Projected Supermanifolds 15 May 2018 1 / 38 Scheme of

1.14k views • 86 slides

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems Simone

An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems Simone Silvetti , Alberto Policriti, Luca Bortolussi silvetti.simone@spes.uniud.it silvetti@esteco.com 13th International Conference on integrated Formal

692 views • 35 slides

e-therapy and SMS: A feasibility study Presented by Dr Simone Rodda Rese esear arch ch Tea

e-therapy and SMS: A feasibility study Presented by Dr Simone Rodda Rese esear arch ch Tea eam Dr Simone Rodda 1,2,4 Prof Dan Lubman 2,3 Assoc. Prof Nicki Dowling 4,5 1 School of Public Health and Psychosocial Studies, Auckland University of

546 views • 33 slides

Infinite Index Extensions of Local Nets and Defects Simone Del Vecchio Dipartimento di

Infinite Index Extensions of Local Nets and Defects Simone Del Vecchio Dipartimento di Matematica, Universit` a di Roma Tor Vergata based on a joint work with Luca Giorgetti Leipzig, 24 June 2017 Simone Del Vecchio (Uni Tor Vergata) Infinite

526 views • 24 slides

Explaining smart systems to encourage (or discourage?) user interaction Dr Simone Stumpf Centre

Explaining smart systems to encourage (or discourage?) user interaction Dr Simone Stumpf Centre for HCI Design Simone.Stumpf.1@city.ac.uk @DrSimoneStumpf Simone.Stumpf.1@city.ac.uk | @DrSimoneStumpf 2 Bio End-user interactions with AI

533 views • 17 slides

A multi-phase transition model for dislocations with interfacial microstructure Simone Cacace

A multi-phase transition model for dislocations with interfacial microstructure Simone Cacace Adriana Garroni Mathematics Department G.Castelnuovo University of Rome La Sapienza CANUM 29 May 2008 Simone Cacace - Adriana Garroni A

1.31k views • 106 slides

Build and operate a CEPH Infrastructure - University of Pisa case study Simone Spinelli

Build and operate a CEPH Infrastructure - University of Pisa case study Simone Spinelli simone.spinelli@unipi.it 17 TF-Storage meeting - Pisa 13-14 October 2015 Agenda C E P H @ u n i p i : a n o v e r v i e w Performances

692 views • 28 slides

Unitarity Triangle Over constrain ( , ) QCD form factors have been a leading source of

1 The decay constants f B and f D + from three-flavor lattice QCD Flavor Physics from Lattice QCD James N. Simone Fermilab Lattice Collaboration DPF/JPS 2006, Honolulu, HI Oct 2006 simone@fnal.gov DPF/JPS 06 Oct 31, 2006 2

330 views • 18 slides

Pharmacosurveillance for SJS/TEN in the US Lois La Grenade, MD, MPH Simone Pinheiro, Sc.D.,

Pharmacosurveillance for SJS/TEN in the US Lois La Grenade, MD, MPH Simone Pinheiro, Sc.D., M.Sc. Outline List Tools currently in use at FDA Describe each tool in terms of Characteristics & Uses Strengths Limitations

513 views • 37 slides

SIMONE FONTANELLI

Edizioni SCONFINARTE : sconfinarte@sconfinarte.it New publication! SIMONE FONTANELLI Per giovani violinisti (e anche per quelli meno giovani) For young

185 views • 4 slides

April 2, 2020 4:00 p.m. EST Sr. Simone Campbell, Executive Director Tralonne Shorter, Senior

April 2, 2020 4:00 p.m. EST Sr. Simone Campbell, Executive Director Tralonne Shorter, Senior Government Relations Advocate Laura Peralta-Schulte, Senior Government Relations Advocate Meg Olson, Grassroots Mobilization Manager Sr. Simone Laura

631 views • 19 slides

2.10 Torino 2020-02-19 This presentation is brought to you by Simone ne Dalmass sso Dr.

State of GeoNode 2.10 Torino 2020-02-19 This presentation is brought to you by Simone ne Dalmass sso Dr. Amede deo Fadin dini (Rese search ch Fello llow) France ncesco co Bartoli li simod amefad francbartoli Work experience in

781 views • 48 slides

The EUs NDC after the Talanoa Dialogue Options for enhancing the EUs NDC for 2030 Simone

November 21, 2018 | Bratislava The EUs NDC after the Talanoa Dialogue Options for enhancing the EUs NDC for 2030 Simone Borghesi, Climate Director, FSR Andrei Marcu, Director, ERCST & Senior Fellow, ICTSD 1 Introduction: Current NDC

1.17k views • 75 slides

Higher spin theories, holography and Chern-Simons vector models Simone Giombi Perimeter

Higher spin theories, holography and Chern-Simons vector models Simone Giombi Perimeter Institute ESI, Vienna, April 12 2012 Simone Giombi (PI) Higher spins and holography ESI, Apr 12 2012 1 / 43 Outline The

901 views • 43 slides

HEV-E Hazards, Exposures and Vulnerabilities Explorer Dr. Giovanni Allegri Ing. Simone

HEV-E Hazards, Exposures and Vulnerabilities Explorer Dr. Giovanni Allegri Ing. Simone Giannecchini About Us Around since 2006 Expertise GeoSpatial Data Fusion, Web Mashups, Mobile Apps OGC, ISO, INSPIRE Standards

565 views • 30 slides

SSA and DFAs Simone Campanoni simonec@eecs.northwestern.edu SSA Outline SSA and why?

SSA and DFAs Simone Campanoni simonec@eecs.northwestern.edu SSA Outline SSA and why? Reaching definitions, constant propagation with SSA forms SSA in LLVM Generate SSA code Def-use chains v = 3 Within your CAT: you can follow

693 views • 42 slides

A Practical Approach for a Workflow Management System Simone Pellegrini, Francesco Giacomini,

A Practical Approach for a Workflow Management System Simone Pellegrini, Francesco Giacomini, Antonia Ghiselli INFN Cnaf Viale B. Pichat, 6/2 40127 Bologna {simone.pellegrini | francesco.giacomini | antonia.ghiselli}@cnaf.infn.it Outline

337 views • 30 slides

DFA foundation Simone Campanoni simonec@eecs.northwestern.edu We have seen several examples of

DFA foundation Simone Campanoni simonec@eecs.northwestern.edu We have seen several examples of DFAs Are they correct? Are they precise? Will they always terminate? How long will they take to converge? Outline Lattice and

543 views • 37 slides

Form 1: Presentation Checklist EMT One Year Certificate Paula Simone 10-24-18 Name :

Academic Affairs Committee Form 1: Presentation Checklist EMT One Year Certificate Paula Simone 10-24-18 Name : ______________________________________________ Date : ___________________ NIR - EMS/Paramedicine Department :

429 views • 3 slides