ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Modern verification and testing techniques are highly relevant for industrial software- intensive systems. Recent technological trends (e.g., the new dominating role of software in traditional domains like automotive and aerospace, the arrival of autonomous and “smart” systems in everyday life) only increase the need for industrial-scale robust approaches.

Nevertheless, there are still many barriers that hinder the application of modern verification and testing techniques in industrial practice.

Barriers and challenges include for instance:

  • Industrial scale and complexity of “real” systems (transfer and scale-up of research prototypes)
  • Usability/feasibility of formal techniques in practice (packaging novel approaches in usable tools)
  • New system paradigms, which make systems harder to model/analyze/verify/test (e.g., autonomous systems, machine learning)
  • Domain-specific challenges and constraints, e.g., in safety-critical systems like automotive, aerospace, medical systems
  • Research approaches targeting problems that lead to publishable results, but are disconnected from industrial practice.

Many of these challenges can only be tackled with increased communication and collaboration between academic researchers and industrial practitioners.

Consequently, the InterAVT workshop aims for the following workshop objectives:

  • Attract industry participants, bring researchers and practitioners together
  • Foster communication between people working on similar problems
  • Establish new links and opportunities for collaboration between participants from different backgrounds
  • Encourage report on the resulting progress at ETAPS conferences or workshops

Workshop Format

To maximize the interaction between participants and the resulting progress, during the workshop we will apply a combination of interactive sessions:

  • A motivating keynote that sets the scene and engages the participants.
  • An introduction session in which participants describe and exemplify a challenge and/or a concrete solution they contribute to the workshop. Each presentation is limited to 10 minutes (morning hours).
  • A “speed-dating” session, in which participants are engaged in a time-limited discussion with each other. The goal of this session is to identify the potential synergies among the participants’ interests (early afternoon hours).
  • A collaboration session that focuses on presenting and summarizing the identified synergies and establishing long-term collaboration among the participants (late afternoon hours). *A workshop dinner which provides further opportunities for exchange of ideas and networking in an informal setting.

In previous workshops with similar objectives this format proved to be engaging and ensured a very interactive and motivating atmosphere.

Accepted Papers

Title
Advances in Usability of Formal Methods for Code Verification
InterAVT
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
InterAVT
Collaboration Session
InterAVT
Cross Programming Language Taint Analysis for the IoT Ecosystem
InterAVT
FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
InterAVT
Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges"
InterAVT
Lighting talks (non-authors)
InterAVT
Rigorous Design of FDIR Systems with BIP
InterAVT
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges
InterAVT
Speed-dating
InterAVT
Welcome to InterAVT 2019
InterAVT
Wrap-up
InterAVT

Call for Papers

Many of these challenges can only be tackled with increased communication and collaboration between academic researchers and industrial practitioners.

Consequently, InterAVT 2019 aims to:

  • Attract industry participants, bring researchers and practitioners together
  • Foster communication between people working on similar problems
  • Establish new links and opportunities for collaboration between participants from different backgrounds
  • Encourage report on the resulting progress at ETAPS conferences or workshops

InterAVT 2019 will be conducted in a highly interactive manner and will include a set of lightning talks and speed-dating sessions.

Submissions

We invite short papers (2-4 pages) that present (1) a concrete and well-illustrated challenge arising in industrial practice, (2) a concrete and exemplified solution, or (3) a combination of both.

Most importantly, submissions should aim to establish or strengthen collaborations between individuals and groups from different backgrounds. In particular, a submission should provide other workshop participants with enough information to identify whom they should meet in the speed-dating session.

Submissions can address problems and solutions where some aspects have been covered in earlier been published, however, they should provide enough new material to warrant publication in the proceedings.

Submissions should support the workshop aims (see above) and answer the following questions:

For challenges:

  • What is the problem that you are trying to solve?
  • Demonstrate it on a concrete example.
  • When would you consider the challenge resolved?
  • What would you consider a “success” and how could that be evaluated?

For solutions:

  • What is the problem that you solve?
  • Demonstrate the solution on a concrete example.
  • What are the solution’s benefits and limitations?
  • Who could benefit from your approach?
  • Was your approach evaluated? How?
  • Is your approach based on a certain concept or technology (e.g., a model checking technique)? Submitted papers should be in English and conform to the guidelines available online at http://info.eptcs.org/

Papers should be submitted online via EasyChair at http://www.easychair.org/conferences?conf=interavt2019

Examples of topics that submissions could address include, but are not limited to:

  • Scalability of modeling/analysis/verification/testing approaches
  • Usability/feasibility of formal techniques in practice (packaging novel approaches in usable tools)
  • Dealing with new system paradigms, which make systems harder to model/analyze/verify/test (e.g., autonomous systems, machine learning)
  • Domain-specific challenges and constraints, e.g., in safety-critical systems like automotive, aerospace, medical systems
  • How to ensure that research approaches are targeting relevant industrial problems(or what are barriers preventing that)?

Submissions will be selected based on their relevance to the workshop topics and objectives. Accepted papers will be published in the workshop proceedings. At least one author of each accepted paper is required to register and present the work at the workshop for the paper to be included in the proceedings.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: IInterAVT at S6
09:00 - 09:30
Talk
Welcome to InterAVT 2019
InterAVT
Stylianos BasagiannisUnited Technologies Research centre, Goetz BotterweckLero - The Irish Software Research Centre and University of Limerick, Anila MjedaLero - The Irish Software Research Centre and University of Limerick
09:30 - 10:00
Talk
Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges"
InterAVT
Nathan FultonMIT-IBM Watson AI Lab
10:00 - 10:10
Talk
Cross Programming Language Taint Analysis for the IoT Ecosystem
InterAVT
Pietro FerraraJuliaSoft SRL, Italy, Amit Kr MandalUniversità Ca' Foscari, Venezia, Italy, Agostino CortesiUniversità Ca' Foscari Venezia, Fausto SpotoU. Verona
10:10 - 10:20
Talk
FVL: Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-Physical Systems
InterAVT
Cinzia BernardeshiUniv. of Pisa, Andrea DomeniciUniversity of Pisa, Italy, Sergio SaponaraUniversity of Pisa, Italy
10:20 - 10:30
Talk
Rigorous Design of FDIR Systems with BIP
InterAVT
11:00 - 12:00: IIInterAVT at S6
11:00 - 11:10
Talk
Advances in Usability of Formal Methods for Code Verification
InterAVT
11:10 - 11:20
Talk
Scalable Software Testing and Verification for Industrial-Scale Systems: The Challenges
InterAVT
Anila MjedaLero - The Irish Software Research Centre and University of Limerick, Goetz BotterweckLero - The Irish Software Research Centre and University of Limerick
11:20 - 11:30
Talk
AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention
InterAVT
11:30 - 12:00
Talk
Lighting talks (non-authors)
InterAVT
13:30 - 15:30: IIIInterAVT at S6
13:30 - 15:30
Meeting
Speed-dating
InterAVT
16:00 - 18:00: IVInterAVT at S6
16:00 - 17:15
Meeting
Collaboration Session
InterAVT
17:15 - 17:30
Talk
Wrap-up
InterAVT