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:

A Systematic Way to Incorporate Security in Safety Analysis (Jun 2018)
Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson
3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'18)

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation (Jun 2018)
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 (Ada-Europe-2018 )

Safe Cooperating Cyber-Physical Systems using Wireless Communication (Jul 2017)
Paul Pop, Detlef Scholle , Irfan Sljivo, Hans Hansson, Gunnar Widforss, Malin Rosqvist
Elsevier journal of Microprocessors and Microsystems (MICPRO)

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 Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner
MRTC Report, Mälardalen Real-Time Research Centre (MRTC2017)

Project TitleStatus
ARRAY - Automation Region Research Academy active
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
ELECTRA - Evaluation of different communication technologies for heavy duty vehicle platooning active
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 finished
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 finished
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 Pozo
Giorgio Forcina
Hang Yin (former)
Irfan Sljivo (former)
Joel Huselius (former)
Nesredin Mahmud
Predrag Filipovikj

PhD students supervised as assistant supervisor:

Mikael Åsberg (former)
Omar Jaradat