Andreas Johnsen, Doctoral student


Andreas Johnsen is a PhD student working together with Prof. Kristina Lundqvist and Prof. Paul Pettersson on a project studying architecture-based verification of dependable embedded systems at Mälardalen real-time research centre. He received his M.Sc. in Robotics at Mälardalen University in 2010. His M.Sc. thesis work consisted of development of a fly-by-wire flight control system. In 2009, Andreas contributed to the “House on the moon” project in cooperation with NASA where he developed a vision system, using LIDAR (Light Detection And Ranging) technology, for the lunar-rover. Andreas recieved his Licentiate degree in computer science from Mälardalen University in 2013. He has been a member of the Swedish Verification & Validation Excellence (SWELL) research school in 2010-2012.

Verification of dependable embedded systems is an increasing challenge as the complexity of these systems dramatically increases. The use of Architecture Description Languages (ADLs) for dependable embedded systems helps developers to handle the increasing complexity and provides an important basis for automated verification of architecture design decisions. The key challenge in this project is to develop verification techniques for ADLs that increases the trust in both the development process, and the final product. We approach this challenge by adapting traditional formal methods to ADLs for dependable embedded systems.