Publications by Johan Karlsson

Conference Publications

D. Di Leo, F. Ayatolahi, B. Sangchoolie, J. Karlsson, R. Johansson,  On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions”, International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, Mageburg, 25 - 27 September, 2012.

O. Hannius and J. Karlsson, "Impact of Soft Errors in a Jet Engine Controller", International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, Mageburg, September 2012.

R. Alexandersson and J. Karlsson, "Fault injection-based assessment of aspect-oriented implementation of fault tolerance", in Proc. of the  2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong, 27-30 June 2011, pp. 303-314 . ISBN/ISSN: 978-142449233-6

R. Barbosa and J. Karlsson,  Toward dependability benchmarking of partitioning operating systems2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN 2011), Hong Kong; 27 -30 June 2011, pp. 422-429 . ISBN/ISSN: 978-142449233-6

R. Alexandersson, P. Öhman, J. Karlsson,  Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead. Lecture Notes in Computer Science. 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010, Vienna, 14-17 September 2010, pp. 466-479. ISBN/ISSN: 978-364215650-2

D. Skarin, J. Karlsson, R. Barbosa,  "GOOFI-2: A tool for experimental dependability assessmentProc. of the IEEE/IFIP International Conference on Dependable Systems and Networks; Chicago, IL; 28 June 2010 through 1 July 2010, pp. 557-562 . ISBN/ISSN: 978-142447501-8

R. Barbosa, D.Skarin, J. Karlsson, "Shared data from a study of measurement uncertainty in fault injection". Proceedings - International Conference on Distributed Computing Systems , pp. 284-285. ISBN/ISSN: 978-076954079-5

D. Skarin, R. Barbosa, J Karlsson, "Comparing and validating measurements of dependability attributes" in Proceedings of the 8th European Dependable Computing Conference (EDCC-8), April 2010, pp. 3-12. ISBN/ISSN: 978-076954007-8

C. Bergenhem, J Karlsson, "A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling" in Proc. IEEE 14th Pacific Rim Int. Symp. on Dependable Computing (PRDC 2008), Taipei, Taiwan, Dec. 2008, pp. 122-131. ISBN/ISSN: 978-0-7695-3448-0

R. Barbosa, J. Karlsson, "On the Integrity of Lightweight Checkpoints" in Proc. 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), Nanjing, China, Dec 2008, pp. 125-134. ISBN/ISSN: 978-0-7695-3482-4

C. Bergenhem, J. Karlsson, "An Environment for Testing Safety-Critical Distributed Protocols" in Proc. 3rd IET International Conference on System Safety, pp. 1-6, Birmingham, UK, Oct 2008, ISBN/ISSN: 978-0-86341-9706

