Deliverable D1.5

CRITICAL STEP -­‐ CRITICAL Software Technology for an Evolutionary Partnership FP7-­‐PEOPLE-­‐2008-­‐IAPP 230672 Deliverable no.: D1.5 Deliverable Title: Final TOK workshop Organisation name of lead Contractor for CINI this Deliverable: Author(s): F. Capobianco, C. Esposito and N. Silva Participant(s): ALL Work package contributing to the deliverable: WP1 Task contributing to the deliverable: 1.2 Version: 1.0 Total Number of Pages 28 Project funded by the European Community under the Seventh Framework Programme Final TOK workshop report -­‐ Deliverable 1.5 1 Final TOK workshop report -­‐ Deliverable 1.5 Table of Versions Version Date 0.1 15.03.2013 0.2 1.0 10.04.2013 28.04.2013 Authors Version Description Reviewers Date of Approval F. Capobianco Draft structure and Content Second Revision Final Version C. Esposito -­‐ C. Esposito C. Esposito -­‐ 30.04.2013 F. Capobianco F. Capobianco Authored by: With the contribution of: F. Capobianco C. Esposito and N. Silva Final TOK workshop report -­‐ Deliverable 1.5 2 ACRONYMS Acronym SCSs OTS TOK CSW CINI ATC V&V UML InFSE CPU RTOS ECSS Definition Safety-­‐Critical Systems Off the Shelf Transfer of Knowledge Critical Software Consorzio Interuniversitario Nazionale per l’Informatica Air Traffic Control Verification & Validation Unified Modeling Language Infrastruttura tecnologica del Fascicolo Sanitario Elettronico Central Processing Unit Real Time Operating System European Cooperation for Space Standardization Final TOK workshop report -­‐ Deliverable 1.5 3 Table of Contents Summary ............................................................................................................................................ 5 1. Introduction ............................................................................................................................. 6 2. Objectives .................................................................................................................................. 7 3. Organizational Aspects ....................................................................................................... 9 3.1 Pre-­‐registration ............................................................................................................ 9 3.2 Venue ................................................................................................................................. 9 3.3 Staff ................................................................................................................................. 10 3.4 Social dinner ................................................................................................................ 10 4. Communication Material ................................................................................................. 11 5. The workshop ...................................................................................................................... 15 5.1 "Academia-­‐Industry Collaboration: how can it improve?" ..................... 15 5.2 Fault Injection and Verification & Validation sessions ............................. 16 5.3 Security and Safety and Certification sessions ............................................. 16 5.4 Keynotes sessions ..................................................................................................... 17 6. Event Evaluation ................................................................................................................. 18 6.1 Attendance ................................................................................................................... 18 6.2 Feedback Questionnaire results ......................................................................... 18 6.3 Press Release and TV ............................................................................................... 20 Conclusion ...................................................................................................................................... 22 Annex I – List of Participants of the 20th February 2013 ........................................... 23 Annex II– List of Participants of the 21st February 2013 ........................................... 25 Final TOK workshop report -­‐ Deliverable 1.5 4 Summary This report provides an overview of the organizational aspects and discussions generated with regard to the Critical Step Final Workshop. Critical Step Final Workshop was held in Coimbra on 20th and 21st February 2013, nevertheless all the organisational efforts were realised by the consortium during the previous months. The title chosen for the event was “Critical Step Workshop on Dependability and Certification”; while, the location for the event was the hotel “Quinta das Lagrimas” in Coimbra (Portugal). The workshop had an audience interested in the Critical Step project activities and opportunities related to the different themes and aspects of the Certification and Dependability research opportunities. Final TOK workshop report -­‐ Deliverable 1.5 5 1. Introduction This document describes the operational activities carried out by the Consortium to successfully organise the Critical Step Final Workshop and related achieved results. The actual trend for the implementation of large-­‐scale SCSs is to use middleware platforms with modular OTS components. In this way a complex information control system is “broken down” into interconnected federated systems and components that need less effort, cost and time for development and maintenance that can be more efficient. The critical mission of these systems calls for quantifiable requirements for reliability, safety and security that are not yet standardized or clearly defined for systems and components currently available on the market. Testing is the most used way for software evaluation. Indeed OTS software usually provides a limited visibility of their code hence Black Box Testing is the most used testing technique. Commonly employed strategies are statistical testing and injection testing. Injection Testing entails fault injection techniques that still needs to be assessed further to better identify their benefits and complementarities. On-­‐line diagnosis of system is needed to continuously monitor the system in order to detect and isolate faults as they occur, and trigger proper fault treatment actions. To date on-­‐line diagnosis seems to be the only suitable approach for fault diagnosis. Therefore the management of complex SCSs requires on-­‐line diagnosis of faulty behaviour that can be realised only after gaining an in-­‐depth knowledge. Here, the Critical Step project comes into play. The Critical Step Final Workshop aimed first to show Critical Step project results, areas of activity and to foster collaboration between Industries and Academia on Dependability and Certification Topics. Final TOK workshop report -­‐ Deliverable 1.5 6 2. Objectives The specific objective of the Critical Step Final Workshop was not only to create awareness and to provide practical demonstrations of the Critical Step activities, but also to find new ways of collaboration among Universities and Industries. The main targets achieved during the event were the following ones:  To reach an audience of at least 100 researchers from universities and companies holding a stake in the sector of Large Complex Critical Infrastructures (tot 50 person x 2 day), external to the Critical Step consortium.  To held a roundtable on Industry and Academia actual collaboration;  To provide the audience with the topics like Fault Injection/ RAMS, Verification & Validation, Security and Safety & Certification;  To stimulate and improve the collaboration between Industry and Academia. In Figure 1 and 2, the Agenda with a detailed description of both of days is presented. Final TOK workshop report -­‐ Deliverable 1.5 7 8:00-9:00
9:00-10:00
10:00-11:00
11:00-11:30
11:30-11:50
11:50-12:10
12:10-12:30
12:30-12:50
12:50-13:00
13:00-14:30
14:30-14:50
14:50-15:10
15:10-15:30
15:30-15:50
15:50-16:10
16:10-16:30
16:30-16:50
16:50-17:00
Registration
Opening - Domenico Cotroneo (CINI /University of Naples, Italy), Project
Coordinator
Round Table on "Academia-Industry Collaboration: how can it improve?"
moderated by Nuno Silva (Critical Software, Portugal)
•
•
•
•
•
Marco Costa (Critical Software, Portugal), CEO,
João Gabriel Silva (Coimbra University, Portugal), University Dean,
Roberto Baldoni (University of Rome, Italy), PhD,
Massimo Loffreda (SESM, Italy), Technical Director,
Prof. Paolo Ciancarini (University of Bologna), Director of CINI
Keynote 1: Roberto Baldoni (University of Rome, Italy) - Future Perspective
in the Dependability Community
Coffee Break
TRACK 1: Fault Injection and RAMS
Introduction - Henrique Madeira (FCTUC / Coimbra University, Portugal)
Contribution 1 - Anna Lanzaro (CINI\University of Naples, Italy) – Fault
Injection for Multicore Systems
Contribution 2 – Aniello Napolitano (SESM, Italy) – How to exploit software
fault injection to improve the quality of ACT systems, a real world experience
Contribution 3 – Nuno Silva (Critical Software, Portugal) - RAMS: From system
definition to maintenance
Concluding Remarks - Henrique Madeira (FCTUC / Coimbra University,
Portugal)
Lunch Break
TRACK 2: Verification and Validation
Introduction - Stefano Russo (CINI / University of Naples, Italy)
Contribution 1 - Gabriella Carrozza (SESM, Italy) – Enabling transfer of
knowledge between industry and academia to improve V&V in critical scenarios
Contribution 2 - Takeshi Yoshikawa (Japanese Space Agency, Japan) - JAXA
IV&V value based application and formal method challenge
Contribution 3 – Vergílio Rocha (EDP, Portugal) – Importance of V&V for
Energy Market applications
Coffee Break
Contribution 4 – Einar Landre (Statoil, Norway) - Software dependability in
upstream oil and gas - challenges and opportunities
Contribution 5 – Zhen Ru Dai (University of Applied Science in Hamburg,
Germany) - The Role of Models for Verification and Validation (V&V) with UML
Testing Profile
Concluding Remarks - Stefano Russo (CINI / University of Naples, Italy)
Figure 1: First day Agenda 9:00-10:00
10:00-10:30
10:30-11:00
11:00-11:20
11:20-11:40
11:40-12:00
12:00-12:20
12:20-12:40
12:40-12:50
12:50-14:30
14:30-14:50
14:50-15:10
15:10-15:30
15:30-15:50
15:50-16:10
16:10-16:20
Keynote 2: Allen Nikora (JPL-NASA, USA) - Software Reliability for Mission
Critical Systems
Keynote 3: Jay Naphas (Federal Aviation Administration, USA) – Knowledge
is Safety
Coffee Break
TRACK 3: Security
Introduction - Andrea Bondavalli (University of Florence, Italy)
Contribution 1 - Marco Vieira (FCTUC / Coimbra University, Portugal) –
Defending against Web Application Vulnerabilities
Contribution 2 - Giuseppe De Pietro (ICAR, Italy) – Security Issues for
Electronic Health Record
Contribution 3 - Luigi Romano (PARTHENOPE, Italy) - Enhancing SIEM
technology for protecting Critical Infrastructures
Contribution 4 - András Pataricza (BME - Budapest University of Technology
and Economics, Hungary) - Co-modeling Safety and Security
Concluding Remarks - Andrea Bondavalli (University of Florence, Italy)
Lunch Break
TRACK 4: Safety and Certification
Introduction - José Nuno Oliveira (University of Minho, Portugal)
Contribution 1 – Rosaria Esposito (Resiltech, Italy) - Safety Analysis of the
Usage of Dual Core CPU Architecture in Mobile Terminal Solutions
Contribution 2 – Michael Butler/John Colley (University of Southampton, UK) Integration of Safety Analysis with Formal Modelling
Contribution 3 - Paulo Fernandes (Critical Software, Portugal) - Experience on
qualifying an RTOS according to ECSS (Level B)
Contribution 4 - Tony Mattravers (Business Consultant, Serena, UK) - Safety
Critical Certification Management Solution
Concluding Remarks - José Nuno Oliveira (University of Minho, Portugal)
Figure 2: Second day Agenda Final TOK workshop report -­‐ Deliverable 1.5 8 3. Organizational Aspects CSW and CINI collaborated actively since July 2012 to elaborate the agenda, to prepare the material to distribute at workshop attendees, to invite and check speakers’ availability. In occasion of the last TOK meeting held in Coimbra on 27th of July 2012, the whole Consortium was involved in the event arrangement and promotion efforts to their own contacts. In addition, CINI coordinated the efforts of the project partners to prepare a book with the main finding of the project to be given at workshop attendees. Specifically, such efforts consisted in (i) defining the structure and content of the book; (ii) reviewing the different contributions to be included in the book, (iii) contacting the potential publishers and selecting the best one. Hereafter information concerning the organisational aspects and the equipment available during the workshop is provided. 3.1 Pre-­‐registration CSW set up a specific page were people interested in participating into the event registered their organisations. (http://www.criticalsoftware.com/dependability-­‐
workshop-­‐2013/) Here below, in Figure 3, a screenshot with the image of the pre-­‐registration page prepared by CSW and CINI: Figure 3: Screenshot of the registration form 3.2 Venue The entire event was held in Hotel Quinta das Lagrimas, Rua António Augusto Gonçalves / P-­‐3041-­‐901 Coimbra (Beira Litoral) – Portugal. This is one of the most famous hotels in Portugal. The origin of the estate is uncertain. It is known that it was a hunting ground for the Portuguese royal family and that it later belonged to the University of Coimbra and afterwards to a religious order. Then Final TOK workshop report -­‐ Deliverable 1.5 9 the Osório Cabral de Castro family acquired it in 1730, by whose order the palace was built. In 1879 a large part of the palace was lost during a fire. Miguel Osório Cabral de Castro rebuilt it in the late nineteenth century, in a style different from that of the original. In 1977 it was converted in a luxury hotel. The hotel has less than 80 rooms, which were all reserved for the participants to the workshop. The two days conference were in Room “Sala Aqua” with a capacity of 100 people. The room was full furnished with a technician ready to help for problems related to microphones, projector, light etc. As the event was held in English, no translation service was needed. 3.3 Staff Two people, one from CSW and the other from CINI helped with the registration procedures, giving the attendees the documents of the event (see paragraph 4 “Communication material”), a bag with a copy of the book edited ad hoc for the event, Innovative Technologies for Dependable OTS-­‐ Based Critical Systems book, an USB pen-­‐drive, and a badge with their name and organisation of provenience and the agenda. CINI and CSW made their human resources available to help the activities going smoothly, with regard to chair the session, introduction of speakers, management of power point presentations, needs from the audience, passing the microphone during the discussions, etc. 3.4 Social dinner A social dinner was offered to speakers and organizers of the event. The dinner took place on 20th of February 2013 in Palacio de San Marcos. University of Coimbra offered the location while SESM the catering. Figure 4 shows Palacio de San Marcos, which was built in the middle of the XX century on the ruins of a monastery belonging to the Order of St. Jerome XV. The time of extinction of the religious orders in 1834, the monastery became a private possession. The lack of maintenance consists of a major fire that took place in 1860, voted him the space in a state of almost total ruin, which were saved only monastic church and the house of the pharmacy. In 1976 the building was purchased by the Portuguese Foundation of the House of Braganza and subsequently transferred to the University of Coimbra in 1981 to conduct scientific, cultural and social. People attending the dinner were 35. Between them, also Carlos Manuel Sousa Encarnação, mayor of Coimbra, also attended the dinner offering the participants a special gift, which was a series of imprints of the city of Coimbra. Final TOK workshop report -­‐ Deliverable 1.5 10 Figure 4: San Marcos Palace 4. Communication Material The communication material elaborated for the Critical Step Final Workshop was planned and prepared well in advance in order to start with the promotion of the event through different communication channels (i.e. emails, website, etc.). More in details, the following material was used: Before the date of the event: Electronic invitation and programme of the event: an invitation with the programme attached was sent to more than 300 people between the Critical Step project Consortium contacts to promote the event and to encourage the participation to Critical Step Final Workshop. On web: A part the use of invitation e-­‐mail, attendees received became aware about it trough Critical Step Website (http://www.critical-­‐step.eu/) and CSW website (http://www.criticalsoftware.com/media/press_releases/2013/2/csw_worksho
p/). During the event: Critical Step project event bag: a specific bag has been designed by CSW and CINI to be distributed to the attendees during the Critical Step project event with some material about the event, a copy of Innovative Technologies for Dependable OTS-­‐ Based Critical Systems, an USB pen-­‐drive and a badge with their name, organisation of provenience and the agenda inside. Critical Step project brochures: inside the bag was included the Critical Step project brochure; it explains project’s features, objectives, services, tools, and consortium (see Figure 6 and 7). Critical Step project poster: A poster ad hoc was created for the event, containing the main information about the project (see Figure 8). Programme of the days: the programme of the two days with the details of all presentations and organization was also inside the bag together with the badge. Critical step project Book: Innovative Technologies for Dependable OTS-­‐ Based Critical Systems book, which is a collection of part of research results from the
Final TOK workshop report -­‐ Deliverable 1.5 11 CRITICAL Software Technology for an Evolutionary Partnership. Springer, as seen
in Figure 5, edits the book.
Figure 5: Critical Step project book cover Feedback questionnaire: CSW provided a questionnaire for the attendees of the Workshop, asking feedback on the content of the workshop: the degree of interest, knowledge added by participating in the workshop. All the participants left very excellent comments about the workshop (for more information go to chapter 6, Event Evaluation) organisation and in particular about the interesting topics approached.) Final TOK workshop report -­‐ Deliverable 1.5 12 Figure 6: Brochure -­‐ Outside Figure 7: Brochure -­‐ Inside Final TOK workshop report -­‐ Deliverable 1.5 13 Figure 8: Critical Step project Poster Final TOK workshop report -­‐ Deliverable 1.5 14 4. The workshop The moderators were alternatively people from CINI and CSW. The workshop lasted two days, the 20th and 21st February 2013. The first day was dedicated not only to Fault Injection/ RAMS and Verification & Validation, but also to a panel discussion on how to improve the collaboration between Industry and Academia and to the Keynote of prof. Roberto Baldoni, from University of Rome, Italy. The second day had as main topics Security, Safety and Certification. The day started with two keynotes: Allen Nikora, from JPL-­‐NASA, USA and Jay Naphas, from Federal Aviation Administration, USA. 5.1 "Academia-­‐Industry Collaboration: how can it improve?" The workshop started with the round table “Academia-­‐Industry Collaboration: how can it improve?”. Beside more than the 90 participants, protagonists of this panel were: •
•
•
•
•
Marco Costa (Critical Software, Portugal), CEO; João Gabriel Silva (Coimbra University, Portugal), University Dean; Roberto Baldoni (University of Rome, Italy), full professor, Massimo Loffreda (SESM, Italy), Technical Director; Prof. Paolo Ciancarini (University of Bologna), Director of CINI. During this panel, which lasted more or less an hour, these five people explained, from their point of view, how to combine the Industry and Academia visions in order to let them work together. Main reasons found for the lack of success and cooperation from both sides were the following ones: •
•
•
•
•
Universities are missing in product services. When they start to think about that they create their own companies, spinoff; Industries are more focused on the market and money than on research themes; Academic timing is very huge, while the Industry one is faster; Difficulties of Industry and Academia in sharing all information (Confidentiality issues, Commercial aspects); Reorganizations of Companies make trouble to Universities, which kept trust on people who maybe do not have the same role anymore. At the same time new points of view arose trying to give advices on how to improve this situation: •
•
Look outside Europe. It can be cheaper finding collaboration; Build a more organized way to collaborate, which can give more benefits. Final TOK workshop report -­‐ Deliverable 1.5 15 5.2 Fault Injection and Verification & Validation sessions Fault Injection session was presented by Henrique Madeira who introduced the speakers of this session, explained what Fault Injection is, its use and examples of hardware Fault Injection and Software Fault Injection. Speakers of this session were: • Anna Lanzaro from CINI (Fault Injection for Multicore Systems), • Aniello Napolitano from SESM (How to exploit software fault injection to improve the quality of ACT systems, a real world experience), • Nuno Silva from Critical Software (RAMS: From system definition to maintenance). At the end of their presentation a new round-­‐table was foreseen to discuss about their contribution. To remark the contribution of Aniello Napolitano, which was related to the use of Fault Injection to improve the quality of systems. All question asked to speakers were focused on the practical use of Fault Injection. Understanding customers’ issues and their needs before realizing a tool was the main answer. Stefano Russo was the chair of Verification & Validation session. After introducing speakers of this session, he focused his presentation on V&V in the Critical Step project and related publications. Speakers of this session were: • Gabriella Carrozza from SESM (Enabling transfer of knowledge between industry and academia to improve V&V in critical scenarios), • Takeshi Yoshikawa from Japanese Space Agency (JAXA V&V value based application and formal method challenge), • Paulo Moniz from EDP (Importance of V&V for Energy Market applications), • Einar Landre from Statoil (Software dependability in upstream oil and gas -­‐ challenges and opportunities), • Zhen Ru Dai from University of Applied Science in Hamburg (The Role of Models for Verification and Validation (V&V) with UML Testing Profile). Remarks at the end of the presentations were basically two:  Think differently for systems integrators;  More support for organizations for non-­‐functional testing. 5.3 Security and Safety and Certification sessions On 21st of February, Andrea Bondavalli was the chair of the third track on Security. Speakers of this session were: • Nuno Antunes from FCTUC / Coimbra University (Defending against Web Application Vulnerabilities), • Giuseppe De Pietro from ICAR-­‐CNR (Security Issues for Electronic Health Record), • Luigi Romano from PARTHENOPE (Enhancing SIEM technology for protecting Critical Infrastructures), Final TOK workshop report -­‐ Deliverable 1.5 16 •
András Pataricza from BME -­‐ Budapest University of Technology and Economics (Co-­‐modeling Safety and Security). Nuno Antunes substituted Marco Vieira in his presentation on Vulnerabilities in Web Applications. His presentation consisted of a discussion about techniques to be used to prevent attacks. Giuseppe De Pietro speech was about Security in Electronic Health Record. He described a solution in InFSE project with the respect of Italian Standards. Luigi Romano gave an overview of vulnerabilities in critical infrastructures (cyber-­‐attacks). SIEM technology provides tools and utilities to contrast vulnerabilities. He also described some projects where SIEM have been used. Andràs Pataricza presentation was about Formal Methods and the use of Fault Models in security standards to optimize Formal Models. José Nuno Oliveira, from University of Minho introduced track 4, Safety and Certification. Speakers of this last session were: • Rosaria Esposito from Resiltech (Safety Analysis of the Usage of Dual Core CPU Architecture in Mobile Terminal Solutions), • John Colley from University of Southampton (Integration of Safety Analysis with Formal Modeling), • Paulo Fernandes form Critical Software (Experience on qualifying an RTOS according to ECSS (Level B)), • Tony Mattravers from Serena (Safety Critical Certification Management Solution). 5.4 Keynotes sessions For both of days a special introduction to session was foreseen. On 20th Roberto Badoni, from University of Rome had a talk on Future Perspective in the Dependability Community, while on 21st keynotes were Allen Nikora from JPL-­‐
NASA, with a talk on Software Reliability for Mission Critical Systems and Jay Naphas from Federal Aviation Administration with a talk titled Knowledge is Safety. First talk by Baldoni had as main topic Dependability in Complex Systems, considering as a complex system a human network, and Dependability under severe cyber attacks. Indeed cyber attacks seem to be a daily problem in everybody’s life and he considers them as the first class threats. Allen Nikora put his attention on Software Reliability on how to reduce defects in fielded system, to prevent introduction of defects during development/maintenance and to remove defects prior to fielded use. For Nikora, what is needed to do this is relate defect type/quantity to system, development, and environmental attributes and the ability to identify incorrect/unexpected behaviour during test, inspection. Jay Naphas spoke about challenges facing software safety, how and why these challenges are broader than commercial space, the origin of software error and how meet these challenges. Final TOK workshop report -­‐ Deliverable 1.5 17 6. Event Evaluation 6.1 Attendance The first goal to achieve was to reach an audience of at least 50 researchers from universities and companies holding a stake in the sector of Large Complex Critical Infrastructures (tot 50 person x 2 day), external to the Critical STEP consortium. th
20 February 2013: 95 people from Industry and Academia attended the workshop the first day. Between them, 63 were from Industry and 32 from Universities. At least 50 researcher not directly involved in the project were foreseen for the first day. Indeed they were 54, 38 from Industrial Organization and 16 from Universities. 21st February 2013: 95 people both from Industry and Academia attended also the second day of conference. Between them, 63 were from Industry and 32 from Universities. 50 people outside the Critical Step project Consortium were foreseen also for the second day. Also on this day the goal was achieved wit 53 people, 36 from Industry and 17 from Academia. Most of the attendees were from Portugal, nevertheless the event reached interested of people coming from USA and Japan. Figure 9 shows the country distribution of people attending the first day of workshop. The second day is not shown because of not substantial difference with the previous one. France Germany Hungary Italy Japan Norway Portugal Spain UK Figure 9: Country distribution of attendees of the first day workshop 6.2 Feedback Questionnaire results Among the 317 people invited, 95 participated into the event on the 20th and on the 21st, between them only 23 answered the feedback questionnaire foreseen for the event. Final TOK workshop report -­‐ Deliverable 1.5 18 The questionnaire was organized in two sections. The first one was about Organization and Logistics. Attendees were asked to give a point between 1 and 5 (not good, sufficient good, very good, excellent) to the overall workshop, location, organization of the workshop, overall duration of the workshop and fulfilment of expectations. Figure 10 shows only very good and excellent quotations; cause no one flagged points between 1 and 3, but only 4 and 5, respectively very good and excellent. 21 21 16 15 8 14 9 Very Good 7 2 Overall Workshop Location 2 Organisation Overall Duration Excellent Fulvilment of expectations Figure 10: Satisfaction regarding the organisation and logistics of the workshop The second section of the questionnaire is related to the relevance of the workshop. Attendees were enquired on the main reason for participating to the event between i) be updated with the solutions/technologies proposed for discussion; ii) getting to know solutions that can respond to the needs of my organizations/ research; iii) get an answer to a specific need I have; iv) promote exchange of knowledge/research topics; v) other reasons, specify. Figure 11 shows that the main reason for attending the workshop was to “Know about the solutions that can answer the needs of the organisation/research“. Final TOK workshop report -­‐ Deliverable 1.5 19 Promote exchange of knowledge/research topics Get an answer to a specivic need I have Know about the solutions that can answer the needs of Be updated with the solutions/technologies 8 0 13 10 Another reason 2 0 5 10 Figure 11: Reasons for attending the workshop 15 Attendees were finally asked if they plan a project in any of the areas presented or if they were interested in any of the project proposal presented during the workshop. 6 of the participants answered that they are planning a project in this area over the next three months, 2 at a time between 3 to 6 months and 4 in the next 6 months. Regarding the interest in a project or proposal for the solutions presented, 6 participants were "very interested” and 11 “have some interest”. 6.3 Press Release and TV Journalists also attended the event giving the workshop very good feedbacks. 1. On 20th of February news about the workshop was on RTP1 Jornal da tarde. RTP1 is one of the most important Portuguese television displayed every day at 13 pm. 2. On 21st of February two articles on two different newspapers were dedicated to Critical Step project workshop. a. One appeared on Diario de Coimbra, which is one of the three main newspapers of Coimbra, with the title “Parceria entre universidades e empresas deve ser regulamentada”. This articled highlighted the strengths to reduce distance between Industry and Academia. b. The second one appeared on Diario as Beiras, which, as well as Diario de Coimbra, is one of the main newspapers in Coimbra. The title was “Melhorar a ligação empresas-­‐ensino”, which stressed the link between the two secotrs, industry and academia, and also the fact they cannot move on and improve their know-­‐how alone. 3. On 21th of February there was one more article available on web in TEK Noticias blog at the following link: Final TOK workshop report -­‐ Deliverable 1.5 20 http://tek.sapo.pt/noticias/computadores/robustez_dos_sistemas_critico
s_debatida_em_se_1300903.html. 4. On 26th of February TV Ciências dedicated a short reportage on Critical Step project Workshop, with three interviews to Nuno Silva from CSW, Jay Naphas from Federal Aviation Administration and Alain Nikora from NASA. 5. On 28th of February Radio Universidade de Coimbra broadcasted two interviews to prof. Luigi Romano from Parthenope University and Ricardo Barbosa from Critical Software, recorded during the workshop days. Final TOK workshop report -­‐ Deliverable 1.5 21 Conclusions The Critical Step project Workshop results can be considered successful, as far as the main targets were reached: Number of Attendees: the total number of attendees during the two days workshop was of 95 people per day, with an attendance of 54 people on 20th and 53 on 21st not directly involved in the project. This can be considered a very successful result, considering that the audience was belonging to a very specific technical environment. Composition of Attendees: the audience was mainly composed by industrial representative and academic organisations. Gathered Feedback from audience: the Critical Step project Feedback Questionnaire returned completed by part of the attendees and showed their keen appreciation of the whole event and of the Critical Step project workshop. Final TOK workshop report -­‐ Deliverable 1.5 22 Annex I – List of Participants of the 20th February 2013 N 1 2 FirLas Name Mendes Santos Martins Organization EDP EFACEC, Sistemas de Electrónica Sagres First Name Jorge Daniel Claúdio 3 4 Martins João EFACEC, Sistemas de Electrónica 5 Azevedo Helder EFACEC, Sistemas de Electrónica 6 7 8 9 10 11 12 Silva Correia Pinto Rodrigues Moniz Nikora Carrozza Russo João Gabriel Miguel António Paulo Allen P. Gabriella Stefano Reitor da Univ. de Coimbra IPFN IPFN EDP NASA SESM CINI/Univ. of Naples 13 Cotroneo Domenico CINI/Univ. of Naples 14 Capobianco Francesca CINI/Univ. of Naples 15 16 17 18 19 20 Yoshikawa De Pietro Romano Naphas Winzer Pataricza Takeshi Giuseppe Luigi Jay Lothar András 21 22 23 24 25 26 Reinaldos Colley Baldoni Landre Mattravers Jugg Maria Garcia John Roberto Einar Tony Russell 27 Nogueira Rodrigo 28 Almeida Delio JAXA, Japan ICAR CNR PARTHENOPE FAA ESA/ESTEC Budapest University of Technology and Economics, Department of Measurement and Information Systems ESA/ESTEC University of Southampton Sapienza University of Rome Statoil Serena Software Critical Software Technologies Ltd. Estudante de Mestrado Informática -­‐ FCTUC Critical Software, SA 29 Barros Edmar 30 Guerra Pietrantuono Rui Roberto EFACEC, Sistemas de Electrónica Country Portugal Portugal Portugal Portugal 31 Portugal Portugal Portugal Portugal Portugal USA Italy Italy Italy Italy Japan Italy Italy USA France Hungary France UK Italy Norway USA Portugal Portugal Portugal Estudante de Informática -­‐ FCTUC Portugal NAV Portugal Portugal Critiware S.R.L. Italy Final TOK workshop report -­‐ Deliverable 1.5 23 32 Joaquim 33 34 35 36 Tojal Faria Reis Hill Dai 37 Ivaki Naghmeh 38 39 40 Areias Nunes Rodrigues 41 42 43 44 45 46 47 Guedes Loffreda Ventura Brezhnev Oliveira Veloso Roque Correia 48 49 50 Ciancarini Capobianco Gorbenko Cristiana José Manuel Maximino Xavier Paulo Massimo Rafael Eugene Joel Luísa Pedro Gonçalo Paolo Gennaro Anatoliy 51 52 53 54 55 56 57 58 59 60 61 62 63 64 Marino Annunziata Vicente Ramos Marino de Stradis Correia de Oliveira Gargaté Cordeiro Brito Lopes Almeida Gameiro Garrido Rodriguez 65 66 67 68 69 70 Moreira Sousa Lourenço Marques Silva Barbosa José Miguel Francisco Alexander Zhen Ru Valeria MIchele Susana Isabel Nicola Daniele Rui André Luís Rui João Rui Jorge Mauro José Luís Carlos Dominguez Francisco Tiago Ivo Arlindo Nuno Ricardo Educed Educed Instituto Superior Miguel Torga CSW Technologies University of Applied Science Hamburg, Germany CISUC, Dept. of Informatics Engineering, University of Coimbra DEI -­‐ UC IPC/ISEC EDP Distribuição Italy Critical Software, SA SESM UC National Aerospace University CSW CIES-­‐IUL FCTUC Portugal Italy Portugal Ukraine Portugal Portugal Portugal University of Bologna Ansaldo STS Department of Computer Systems and Networks, National Aerospace University CIAOTECH SESM Rome Universidade Coimbra DEMA Assioma.net DEI -­‐ FCTUC Italy Italy Ukraine Critical Software Critical Software Critical Software Critical Software Critical Software Critical Software University of Granada University of Granada Portugal Portugal Portugal Portugal Portugal Portugal Spain Spain Critical Software Efacec Engenharia e Sistemas Efacec Engenharia e Sistemas Efacec Engenharia e Sistemas CSW CSW Portugal Portugal Portugal Portugal Portugal Portugal Final TOK workshop report -­‐ Deliverable 1.5 Italy Portugal UK Germnay Portugal Portugal Portugal Portugal Italy Italy Portugal Italy Italy Portugal 24 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 Madeira Antunes Laranjeiro Fonseca Cunha Durães Lanzaro Esposito Napolitano Costa Bortin Cunha Quadris Arejio Teixeire Seira Roldos Fereira Gomez Velez Oliveira Avelas Cames Alves Simoes Henrique Nuno Nuno José Carlos João João Anna Christian Aniello Marco Maksym Cunha Gonçalo Carlos Meldor Patricio Nuno Rui Ana Santos Ana Paulo Rui Luis Lucia Isabel FCTUC FCTUC FCTUC FCTUC FCTUC / ISEC CISUC CINI CINI SESM CSW CSW ITGROW CSW diario de Coimbra FEUP diario de Coimbra diario de Coimbra Casa do Bitz Vida Economica Valkirias RTP CSW diario de Coimbra TV Ciencias RUC Portugal Portugal Portugal Portugal Portugal Portugal Italy Italy Italy Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Annex II– List of Participants of the 21st February 2013 N 1 2 FirLas Name Mendes Santos Martins Organization EDP EFACEC, Sistemas de Electrónica Sagres First Name Jorge Daniel Claúdio 3 4 Martins João EFACEC, Sistemas de Electrónica 5 Azevedo Helder EFACEC, Sistemas de Electrónica 6 7 8 9 10 11 12 13 Caires Correia Pinto Rodrigues Moniz Nikora Bondavalli Carrozza Russo Luis Miguel António Paulo Allen P. Andrea Gabriella Stefano FCT UNL IPFN IPFN EDP NASA University of Florence SESM CINI/Univ. of Naples EFACEC, Sistemas de Electrónica Country Portugal Portugal Portugal Portugal Final TOK workshop report -­‐ Deliverable 1.5 Portugal Portugal Portugal Portugal Portugal USA Italy Italy Italy 25 14 Cotroneo Domenico CINI/Univ. of Naples 15 Capobianco Francesca CINI/Univ. of Naples 16 17 18 19 20 21 22 Yoshikawa De Pietro Romano Oliveira Naphas Winzer Pataricza Takeshi Giuseppe Luigi José Nuno Jay Lothar András 23 24 25 26 27 28 29 Reinaldos Colley Landre Esposito Fernandes Mattravers Jugg Maria Garcia John Einar Rosaria Paulo Tony Russell 30 Nogueira Rodrigo 31 Almeida Delio JAXA, Japan ICAR CNR PARTHENOPE Univ. do Minho FAA ESA/ESTEC Budapest University of Technology and Economics, Department of Measurement and Information Systems ESA/ESTEC University of Southampton Statoil Resiltech CSW Serena Software Critical Software Technologies Ltd. Estudante de Mestrado Informática -­‐ FCTUC Critical Software, SA 32 Barros Edmar 33 Rui Roberto Joaquim 36 37 38 39 Guerra Pietrantuono Tojal Faria Reis Hill Dai 40 Ivaki Naghmeh 41 42 43 Areias Nunes Rodrigues 44 45 46 Guedes Tadano Loffreda Cristiana José Manuel Maximino Xavier Paulo Kumiko Massimo 34 35 José Miguel Francisco Alexander Zhen Ru Italy Italy Japan Italy Italy Portugal USA France Hungary France UK Norway Italy Portugal USA Portugal Portugal Portugal Estudante de Informática -­‐ FCTUC Portugal NAV Portugal Portugal Critiware S.R.L. Italy Educed Italy Educed Italy Instituto Superior Miguel Torga Portugal CSW Technologies UK University of Applied Science Germnay Hamburg, Germany CISUC, Dept. of Informatics Portugal Engineering, University of Coimbra DEI -­‐ UC Portugal IPC/ISEC Portugal EDP Distribuição Portugal Critical Software, SA NEC Corporation SESM Final TOK workshop report -­‐ Deliverable 1.5 Portugal Japan Italy 26 47 48 49 50 Ventura Brezhnev Oliveira Roque Correia 51 52 53 Ciancarini Capobianco Gorbenko 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 Marino Vicente Ramos Marino de Stradis Correia de Oliveira Gargaté Cordeiro Brito Lopes Almeida Gameiro Lourenço Veríssimo Garrido Rodriguez 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 Simões Santos Sousa Lourenço Marques Silva Barbosa Antunes Laranjeiro Fonseca Cunha Durães Lanzaro Esposito Napolitano Bortin Cunha Quadris Roldos Oliveira Avelas Cames Simoes Ramos Rafael Eugene Joel Pedro Gonçalo Paolo Gennaro Anatoliy Valeria Susana Isabel Nicola Daniele Rui André Luís Rui João Rui Jorge Mauro Paulo José José Luís Carlos Dominguez Leonel Filipe Tiago Ivo Arlindo Nuno Ricardo Nuno Nuno José Carlos João João Anna Christian Aniello Maksym João Gonçalo Nuno Paulo Rui Luis Isabel Susana UC National Aerospace University CSW FCTUC Portugal Ukraine Portugal Portugal University of Bologna Ansaldo STS Department of Computer Systems and Networks, National Aerospace University CIAOTECH Universidade Coimbra DEMA Assioma.net DEI -­‐ FCTUC Italy Italy Ukraine Critical Software Critical Software Critical Software Critical Software Critical Software Critical Software Critical Software Critical Software University of Granada University of Granada Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Spain Spain Instituto Politécnico de Leiria Efacec Engenharia e Sistemas Efacec Engenharia e Sistemas Efacec Engenharia e Sistemas CSW CSW FCTUC FCTUC FCTUC FCTUC / ISEC CISUC CINI CINI SESM CSW ITGROW CSW diario de Coimbra RTP CSW diario de Coimbra RUC Universidade Coimbra Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Italy Italy Italy Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Portugal Final TOK workshop report -­‐ Deliverable 1.5 Italy Portugal Italy Italy Portugal 27 92 93 94 95 Pedrosa Seigre Fernandes Tereira Filipe Antonio Nuno André Educed CSW CSW CSW Portugal Portugal Portugal Portugal Final TOK workshop report -­‐ Deliverable 1.5 28