Modeling what users, algorithms and systems do

You can play music, record videos, answer messages, react on updates, use tens of apps for that. How to test a mobile device with comparable coverage? Algorithms share resources to workloads in cloud. How to find out which of them works best in different environments? A point-to-point protocol transfers data over an unreliable channel. Can a sequence of errors in the channel cause dropping or duplicating a message? Memory barriers help ordering reads and writes of a thread. How can I understand how it works? Answers to all these questions, from everyday mobile device user and data centers to aircrafts and tiny details in software/hardware interface include modeling the behavior. This presentations gives an overview and examples of behavior modeling and its benefits.

Speaker:
Dr. Antti Kervinen is a Cloud Orchestration Software Engineer working at Intel, whose interests include Linux and distributed systems. During his 20+ years with software systems, Antti has been a developing Nokia and Intel products and open source projects, as well as researching formal verification and automated test generation using models that represent system behavior.

Schedule
16:30 - Doors open
17:00 - Opening words and speaker introduction
17:10 - Presentation
18:10 - Discussion
19:00 - Closing

Arrangements
If all participants are Finnish speaking, the presentation and discussion will be in Finnish

Welcome and feel free to bring your colleagues or other interested persons!