Research interests [ Show full biography ]
Quality assurance processes of safety-critical software-intensive systems are an increasing challenge as the complexity of these systems dramatically increases. The use of Architecture Description Languages (ADLs) provide an important basis for automated analysis of architecture design decisions. The key challenge in this project, is to develop a holistic framework around ADLs to ensure that validation and verification steps of the development process allow for greater confidence in both the process, and the final product. We approach this challenge by adapting traditional formal methods to an architectural perspective.
[ Show all publications ]
|Industrial Experiences of Building a Safety Case in Compliance with ISO 26262, Raghad Dardar (external), Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, Mattias Nyberg (Scania), Second Workshop on Software Certification (WoSoCER), joint event of the 23rd International Symposium on Software Reliability (ISSRE), IEEE, Dallas (Texas), USA, November, 2012|
|Automated Verification of AADL-Specifications Using UPPAAL, Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat, Proceedings of the 14th IEEE International Symposium on High Assurance Systems Engineering (HASE), p 130--138, IEEE Computer Society Press, Omaha, Nebraska, October, 2012|
|Formal Execution Semantics for Asynchronous Constructs of AADL, Jiale Zhou, Andreas Johnsen, Kristina Lundqvist, 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, p 43-48, Innsbruck, Austria, September, 2012|