15th European Dependable Computing Conference
17-20 September 2019
Naples, Italy


Adapting to the threat within the digital revolution:
the role of the dependable computing scientific community to create a more resilient cyberspace

Roberto Baldoni
Deputy Director General, Department of Information for Security (DIS), Presidency of Ministry Council of Italy

Wednesday, Sept. 18, 2019 - h. 9:30 – 10:30

We are experiencing tens of concurrent digital tranformation waves that are incredibly fast reshaping every level of our society from agricolture to space sector, from the single citizen behavior to each industry business process improving efficiency and making life easier. Examples of such waves are cloud computing, mobile computing, edge computing, 5G, quantum computing, AI, IoT, blockchain techs, big data, robotics, nanotechs just to name a few. Each wave has its own starting time, current speed and height hitting specific sectors and then move to other ones. New waves will be created and some of the existing ones will slow down, accelerate or cease. Waves can be combined to create new ones. 5G for example could be considered as an improved combination of 4G, cloud, virtualization, edge computing, big data and IoT blended together. As computer scientists we know that this digital revolution brings constantly evolving threats and ceaseless vulnerabilities which become hard challenges for us. But research is just one part of the picture of this new world. Geo-politics, economics and social aspects are important pieces of the same picture.
After analyzing this landscape, the talk will focus on what developed nations and the EU are doing to make the digital revolution a big opportunity of growth for our society reducing the risk of becoming a serious threat to independence and prosperity. The talk will also address the paramount role of the dependable computing scientific community to make that happen as it is the guardian of the inner mechanisms of resiliency, dependability and reliability of information systems. The talk is expected to address cases of specific technologies and threats.

Roberto Baldoni
Roberto Baldoni In January 2018 was appointed by the Italian Prime Minister as the Deputy Director General of the Department of Information for with responsibility for national cybersecurity. He is currently on leave from the Sapienza University of Rome, where he is a full professor of enginnering in computer science. Baldoni was Director and founder of the Sapienza Research Center for Cyber Intelligence and Information Security and, at the national level, the Director and founder of the Cybersecurity National Laboratory established as part of the National Inter-university Informatics Consortium (Consorzio Interuniversitario Nazionale Informatica, CINI). Roberto Baldoni has been Chair of the IEEE committee on Dependable Computing and Fault Tolerance and Chair of the Steering Committee of the International Conference on Dependable Systems and Networks. In his scientific career he has written more than 270 scientific articles for a variety of peer-reviewed international publications and he has been advisor of more than 30 PhD students. In Italy, Baldoni led the public-private working groups to develop the "Cybersecurity National Framework" and the "National Cybersecurity Essentials.” He was the co-founder of Cyberchallenge.IT, a national talent-seeking program currently at its third edition. Baldoni co-edited two editions of the Italian White Book on Cybersecurity in 2015 and 2018.

Safety Critical Systems for Railway Traffic Management

Arturo Amendola
Rete Ferroviaria Italiana

Thursday, Sept. 19, 2019 - h. 9:00 – 10:00

Newest railway traffic management systems are based on Interlocking systems for train routing and ETCS/ERTMS systems for train separation. Safety principles are stated and prescribed by European Norms that recommend architectures as well as methods for design process and validation process. Nowadays most used architectures are based on redundant 2oo2 and 2oo3 CPUs, while other fail-safe architectures, such as coded processor and self-checking mono-processor, have become much less common. Hw or sw implemented watch-dog ensure transition to safe states of the system when wrong side failures occur. Sw design is based on model driven approach and certified code generation tools. Sw design environment normally support also sw analysis and testing. The keynote will present recent advances in these fields, open research challenges, and ongoing academy-industry initiatives.

Arturo Amendola
Arturo Amendola is head of the System Development Department inside the R&D Division of Rete Ferroviaria Italiana (RFI) (Ferrovie dello Stato Group), responsible for design and prototyping of innovative signaling way-side and on-board systems.
From 2010 to 2014 Arturo directed the Product Development Department of Ansaldo STS. Among his duties he was in charge for the delivery of the AutoHaul signaling systems, an autonomous train system (iron ore trains of Rio Tinto in the Pilbara region of Western Australia) based on technology “ATO over ETCS Level 2” to support Grade of Automation 4 unattended operation.
Previously Arturo led the RAMS and V&V Department of Ansaldo STS for about 15 years, managing the earliest applications of the European Norms for the safety certification of Interlocking System of Roma Termini Station (1999) and Copenhagen Automated Metro System (2002), and later the safety certification of the early ERTMS level 2 lines in revenue service in Europe (High Speed Lines Torino-Milano and Milano-Bologna).

