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!

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

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

Virtual First Time Transfer Workshop How and When to Reach us: How and When to Reach us:

Student Services Center/ EOP Student Services Center/ EOP Bookstein Hall (BB) 2113 Bookstein Hall (BB) 2113 >>>Important Transfer Information<<< Virtual First Time Transfer Workshop How and When to Reach us: How and When to

357 views • 20 slides

Small Spacecraft Technology Andrew Petro Program Executive NASA Headquarters September 10,

NASA Space Technology Mission Directorate Small Spacecraft Technology Andrew Petro Program Executive NASA Headquarters September 10, 2014 Small Spacecraft Technology Program Small, Affordable, Rapid, & Transformative Flight

213 views • 20 slides

ZX- TOWER Blazing Fast, Multi-Target, Easy To Use Hard Drive Wiper Who is Logicube? A

ZX- TOWER Blazing Fast, Multi-Target, Easy To Use Hard Drive Wiper Who is Logicube? A leading manufacturer of eForensics data capture solutions and hard disk duplication systems Established in 1993 Headquarters in Chatsworth,

461 views • 28 slides

SPAPSD COVID-19 Protocols GENERAL SAFETY EXPECTATIONS It is our responsibility to mitigate risks

SPAPSD COVID-19 Protocols GENERAL SAFETY EXPECTATIONS It is our responsibility to mitigate risks associated with the spread of COVID-19 u and take that responsibility seriously, but we cannot guarantee a COVID-19 free environment. It is

495 views • 11 slides

A randomized algorithm for 2-Satisfiability Captain China Group members: Yaoming Zhu Lantao Yu

A randomized algorithm for 2-Satisfiability Captain China Group members: Yaoming Zhu Lantao Yu Rui Meng Ruisheng Cao Chenglong Yang CS214 Captain China Algorithms and complexity Vu Pham 1 Outline Introduction Example Map

374 views • 34 slides

Alpha Presentation Ford Mobility Product Metrics The Capstone Experience Team Ford Samuel

Alpha Presentation Ford Mobility Product Metrics The Capstone Experience Team Ford Samuel Wakeman Romi Yun Yangkai He Weilin Liang Department of Computer Science and Engineering Michigan State University From Students Fall 2019 to

513 views • 11 slides

VCSO Mechanical Shock Compensation Who are we? Team members: Max Madore Joseph Hiltz-Maher

VCSO Mechanical Shock Compensation Who are we? Team members: Max Madore Joseph Hiltz-Maher Shaun Hew Shalin Shah Advisor: Helena Silva Phonon contact: Scott Kraft Project Overview VCSO and mechanical vibration Analog filter for

285 views • 25 slides

Band INSTRUMENT CHOICE What is band? Ensemble of wind and percussion instruments Play a

H. O. Brumsted Band INSTRUMENT CHOICE What is band? Ensemble of wind and percussion instruments Play a variety of styles of music pop, rock, classical, marches, patriotic, holiday, jazz and MORE! What instruments can I play? Woodwinds

497 views • 18 slides