Research papers

1.   Ivarsson, Martin, Pettersson, Fredrik, Öhman, Peter (2005).
Improved control of automotive software suppliers.
6th International Conference on Product Focused Software Process Improvement, PROFES 2005).
Abstract

2.   Pettersson, Fredrik, Ivarsson, Martin, Öhman, Peter (2005).
Automotive use case standard for embedded systems.
Second International Workshop on Software Engineering for Automotive Systems (SEAS) at
27th International Conference on Software Engineering (ICSE’05).
Abstract

3.   Bergenhem Carl, Sivencrona Håkan,
Cost Efficient and Dependable: CAN in Advanced Applications,
International Conference on Dependable Systems and Networks 2005, (DSN-2005).
Abstract | Full paper

4.   Alexandersson, Ruben, Öhman, Peter (2005).
Aspect oriented software implemented node level fault tolerance.
The ninth IASTED International Conference on Software Engineering and Applications (SEA 2005).
Abstract | Full paper

5.   Alexandersson, Ruben, Larsson, Daniel (2005).
Formal Verification of Fault Tolerance Aspects.
The 16th International Symposium on Software Reliability Engineering (ISSRE 2005).
Abstract | Full paper

6.   Pettersson, Fredrik, Ivarsson, Martin, Öhman, Peter (2005).
An initial study of an automotive software engineering laboratory.
Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS’05).
Abstract

7.   Törner, Fredrik, Ivarsson, Martin, Pettersson, Fredrik, Öhman, Peter (2005).
An Empirical Quality Assessment of Automotive Use cases.
Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS’05).
Abstract

8.   Alexandersson, Ruben, Öhman, Peter (2005).
A technique for fault tolerance assessment of COTS.
The 24th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2005)
Abstract | Full paper

18  Carl Bergenhem, Johan Karlsson, Christian Archer and Andreas Sjöblom
Implementation Results of a Configurable
Membership Protocol for Active Safety Systems
Pacific Rim Dependable Computing, 12 IEEE International symposium, 18 - 20 December 2006, Los Angeles. (PRDC-2006)
No copy yet

     Törner, F., Ivarsson, M., Pettersson F., Öhman, P., "An Empirical Quality Assessment of Automotive Use Cases", 14th IEEE International Requirements Engineering Conference (RE'06), Minneapolis/St. Paul, MI, USA, September 11-15, 2006.
No copy yet.

      Törner, F., Ivarsson, M., Pettersson F., Öhman, P., "Defects in Automotive Use Cases", Proceedings of the 5th ACM-IEEE International Symposium on Empirical Software Engineering (ISESE'06), Rio de Janeiro, Brazil, September 21-22, 2006.
No copy yet.

29. Daniel Skarin, Martin Sanfridson and Johan Karlsson, Impact of Soft Errors in a Brake-by-Wire System, The Third Workshop on Silicon Errors in Logic - System Effects (SELSE 3), Austin, Texas,
3 – 4 April 2007.
No copy yet.

Master theses

9.   Örstadius, Daniel,
Formal Verication of Fault Tolerance Aspects
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, December 2005
Abstract | Full paper

11.  Johansson Fredrik, Johnsson Olof,
Design and Modelling of Partitioned Applications in a Distributed Real-time Environment,
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, December 2005
Abstract | Full paper

12.  Pettersson Mattias, Uvesten Petter,
A distributed FlexRay-based research platform,
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, March 2006
Abstract | Full paper

13   Johan Magnusson,
Set and Get in AspectC
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, March 2006
Abstract | Full paper

14   Magnus Källvik och Jonas Eriksson
Microprocessor control of a permanent-magnet motor with fault-detection, suited for an electromechanical brake system
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, March 2006
Abstract | Full paper

15   Mikael Fernström och Daniel Ungerdahl
TTCAN Reference Application - An investigation of time-triggered network performance
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, March 2006
Abstract | Full paper

16   Andreas Sjöblom och Christian Archer
Membership implementations on time triggered architectures
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, March 2006
Abstract | Full paper

17  Robert Hammarström och Josef Nilsson
A Comparison of Three Code Generators for Models Created in Simulink
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, September 2006
Abstract | Full paper

19  Luis Klauwer
Application of formal methods to Fault injection and Coverage factor calculation
Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, August 2006
Abstract | Full paper

25  Gustav Munkby, Design and Implementation of an Algorithm for the Strong Exception-Safety Guarantee in C++, Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, November 2006.
Full paper

26  Erik Bengtsson, Implementation of GAST G1 and the FlexRay protocol, Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, November 2006. 
Full paper

27  Jonas Sandberg, Autosar today - A roadmap to an Autosar implementation, Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, December 2006.
Full paper

28  Sebastian Kekkonen, Extending a Tool for Formal Verification to handle a new Programming Language, Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, December 2006.
Full paper

30  Mattias Bergström and Johan Högberg, Implementation of Membership algorithms in GAST-cluster with FlexRay, Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, March 2007.
Full paper

32. Oleg Mürk, Deductive Verification of C Programs in KeY, Master’s Thesis, Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden, January 2008.
Full paper

33. Ronny Almgren and Andreas Lindström, An experiment platform for evaluation and performance testing of a membership protocol for FlexRay, Master’s Thesis, Computer Science, Umeå University, Umeå, Sweden, December 2006.
Full paper

Other

10. Edler, Håkan,
Verksamhetsberättelse 2005
Abstract | Full paper

31.  Edler, Håkan,
Verksamhetsberättelse 2006
Abstract | Full paper