Lorentz Center - Verification of Concurrent and Distributed Software from 14 Sep 2015 through 18 Sep 2015
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Verification of Concurrent and Distributed Software
    from 14 Sep 2015 through 18 Sep 2015


Scientific report

Scientific organizers:
Dilian Gurov (KTH, Sweden)
Marieke Huisman (University of Twente, The Netherlands)
James J. Hunt (aicas Gmbh, Germany)
Arnd Poetzsch-Heffter (University of Kaiserslautern, Germany)

This workshop was a follow-up of the May 2014 meeting “Reliability of Concurrent and Distributed Software”, which focused on finding ways of overcoming the existing fragmentation in the development and application of techniques and tools in the field. During the previous workshop, we realized that an important next step for our research field is to bridge the gap with industrial practice, because the current formal analysis techniques are still not easily applicable in an industrial setting.

Therefore, during the workshop we focused on the technology transfer from academia to industry, and bringing academic tools to industrial usability standards. In particular, we discussed: current industrial practices, maturity of the techniques, user interfaces and tool feedback, learning curves, tool integration, and the incorporation of verification tools into the software development and quality assurance process. We aimed at having a balanced mix of participants with an academic and an industrial background. We invited several of the participants to give a presentation on these topics, based on their own perspective and experiences.

Most participants with an industrial background were not able to participate the full week. Therefore, the fourth day of the workshop was a special industry day, with several industrial representatives invited for the day. During the day, several of the industrial representatives presented their view on what academia could bring to industry, and the day ended with a panel discussion about this topic.

In addition to the presentations and the industry panel, during the week we had several plenary and group discussions. In particular, we discussed what a roadmap of actions to achieve the technology transfer from academia to industry could look like. From the discussions, four areas were identified where action should be taken:

·         education,

·         identifying industrial needs w.r.t. validation and verification,

·         identifying possibilities and scientific challenges for technology transfer, and

·         organizational activities.

The presentations and panel discussion during the industry helped to develop a better idea on what industry needs. For the other topics, group discussions were held that led to concrete ideas for further actions.

During the final day of the workshop, a structure for a roadmap document has been sketched. After the workshop, all discussion summaries have been collected and several of the workshop participants have agreed to work out a more detailed action plan, which should eventually lead to one or more publications on how to bridge the gap between academia and industry in the area of formal methods.