Definitive Program

Date: Tuesday, 21 July 2020

(+) A video presentation of both the keynote and each accepted paper will be available to all registered people several days before the event. In addition, each of the accepted papers will also be available. Therefore, to take full advantage of the time allocated to the workshop, it is important to have watched the videos and/or read the corresponding papers previously.

(#) We encourage those who are interested and plan to attend this workshop section to previously send us (via email, to mhornos at ugr.es and j.augusto at mdx.ac.uk) suggestions and proposals on challenges and exercises to be addressed in this discussion section. Our idea is that we all have the opportunity to actively participate instead of just sitting passively listening to what others say.

Keynote talk

• Safety Critical Programmable Systems Assessment: FIT-based Verification, Complexing of Techniques and Diversity.
  Vyacheslav Kharchenko

Short bio Academia: Professor and Head of Computer Systems, Networks and Cybersecurity Department, National Aerospace University “Kharkiv Aviation Institute” (KhAI). Industry: Head of Centre for Infrastructure Safety Research and Analysis, Research and Production Company Radiy; Coordinator of Kharkiv’s Region Centre Industry 4.0. Society: President of Ukrainian Scientific Educational IT-Society. Projects, publications and conferences: Supervisor and developer of 12 national and branch standards in area of NPP I&C and aerospace systems development and verification, dependability and safety assessment and assurance. Supervisor of 50 PhD and DrS defended dissertations. Invited researcher and professor (UK, 2004, 2016, 2017; Germany, 2006; Slovakia, 2010, 2019; USA, 2011; Poland, 2020). Supervisor of 14 national projects and national coordinator of 10 EU projects on dependable embedded systems and computing, verification environment, infrastructure safety and green IT-engineering. Invited speaker of 16 conferences and workshops (Estonia, Georgia, Germany, Greece, Poland, Slovakia, United Kingdom, Ukraine). General Chair of Dependable Systems, Services and Technologies (DESSERT) Conferences (2006-2020). Author of 30 books and chapters (Springer, IGI-Global, River Publishers), 268 papers in Journals and Proceedings indexed in Web of Science and Scopus, more 700 patents. R&D directions: Dependability, Verification and Validation of Software- and FPGA-Based Systems; I&C Systems Safety, Security and Resilience, Green IT-Engineering.

Accepted papers

• Practical Issues in Aggregation and Distribution of Electrical Power among USB-PD-Connected Devices.
  Kota Tamura, Yuusuke Kawakita, Shinji Yokogawa, Yoshito Tobe and Haruhisa Ichikawa
• HarSaRK-RS: Hard Safe Real-Time Kernel in Rust.
  Kanishkar Jothibasu and Gourinath Banda
• Automated Drone-Based Aircraft Inspection.
  Soufiane Bouarfa and Joselito Serafico
• A Gateway for Enabling Uniform Communication among Inter-Platform JADE Agents.
  Juan A. Holgado-Terriza, Pablo Pico-Valencia and Álvaro Garach-Hinojosa

Program explanation

Due to COVID-19 pandemic, this workshop edition will be held fully online.

As above indicated, we will assume that each attendee has previously watched the videos corresponding to the keynote and the accepted papers. Thus, interesting questions can be asked to be answered by the keynote speaker and the corresponding authors, and even a debate could be generated around some of the questions raised.

After the coffee break, we will have a debate and discussion among all the attendees focused on identifying challenges in the areas covered by the workshop. Of course, we will try to link the ideas discussed to the contents of the keynote and accepted papers previously addressed, with the aim of trying to propose how the achievements of each work can benefit others and establish a real sense of community interested in addressing the current challenges in such areas. Attendees will be also invited to propose other topics they like to be discussed in this activity.

The PDF files of the papers accepted will be also available at least several days before the celebration of the workshop, with the aim of facilitating their previous reading, and thus to take advantage of the time available for fruitful discussing during the meeting.

Finally, we will try to summarized the results and conclusions reached in the previous discussion, before concluding the workshop.