Programmable Networks for Industry 4.0: Resiliency Challenges for Communicating to the Limit

Catello (Lelio) Di Martino
Research Scientist, End to End Network and Service Automation (ENSA) at Nokia Bell Labs US

Friday, Sept. 20, 2019 - h. 9:00 – 10:00

We are at the beginning of an era of profound transformation and human progress — a new industrial revolution. This “Automation of Everything” era will be brought about by digital interfaces, data analysis and control of the physical world through networks. The full potential of this fourth Industrial Revolution is about going beyond the idea of just replacing physical with digital. It’s about augmenting the physical infrastructure, and using digital means to do it better, faster, safer.
Digital transformation drives a set of new requirements that have the network at the center, connecting everything, providing compute wherever it is needed, and applying insights to execute with precision. To accomplish this, networks must be able to connect everything simultaneously, whenever necessary, with guaranteed quality of service, even as the number, diversity and operating condition change. Networks must have the flexibility to connect industry applications to compute resources in a way that meets stringent latency, capacity, resiliency and security requirements. This keynote will illustrate the challenges in creating resilient hyper-connected programmable networks supporting this vision. Finally, after presenting few example use cases, this keynote will illustrate a programmable architecture capable of bringing together Robotics, Software Defined Networks and Edge Cloud Computing to enable cross-boundaries applications in vertical markets.

Lelio Di Martino

Workshop Keynotes - Tuesday Sept 17, 2019

From Dependability to Connected and Automated Mobility: We Need to Talk

John Favaro
Senior Analyst, Trust-IT - Pisa, Italy

Tuesday Sept. 17, 2019 - h. 9:30 - 10:30 @ CARS 2019

The imminent arrival of 5th Generation wireless networks is being accompanied by promises of revolutionizing the automotive industry along several dimensions. The European Commission has made Connected and Automated Mobility (CAM) a strategic priority, and a 5G Automotive Alliance has been created to advance the interests of the European automotive industry. The European 5G Public Private Partnership is funding 5G Cross-Border Corridors in order to trial automotive 5G connectivity across Member States. One of the highest stated priorities is to contribute to the introduction of automated driving. In addition, a number of so-called “complex use cases” have been elaborated within the context of collaborative driving, all with a particular view toward enhancing safety. This talk will report on these and other current CAM initiatives in Europe, and provide observations on the nascent interactions with the dependability community to address both the challenges and opportunities presented by the connected car.

John Favaro
John Favaro is a senior analyst at Trust-IT in Pisa, Italy, where he is Deputy Coordinator of the Global5G.org project. John has over fifteen years of experience in functional safety. He developed one of the earliest training courses in ISO26262 and has participated in numerous industrial development projects with OEMs and Tier 1 suppliers. He was Technical Director of the SESAMO project on the integration of safety and security in cyber-physical systems. He is an Associate Editor in Chief of IEEE Software magazine, where he co-edited the Special Issue on Automotive Software in 2017. John graduated in Computer Science from Yale University and the University of California at Berkeley.

Ethics and Privacy in Autonomous Systems: A software exoskeleton to empower the user

Paola Inverardi
University of L'Aquila, Italy

Tuesday Sept. 17, 2019 - h. 9:15 - 10:30 @ SERENE 2019

Software systems are increasingly autonomous in making decisions on behalf of potential users. In these systems, the power of self goes beyond the ability of substituting human agents operating on software systems and exceeds the system boundaries invading the user prerogatives.

Privacy and ethical issues are at the top of the research agenda in (big) data management and AI, that offer a wide range of techniques often used as key (black box) components of autonomous systems. In this talk I discuss these issues from the software system’s developer perspective that uses such black box components and outline a new approach based on a partially synthesized software architecture that adapts the system to the user privacy and ethical preferences and empowers the user through a software exoskeleton.

Paola Inverardi
Paola Inverardi is a professor at University of L'Aquila, where she has been since 1994. From 2013 to 2019 she is Rector of University of L'Aquila. Her research interests are in the application of rigorous methods to software production in order to improve software quality. Her research interests mainly concentrated in the field of software architectures, automatic synthesis of connectors for heterogeneous systems, adaptive (mobile) systems. She has received a Honorary Doctorate in computer science at Mälardalen University Sweden and a Honorary Doctorate in engineering at Shibaura University, Tokio Japan. She has received the 2013 IEEE TCSE Distinguished Service Award. She is member of Academia Europea.