The first WARA-SW workshop is taking place at KTH, with a focus on academic research.

Location

The workshop will be held at Room V1 (Teknikringen 76, floor 4)

Directions from subway station Tekniska högskolan (line 14) to Room V1: https://goo.gl/maps/75ZAu3ApaW5BEyro9

09:30 | Fika

Welcome to the WARA-SW workshop!  We will serve coffee from 09:30 to 10:00.
Say hello to old friends and make a few new ones!

10:00 | Welcome

Welcome to the first WARA-SW workshop!

Connecting academic research, industrial research, and industry practitioners through the WARA-SW Software Tooling Platform

10:45 | Break (15 min)

11:00 | S1: Autonomy

(Session chair: tbd)

tbd

tbd

Abstract: Ensuring functional safety is challenging for autonomous robots where they have to perform predictably under uncertainties and adapt to the system failures without external interference. Verified reliable behavior is desired for commercial robots, but while making robot safes, sometimes we over-constrain the system making the robot incapable of doing anything useful. Aborting an action whenever there is a momentary unexpected event, is not a good strategy. We prototype DeROS, a domain-specific language (DSL), and plan to extend it with features that facilitate the user to specify dynamic safety specifications. A DSL allows us to reason at an abstract level making it easier to handle abstract domain-specific concerns like functional safety. Domain-specific modeling also allows us to validate if a system behaves as expected.

12:00 | Lunch & Posters

Lunch will be served for all registered guests (including vegetarian and vegan options)

13:45 | S2: Welcome to our First-Year PhD Students

(Session chair: Momina Rizwan) Three new WASP PhD students are introducing themselves with short talks.

5-minute First-Year Student Talk

5-minute First-Year Student Talk

5-minute First-Year Student Talk

14:15 | Break (15 min)

14:30 | S3: Test Generation

(Session chair: Khashayar Etemadi Someoliayi)

Keywords: Automated test case generation, Software Testing, Industrial Control Systems, Programmable Logic Controller

 

Keywords: Automated test generation, software monitoring, production, mock, oracle

https://github.com/castor-software/pankti#rick

 

15:00 | Fika (30 min)

15:30 | S4: Statistical Techniques

(Session chair: Quinying Song)

Keywords: dynamic analysis, code review
Keywords: DevOps, continuous monitoring, deep learning, anomaly detection
Abstract: An existing tool (called Brainy) can suggest to a programmer what collections to use at a specific program location. Brainy works on C++ programs. We try to port this tool to Java. We discover that CPU architecture and the JVM used matter to some extent for the choice of best collection, and that porting the tool to Java presents several challenges.

16:20 | Break (10 min)

16:30 | tbd / Closing

View all events