R. Barbosa, J. Karlsson, "Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems", in  Proc. of the 3rd IEEE International Symposium on Industrial Embedded Systems (SIES'2008), La Grande Motte, France, June 2008, pp. 216-223. ISBN/ISSN: 978-1-4244-1995-1

D. Skarin,  J. Karlsson, Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System. 7th European Dependable Computing Conference (EDDC-7), Kaunas, Lithuania, May 2008, pp. 145-154,  ISBN/ISSN: 978-0-7695-3138-0

R. Barbosa, A. Ferreira, J. Karlsson, "Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype", Proc. of IEEE 13th Pacific Rim International Symposium on Dependable Computing (PRDC '07), Dec. 17-19, 2007, Melbourne, Australia, pp. 342-347. ISBN/ISSN: 0-7695-3054-0

C. Bergenhem, J. Karlsson, "A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling", in Proc. of PRDC 2007 IEEE 13th Pacific Rim International Symposium on Dependable Computing, Dec 17-19, 2007, Melbourne, Australia, pp. 282-289. ISBN/ISSN: 0-7695-3054-0

C. Bergenhem, H. Sivencrona, J. Karlsson: "A Process Membership Service for Active Safety Systems", in SAE 2007 World Congress & Exhibition,  Detroit, Michigan, USA, April 2007, ISBN/ISSN: 0-7680-1633-9

R. Barbosa, J. Karlsson "Flexible, Cost-Effective Membership Agreement in Synchronous Systems", in 12th Pacific Rim International Symposium on Dependable Computing,  Riverside, California, USA, Dec 2006, pp. 105-112. ISBN/ISSN: 0-7695-2724-8

R. Bergenhem, J. Karlsson, C. Archer, A. Sjöblom, "Implementation Results of a Configurable Membership Protocol for Active Safety Systems", Proc. of IEEE 12th Pacific Rim International Symposium on Dependable Computing, Dec 2006, Riverside, California, USA, pp. 387-388. ISBN/ISSN: 0-7695-2724-8

J. Aidemark, P. Folkesson, and J. Karlsson, "A Framework for Node-Level Fault Tolerance in Distributed Real-Time Systems" in Proc. International Conference on Dependable Systems and Networks (DSN-2005), IEEE Computer Society Press,Yokohama, Japan, June 2005, pp. 656-665.

J. Vinter, O. Hannius, T. Norlander, P. Folkesson, and J. Karlsson, "Experimental Dependability Evaluation of a Fail-Bounded Jet Engine Control System for Unmanned Aerial Vehicles" in Proc. International Conference on Dependable Systems and Networks (DSN-2005), IEEE Computer Society Press, Yokohama, Japan, June 2005, pp. 666-671 (Practical Experience Report)

R. Barbosa, J. Vinter, P. Folkesson, J. Karlsson, "Assembly-Level Pre-Injection Analysis for Improving Fault Injection Efficiency," in Proc. 5th European Dependable Computing Conference (EDCC-5), LNCS 3463, Springer-Verlag, Budapest, Hungary, April 2005, pp. 246-262.

J. Aidemark, P. Folkesson, and J. Karlsson, "Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel," in Proc. of the International Conference on Real-Time and Embedded Computer Systems and Applications, Göteborg, Sweden, August 2004, pp. 625-645.

J. Aidemark, P. Folkesson, and J. Karlsson, "On the Probability of Detecting Errors Generated by Permanent Faults Using Time Redundancy," in Proc. 9th IEEE International On-Line Testing Symposium (IOLTS-9), IEEE Computer Society Press, Kos Island, Greece, July 2003, pp. 68-74

J. Vinter, A. Johansson, P. Folkesson, and J. Karlsson, "On the Design of Robust Integrators for Fail-Bounded Control Systems," in Proc. of the International Conference on Dependable Systems and Networks (DSN 2003), IEEE Computer Society Press, San-Francisco, USA, June 2003, pp. 415-424.

J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson, "Experimental Evaluation of Time-redundant Execution for a Brake-by-wire Application," in Proc. International Conference on Dependable Systems and Networks (DSN-2002), IEEE Computer Society Press, Washington DC, USA, June 2002, pp. 210-215. (Practical Experience Report)

J. Aidemark, P. Folkesson, and J. Karlsson, "Path-Based Error Coverage Prediction," in Proc. 7th IEEE International On-Line Testing Workshop (IOLTW-7), IEEE Computer Society Press, Taormina, Italy, July 2001, pp. 14-20.

J. Vinter, J. Aidemark, P. Folkesson, and J. Karlsson, "Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recovery," in Proc. International Conference on Dependable Systems and Networks (DSN 2001), IEEE Computer Society Press, Göteborg, Sweden, July 2001, pp. 347-356

J. Aidemark, J. Vinter, P. Folkesson, and J. Karlsson, "GOOFI: Generic Object-Oriented Fault Injection Tool," in Proc. International Conference on Dependable Systems and Networks (DSN 2001), IEEE Computer Society Press, Göteborg, Sweden, July 2001, pp. 83-88. (Software Demonstration)

P. Folkesson and J. Karlsson, "Considering Workload Input Variations in Error Coverage Estimation," in Proc. Third European Dependable Computing Conference (EDCC-3), Prague, Czech Republic, September 1999, pp. 171-188.

P. Folkesson, S. Svensson and J. Karlsson, "A Comparison of Simulation Based and Scan Chain Implemented Fault Injection," in Proc. 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28), IEEE Computer Society Press, Munich, Germany, June 1998, pp. 284-293.

M. Rimén, J. Ohlsson and J. Karlsson, "Experimental Evaluation of Control Flow Errors", in  Proc. 1995 Pacific Rim International Symposium on Fault Tolerant Systems (PRFTS), IEEE Computer Society Press, Newport Beach, CA, USA, December 1995.

J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber and J. Reisinger, "Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture," in Proc. 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA-5), IEEE Computer Society Press, Urbana-Champaign, IL, USA, September 1995,  pp. 267-287.

