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. |