Staff

Research interests  [ Show full biography ]

Professor Lundqvist's research group on Safety-critical engineering focuses on bridging the theoretical foundations of dependability and industrial software development practices, with an emphasis on the technology and process aspects of complex dependable systems.

Latest publications [ Show all publications ]

Research projects

On-going:
• ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems
• ARROWS - Design Techniques for Adaptive Embedded Systems
• ESS-H (Embedded Sensor Systems for Health
• ITS-EASY Post Graduate School for Embedded Software and Systems
• KKS Adjungerad professur vid MDH - Avioniksystem
• SYNOPSIS


Finished:
• Hi5 - A Holistic and Improved Infrastructure for Increased Industrial Impact of research
• ISE - Industrial Software Engineering

Supervised Ph D students

• Göran Bertheau
• Kristian Wiklund
• Jiale Zhou

External:
• Guillaume Berteau (MIT)
• Yves Boussemart (MIT)
• Sebastien Gorelov (MIT)
• Mathieu Quenot (MIT)
• Kristian Wiklund (Ericsson AB)

• An approach to allow safety requirements to be efficiently traced, allocated and validated
• An executable meta-model for safety-oriented software and systems development processes within the avionics domain in compliance with RTCA DO 178B
• Architecture Based Development
• Automatiserad arkitektur-baserad verifiering av säkerhetskritiska system
• Building a safety case for a small-sized product line of Fuel Level Display systems
• Building a safety case for Fuel Level Display system
• Comparison between .NET and Java EE - Implementation of a Cash & Bank Application
• En kunskapsportal i ett industrikluster
• Formell verifiering av design och krav för functional safety
• Huvudmeny Handy Blue
• Implementation of a web application using third-party web services - Comparison between .NET and PHP
• Modeling Software Processes
• Real-Time Linux - Demonstrating Real-Time Application Interface as a development platform
• Reusing Process Elements in the Context of Safety Critical Systems Development and Certification
• Team Dynamics in Software Development
• Visual studio add-in for proxy object code generation