Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 52 (showing 1 - 50)

Doctoral Thesis (1)

Monitoring, Testing and Debugging of Distributed Real-Time Systems (May 2000)
Henrik Thane

Collection (Editor) (1)

Testing Reusable Software Components in Safety-Critical Real-Time Systems (Jan 2002)
Henrik Thane, Anders Wall
Building reliable component-based software systems

Journal article (4)

Towards Dynamic Safety Assurance for Industry 4.0 (Oct 2020)
Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane
Journal of Systems Architecture (JSA, 114)

Tool qualification for safety related systems (Mar 2014)
Mathias Ekman, Henrik Thane, Daniel Sundmark, Stig Larsson
Ada User Journal 35 (1) (AUJ 35-1 TOC)

Time Machines and Black Box Recorders for Embedded Systems Software (Jan 2003)
Henrik Thane
ERCIM News

Testing distributed real-time systems (Feb 2001)
Henrik Thane, Hans Hansson
Microprocessors and Microsystems

Conference/Workshop Paper (26)

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)

Software Instrumentation of Safety Critical Embedded Systems - A Problem Statement (Sep 2012)
Mathias Ekman, Henrik Thane
S4D 2012: System, Software, SoC and Silicon Debug Conference (S4D 2012)

Pinpointing Interrupts in Embedded Real-Time Systems using Context Checksums (Sep 2008)
Daniel Sundmark, Henrik Thane
Proceedings of the 13th International Conference on Emerging Technologies and Factory Automation (ETFA-2008)

Real-Time Dynamic Relinking (Apr 2008)
Mathias Ekman, Henrik Thane
22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008)

Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis (Jul 2007)
Daniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane
Seventh International Workshop on Worst-Case Execution Time Analysis, (WCET2007)

Shared Data Analysis for Multi-Tasking Real-Time System Testing (Jun 2007)
Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström
In proceedings of IEEE Second International Symposium on Industrial Embedded Systems, Lisbon, Portugal

Dynamic Patching of Embedded Software (Apr 2007)
Mathias Ekman, Henrik Thane
13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'07)

Efficient System-Level Testing of Embedded Real-Time Software (Jul 2005)
Daniel Sundmark, Anders Pettersson, Sigrid Eldh, Mathias Ekman, Henrik Thane
17th Euromicro Conference on Real-Time Systems (ECRTS'05)

Regression Testing of Multi-Tasking Real-Time Systems: A Problem Statement (Mar 2005)
Daniel Sundmark, Anders Pettersson, Henrik Thane
Work-In-Progress Session of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005)

Constant Execution Time Recording for Replay of Sporadic Real-Time Systems (Sep 2004)
Joel Huselius, Henrik Thane
Proceedings of the 2:nd Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES)

Hardware Support for Priority Inheritance (Dec 2003)
Bilge E. S. Akgul , Vincent John Mooney III , Henrik Thane, Pramote Kuacharoen
Proceedings of the of the IEEE Real-Time Systems Symposium (RTSS03)

Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies (Sep 2003)
Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson
Proceedings of the 5th International Workshop on Algorithmic and Automated Debugging (AADEBUG03)

Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems (Sep 2003)
Joel Huselius, Henrik Thane, Daniel Sundmark
Proceedings of the 5th International Workshop on Algorithmic and Automated Debugging (AADEBUG03)

Starting Conditions for Post-Mortem Debugging using Deterministic Replay of Real-Time Systems (Jul 2003)
Joel Huselius, Daniel Sundmark, Henrik Thane
Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS03)

Replay Debugging of Real-Time Systems Using Time Machines (Apr 2003)
Henrik Thane, Daniel Sundmark, Joel Huselius, Anders Pettersson
Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS03), presented at the First International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD)

Testing of Multi-Tasking Real-Time Systems with Critical Sections (Feb 2003)
Anders Pettersson, Henrik Thane
In proceedings of the 9th International Conference on Real-Time and Embedded

Integration Testing of Fixed Priority Scheduled Real-Time Systems (Dec 2001)
Henrik Thane, Anders Pettersson, Hans Hansson
IEEE/IEE Real-Time Embedded System Workshop

Debugging Using Time Machines: replay your embedded systems history (Nov 2001)
Henrik Thane, Daniel Sundmark
Real-Time & Embedded Computing Conference

The Asterix Real-Time Kernel (Jun 2001)
Henrik Thane, Anders Pettersson, Daniel Sundmark
13th EUROMICRO INTERNATIONAL CONFERENCE ON REAL-TIME SYSTEMS, INDUSTRIAL SESSION

Using Measurements to Derive the Worst-Case Execution Time (Dec 2000)
Markus Lindgren, Hans Hansson, Henrik Thane
Proceedings of RTCSA 2000

Using Deterministic Replay for Debugging of Distributed Real-Time Systems (Jun 2000)
Henrik Thane, Hans Hansson
12th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS

Towards Systematic Testing of Distributed Real-Time Systems (Dec 1999)
Henrik Thane, Hans Hansson
Proc. 20th IEEE Real-Time Systems Symp.

Handling Interrupts in Testing of Distributed Real-Time Systems (Dec 1999)
Henrik Thane, Hans Hansson
Proc. 6th International Conference on Real-Time Computing Systems and Applications (RTCSA99), Hong-Kong

Towards Deterministic Testing of Distributed Real-Time Systems (Aug 1999)
Henrik Thane, Hans Hansson
Swedish National Real-Time Conference SNART99

Safe and Reliable Computer Control Systems - an Overview (Sep 1997)
Henrik Thane
Safecomp 97 -- Proceedings of the 16th Int. Conference on Computer Safety, Reliability and Security

A communication protocol for hard and soft real-time systems (Jun 1996)
Christer Norström, Henrik Thane
Eighth Euromicro Workshop on Real-Time Systems

Report - MRTC (13)

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Experimental Evaluation of a Test Procedure for DeterministicTesting of Real-Time Systems. (Oct 2003)
Anders Pettersson, Henrik Thane

Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies (Apr 2003)
Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson

Robusta realtidssystem (Aug 2000)
Christer Norström, Kristian Sandström, Jukka Mäki-Turja, Hans Hansson, Henrik Thane, Jan Gustafsson, Damir Isovic

Design for Deterministic Monitoring of Distributed Real-Time Systems (May 2000)
Henrik Thane

Formal and Probabilistic Arguments for Reuse and Reverification of Components in Safety-Critical Real-Time Systems (Jan 2000)
Henrik Thane, Anders Wall

Deterministic Replay for Debugging of Distributed Real-Time Systems (Dec 1999)
Henrik Thane, Hans Hansson

Report (6)

Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis (Apr 2007)
Daniel Sundmark, Anders Pettersson, Christer Sandberg, Andreas Ermedahl, Henrik Thane

Testbarhet av Distribuerade Realtidssystem (Nov 1998)
Henrik Thane, Kristian Sandström

Testability of Safety-Critical Distributed Real-Time Systems (Oct 1997)
Henrik Thane, Christer Norström

Scheduling Using Constraint Programming (Jun 1997)
Henrik Thane, Mårten Larsson

The Arbitrary Complexity of Software (May 1997)
Henrik Thane, Mårten Larsson

Items per page: