Hans Hansson, Professor

Hans Hansson is professor in Real-Time Systems at Mälardalen University since 1997. He is director of Mälardalen Real-Time Research Centre and the PROGRESS national strategic research centre, Scientific Leader of SICS Swedish ICT Västerås AB and the EU/ARTEMIS project SafeCer. He received an MSc (Engineering Physics), a Licentiate degree (Computer Systems), a BA (Business Administration), and a Doctor of Technology degree (Computer Systems) from Uppsala University (UU), Sweden, in 1981, 1984, 1984 and 1992. Prof. Hansson’s previous appointments include being director of the nat’l research programme ARTES, visiting prof. and dept. chair at the Dept. of Computer Systems, Uppsala University, and researcher and scientific advisor at the Swedish Institute of Computer Science (SICS) in Stockholm.

Hans Hanssons research interests and contributions include component-based design of safety-critical real-time embedded systems, modeling and analysis of real-time communication, real-time testing and debugging, execution-time analysis, development of automotive control SW, and formal modeling of timing and probability. Prof. Hansson is associate editor of the IEEE Tr. on Industrial Informatics.

[Show all publications]

[Google Scholar author page]

Latest publications:

Concurrency bugs in open source software: a case study (Apr 2017)
Sara Abbaspour Asadollah, Daniel Sundmark, Sigrid Eldh, Hans Hansson
Journal of Internet Services and Applications (JISA)

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software (Mar 2017)
Sara Abbaspour Asadollah, Daniel Sundmark, Hans Hansson
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

Schedule Synthesis for Next Generation Time-Triggered Networks (Feb 2017)
Francisco Manuel Pozo Pérez, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner
MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)

Joint forces for an up-grade in competence (Sep 2016)
Malin Rosqvist, Hans Hansson, Daniel Sundmark, Peter Wallin
Volvo CE Innovation Conference 2016 (Volvo CE´16)

Configuration-aware Contracts (Sep 2016)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson
4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE2016)

The SafeCOP ECSEL Project (Aug 2016)
Paul Pop, Detlef Scholle , Hans Hansson, Gunnar Widforss, Malin Rosqvist
Euromicro Conference on Digital System Design 2016 (DSD 2016)

Project TitleStatus
ARROWS - Design Techniques for Adaptive Embedded Systems finished
ARTIST finished
Closing the safety-security gap in software intensive systems active
COMING finished
EAST/EEA finished
FIA - Strategic research into safety and security for the automation industry finished
FIA - Strategiskt projekt om funktions- och intrångssäkerhet för automationsindustrin active
Future factories in the Cloud active
GENIUS on-hold
Hi5 - A Holistic and Improved Infrastructure for Increased Industrial Impact of research finished
InterAct@MRTC finished
ITS-EASY Post Graduate School for Embedded Software and Systems active
MESSI - Methods for innovation development in software intensive systems finished
PG-Demo-SAVE – The SAVE demonstrator finished
Process Industrial Big Data Analytics active
PROGRESS finished
PROMPT - Professional Master’s in Software Engineering (step II) finished
PROMPT - Professional Master’s in Software Engineering (step II, phase B&C) active
PROMPT - Professional Master’s program in Software Engineering (step I) finished
RATAD - Reliability and Timing Analysis of Distributed systems finished
RetNet - The European Industrial Doctorate Programme on Future Real-Time Networks active
SaDIES. Safe Dynamic Software Instrumentation for Embedded Systems finished
SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components finished
SafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication active
SAVE finished
SAVE++ finished
SAVE-IT finished
SYNOPSIS - Safety Analysis for Predictable Software Intensive Systems active
TATOO - Test and Testability of Distributed Real-Time Systems finished
TESTit - Testing techniques for real-time systems finished
TIMERS - Timing analysis, modeling and evaluation of RTS finished
Warping - Wait and lock free synchronisation mechanisms finished
PhD students supervised as main supervisor:

Andreas Ermedahl (former)
Francisco Manuel Pozo Pérez
Hang Yin (former)
Irfan Sljivo
Joel Huselius (former)
Nesredin Mahmud
Predrag Filipovikj

PhD students supervised as assistant supervisor:

Mikael Åsberg (former)
Omar Jaradat