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.
AQAF: an Architecture Quality Assurance Framework for systems modeled in AADL (Apr 2016) Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Martin Torelm , Paul Pettersson 12th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA)
Regression Verification of AADL Models through Slicing of System Dependence Graphs (Jun 2014) Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen Tenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA'14)
Industrial Experiences of Building a Safety Case in Compliance with ISO 26262 (Nov 2012) Raghad Dardar , Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg Second Workshop on Software Certification (WoSoCER), joint event of the 23rd International Symposium on Software Reliability (ISSRE)
Automated Verification of AADL-Specifications Using UPPAAL (Oct 2012) Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat Proceedings of the 14th IEEE International Symposium on High Assurance Systems Engineering (HASE)
|ASIS - Architecture-based verification of software-intensive systems||finished|
|DPAC - Dependable Platforms for Autonomous systems and Control||active|
|SWELL - Swedish V&V Excellence||finished|
|SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems||active|
|Automatiserad arkitektur-baserad verifiering av säkerhetskritiska system||finished|
|Huvudmeny Handy Blue||finished|