G. Miremadi, J. Ohlsson, M. Rimén and J. Karlsson, "Use of Time and Address Signatures for Control Flow Checking", in Proc. 5th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-5), IEEE Computer Society Press, Urbana-Champaign, IL, USA, September 1995, pp. 201-221.

E. Jenn, J. Arlat, M. Rimén, J. Ohlsson and J. Karlsson, "Fault Injection into VHDL Models: The MEFISTO Tool", in Proc. 24th Int. Symp. on Fault Tolerant Computing (FTCS-24), IEEE Computer Society Press, Austin, TX, USA, June 1994, pp. 66-75

S.G. Miremadi, J. Karlsson, "A Concurrent Error Detection Scheme Based on Intensive Signature Checking", International Conference on Electrical Engineering (ICEE-95), Teheran, Iran, May 15-18, 1995.

P. Lidén, P. Dahlgren, R. Johansson and J. Karlsson, "On Latching Probability of Particle Induced Transients in Combinational Networks", 24th Int. Symp. on Fault Tolerant Computing (FTCS-24), IEEE Computer Society Press, Austin, TX, USA, June 1994, pp. 340-349.

G. Miremadi, J. Karlsson, U. Gunneflo and J. Torin. "Two Software Techniques for On-line Error Detection", 22nd Int. Symp. on Fault Tolerant Computing (FTCS-22), IEEE Computer Society Press, Boston, MA, USA, July 1992, pp. 328-335.

J. Karlsson, U. Gunneflo, P. Lidén and J. Torin, "Two Fault Injection Techniques for Test of Fault Handling Mechanisms", Proc. IEEE International Test Conference, IEEE Computer Society Press, Nashville, TN, USA, Oct 1991.

J.Karlsson, U. Gunneflo and J. Torin, "The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor," in  Proc. 4th Int. Conf. on Fault Tolerant Computing, GI/ITG/GMA, Springer-Verlag,  Baden-Baden, West Germany, Sept. 20-22, 1989, pp. 296-307

J. Karlsson and Ulf Gunneflo, "Use of Heavy-ion Radiation from Californium-252 for Fault Injection Experiments," 1st IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-1), Springer-Verlag, Santa Barbara, CA, USA, August 23-25, 1989.

U. Gunneflo, J. Karlsson and J. Torin, "Evaluation of Error Detection Schemes Using Fault Injection by Heavy-Ion Radiation" 19th Int. Symp. on Fault Tolerant Computing (FTCS-19), IEEE Computer Society Press, Chicago, IL, USA, June 1989, pp. 340-347.

Journal Publications

Bergenhem, Carl; Sivencrona, Hĺkan; Karlsson, Johan: A Process Membership Service for Active Safety Systems. SAE 2007 Transactions Journal of Passenger Cars - Electronic and Electrical Systems, V116-7, August 2008, pp. 573-578.

Hannius, Olof; Ring, Dan; Karlsson, Johan: Derivation of Diagnostic Requirements for a Distributed UAV Turbofan Engine Control System. Journal of Engineering for Gas Turbines and Power, vol 130, no. 2, March 2008, pp. 021602:1-021602:11.

