ICES Requirements and Verification 2016

The increasing complexity of software systems in the era of Cyber-Physical Systems and Internet of Things makes verification a challenge as well as making sure that we have handled all the requirements.

The conference features distinguished speakers from industry and academia that will report on best practices and approaches to advance the state of the art.
➥ How do we handle complexity?
➥ What methods can we use?
➥ How to test IoT?
➥ How can industry and academia work together?

The keynote speaker, Prof. Manfred Broy, is a world leading computer scientist and a key figure in European efforts towards industrial digitalization.

The conference is arranged by ICES (Innovative Centre for Embedded Systems) – a centre at KTH Royal Institute of Technology. ICES works closely with its 27 member companies. The goal is to meet the challenges which researchers and developers face within the complex world of embedded systems today and in the future.

Registration and more information

TIME: 20 October, 13:00-17:15, followed by mingle.
LOCATION: Lecture hall E1 (room 1203), KTH, Lindstedtsvägen 3, Stockholm
REGISTRATION: Via www.ices.kth.se at the latest 5 October 2016. The conference and mingle with food and drinks are without cost. In case of too many registrations ICES members have priority.
MORE INFO: Contact Johanna Olsson – joo2@kth.se or 08-790 71 16.

Program

13:00 Welcome and Introduction
Professor Martin Törngren, Director ICES at KTH

13.10 Model-based requirements engineering as a basis for architecture and verification
Professor Manfred Broy, Technische Universität München

Improving specifications and test to enhance system quality
Adjunct professor Sigrid Eldh, Ericsson

14:20 Coffee

14:50 Testing IoT
Professor Ina Schieferdecker, Freie Universität Berlin,
Fraunhofer FOKUS Berlin

The agile hangover – Handling requirements and testing in an agile environment
Dr Magnus C Ohlsson, System Verification

Verification of requirements in regulated industries
Dr Mats Grindal, QinMind

16.05 Short break

16:15 Testing embedded applications using requirements models: Experiences from the automotive industry
Professor Karl Meinke, KTH

16.40 Panel debate

17.10 Closing

17:15 Mingle and networking with food and drinks

19:00 End

MODERATORS: Professor Martin Törngren and Stefan Norrwing