15 citations · 20 across the 3 of their papers we have counts for
3 papers
Inadequate Risk Analysis Might Jeopardize The Functional Safety of Modern Systems
Kaj Hänninen, Hans Hansson, Henrik Thane +1
In the early 90s, researchers began to focus on security as an important property to address in combination with safety. Over the years, researchers have proposed approaches to har…
Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies
Daniel Sundmark, Henrik Thane, Joel Huselius +4
Deterministic replay is a method for allowing complex multitasking real-time systems to be debugged using standard interactive debuggers. Even though several replay techniques have…
Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems
Joel Huselius, Henrik Thane, Daniel Sundmark
Cyclic debugging requires repeatable executions. As non-deterministic or real-time systems typically do not have the potential to provide this, special methods are required. One su…