Publications

Doctoral Thesis (1)

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

Licentiate Thesis (1)

Analysis of Execution Behavior for Testing of Multi-Tasking Real-Time System (Oct 2003)
Anders Pettersson

Journal article (1)

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

Conference/Workshop Paper (7)

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

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

Report - MRTC (13)

Testing of Computer Software with Temporal Constraints: A State-Of-The-Art Report. (Oct 2003)
Anders Pettersson

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 Deterministic Testing of Real-Time Systems. (Oct 2003)
Anders Pettersson

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

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 (3)

The Revised EOG-algorithm. (Oct 2003)
Anders Pettersson

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

Student Thesis (1)

Asterix: A Prototype of a Small-Sized Real-Time Kernel (Aug 2000)
Anders Pettersson, Andreas Engberg