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.
Risk-based Decision-making Fallacies: Why Present Functional Safety Standards Are Not Enough (Apr 2017) Andreas Johnsen, Gordana Dodig-Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson 2nd International Workshop on Decision Making in Software Architecture (MARCH)
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)
|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|