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 – firstname.lastname@example.org or 08-790 71 16.
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: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:15 Mingle and networking with food and drinks
MODERATORS: Professor Martin Törngren and Stefan Norrwing