J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, E. Fuchs and G. Leber, "Comparison of Physical and Software-Implemented Fault Injection Techniques," in IEEE Transactions on Computers, vol 52, No. 9, September 2003, pp. 1115-1133.

J. Aidemark, P. Folkesson, and J. Karlsson, "Path-Based Error Coverage Prediction," in Journal of Electronic Testing Theory and Applications (JETTA), Vol. 16, June 2002.

Magazine Publications

J. Karlsson, P. Lidén, P. Dahlgren R. Johansson and U. Gunneflo,, "Using Heavy-Ion Radiation to Validate Fault-Handling Mechanisms", (Invited paper), IEEE Micro Magazine, Feb 1994.

Book Chapters

J. Arlat, J. Boué, Y. Crouzet, E. Jenn, J. Aidemark, P. Folkesson, J. Karlsson, J. Ohlsson and M. Rimén, "MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models," in Fault Injection Techniques and Tools for VLSI Reliability Evaluation, Kluwer Academic Publishing, 2003.

J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet and G. Leber, "Integration and Comparison of Three Physical Fault Injection Techniques," in Predictably Dependable Computing Systems, pp. 309-327, Springer-Verlag, 1995, ISBN 3-540-59334-9..

E. Jenn, J. Arlat, M. Rimén, J. Ohlsson and J. Karlsson, "Fault Injection into VHDL Models: The MEFISTO Tool,, in Predictably Dependable Computing Systems (Eds. B. Randell, J-C. Laprie, H. Kopetz, B. Littlewood), Springer-Verlag, Berlin-Heidelberg-New York, 1995, ISBN 3-540-59334-9.

Workshop Publications

R. Barbosa, J. Karlsson,  Opportunities from standardization in automotive safety assessment. CARS '10 Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, April 2010, pp. 61-63. ISBN/ISSN: 978-160558915-2

D. Skarin, J. Karlsson,  Software Mechanisms for Tolerating Soft Errors in an Automotive Brake-Controller. Proceedings of the 3rd Workshop on Dependable and Secure nanocomputingSupplemental Volume of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks (DSN 2009), pp. D34-D38. ISBN/ISSN: 978-1-4244-4421-2

R. Barbosa, J. Karlsson, "Experiences from Verifying a Partitioning Kernel Using Fault Injection", Proceedings of the 12th European Workshop on Dependable Computing, (EWDC 2009), May 2009

D. Skarin, J. Karlsson,  "Evaluation of Low-Cost Detection and Recovery of Soft Errors in an ABS controller", Proceedings of the 2009 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 5),

P. Folkesson and J. Karlsson, "The Effects of Workload Input Domain on Fault Injection Results," 10th European Workshop on Dependable Computing (EWDC-10), (Vienna, Austria) May 1999.

P. Folkesson, S. Svensson, J. Karlsson, and J. Ohlsson, "Evaluation of the Thor Microprocessor Using Scan-chain-based and Simulation-based Fault Injection," in 8th European Workshop on Dependable Computing (EWDC-8), (Göteborg, Sweden) April 1997.

