|Current Workshop | Overview||Back | Home | Search ||
Verification of Concurrent and Distributed Software
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:
· identifying industrial needs w.r.t. validation and verification,
· identifying possibilities and scientific challenges for technology transfer, and
· organizational activities.
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.