J. Arlat, Y. Crouzet, J. Karlsson, P. Folkesson, and G. Leber, "Evaluation of the MARS Architecture by means of Three Physical Fault Injection Techniques," in 4th International Workshop on Evaluation Techniques for Dependable Systems (ETDS `95), (San Antonio, TX, USA) October 1995.

J. Karlsson, "Panel presentation - Defining Benchmarks for Fault Injection Validation", IEEE International Workshop on Evaluation Techniques for Dependable Systems, San Antonio, TX, USA, October 2-3, 1995.

J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber and J. Reisinger, "Comparison and Integration of Three Diverse Physical Fault Injection Techniques," in Predictably Dependable Computing Systems Second Year Report, Sept. 1994.

J. Karlsson, P. Folkesson, G. Leber, J. Reisinger, H. Kopetz, J. Arlat, Y. Crouzet, "Evaluation of a Fault-Tolerant Distributed Systems Using Three Physical Fault Injection Techniques", Nordic Seminar on Dependable Computing Systems 1994 (NSDCS’94), Lyngby, Denmark, August 24 -26, 1994.

R. Johansson, P. Lidén, P. Dahlgren, J. Karlsson, "An Experimental Method for the Study of Particle Induced Transients", Nordic Seminar on Dependable Computing Systems 1994 (NSDCS’94), Lyngby, Denmark, August 24 -26, 1994.

E. Jenn, J. Arlat, M. Rimén, J. Ohlsson, J. Karlsson. "Fault Injection into VHDL Models: A Fault Injection Tool and Some Preliminary Experimental Results", IEEE International Workshop on Integrating Error Models with Fault Injection, Annapolis, MD, USA, April 25-26, 1994.

J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber, J. Reisinger, "Evaluation of the MARS Fault-Tolerance Mechanisms Using Three Physical Fault Injection Techniques", IEEE International Workshop on Integrating Error Models with Fault Injection, Annapolis, MD, USA, April 25-26, 1994.

R. Johansson, J. Karlsson, P. Lidén, P. Dahlgren, J. Torin, "An Investigation of the Validity of the Single Bit Error Model for Particle Induced Transients by Physical Fault Injection", IEEE International Workshop on Integrating Error Models with Fault Injection, Annapolis, MD, USA, April 25-26, 1994.

J. Karlsson, "Fundamental Problems in Fault and Error Injection Research", IEEE International Workshop on Fault and Error Injection for Dependability Validation of Computer Systems, Göteborg, Sweden, June 17-18, 1993

M.Rimén, J. Ohlsson, J. Karlsson, "MEFISTO: A VHDL-based Simulation Tool for the Validation of Fault Tolerance", IEEE International Workshop on Fault and Error Injection for Dependability Validation of Computer Systems, Göteborg, Sweden, June 17-18, 1993

J. Karlsson, "Error Models for Heavy-ion Induced Single Event Upsets", IEEE International Workshop on Fault and Error Models of Failures in Computer Systems, Palm Beach, FL, USA, January 25-26, 1993.

J. Karlsson, "Fault Models for Evaluating Self-Testing Coverage for CMOS Checkers", IEEE International Workshop on Fault and Error Models of Failures in Computer Systems, Palm Beach, FL, USA, January 25-26, 1993.

Johan Karlsson, "Fault Injection for Research, Design and Verification", Nordic Seminar on Dependable Computing Systems 1992 (NSDCS’92), Trondheim, Norway, August 19-21, 1992

P. Dahlgren, P. Lidén, J. Karlsson, J. Torin, "A Comparison of Circuit-level and Switch-level Modelling", Nordic Seminar on Dependable Computing Systems 1992 (NSDCS’92), Trondheim, Norway, August 19-21, 1992

J. Karlsson, "Experimental Validation of Fault-Tolerant Computing Systems", Second Swedish Conference on Fault-Tolerant Computer Systems (FTDS 90), Göteborg, Sweden, November 19-20 1990.

J. Karlsson, "A Fault Injection System for the Study of Transient Fault Effects", IEEE International Workshop on Measurement and Modeling of Computer Dependability", Los Angles, CA, USA, May 1-2, 1990.

U. Gunneflo and J. Karlsson, "Evaluation of Error Detection Schemes Using Fault Injection by Heavy-ion Radiation", First European Workshop on Dependable Computing (EWDC-1), Toulouse, France, March 1-3, 1989.

U Gunneflo, J.B. Johnsson, J. Karlsson, S. Loeb, J. Torin, "A Fault Injection System for Verification and Evaluation of Dependable Computer Systems", First Swedish Conference on Fault-Tolerant Computer Systems (FTDS 87), Bro, Sweden, May 4-5 1987

Technical Reports

N. Fathollahnejad, R. Pathan, E. Villani, R. Barbosa, and J. Karlsson, “Probabilistic analysis of disagreement in synchronous consensus protocols,” Technical Report, Department of Computer Science and Engineering, Chalmers University of Technology, Sweden, April, 2013.