Chalmers Research: Johan Karlsson

2017

Light-Weight Techniques for Improving the Controllability and Efficiency of ISA-Level Fault Injection Tools

Behrooz Sangchoolie, Roger Johansson, Johan Karlsson

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, p. 68-77

Paper i proceeding

2017

One Bit is (Not) Enough: An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors

Behrooz Sangchoolie, Karthik Pattabiraman, Johan Karlsson

The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, p. 97-108

Paper i proceeding

2017

A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights

Negin Fathollah Nejad Asl, Raul Barbosa, Johan Karlsson

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC, p. 311-320

Paper i proceeding

2015

A Comparison of Inject-on-Read and Inject-on-Write in ISA-Level Fault Injection

Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson et al

11TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE, p. 178-189

Paper i proceeding

2015

Back-to-Back Fault Injection Testing in Model-Based Development

Peter Folkesson, Fatemeh Ayatolahi, Behrooz Sangchoolie et al

Lecture Notes in Computer Science. Vol. 9337, p. 135-148

Paper i proceeding

2015

On the Probability of Unsafe Disagreement in Group Formation Algorithms for Vehicular Ad Hoc Networks

Negin Fathollah Nejad Asl, Risat Pathan, Johan Karlsson

Dependable Computing Conference (EDCC), 2015 Eleventh European, p. 256-267

Paper i proceeding

2014

Binary-level fault injection for autosar systems

Mafijul Islam, Nithilan Meenakshi Karunakaran, J. Haraldsson et al

Proceedings - 2014 10th European Dependable Computing Conference, EDCC 2014, p. 138-141

Paper i proceeding

2014

A Study of the Impact of Bit-flip Errors on Programs Compiled with Different Optimization Levels

Behrooz Sangchoolie, Fatemeh Ayatolahi, Roger Johansson et al

10th European Dependable Computing Conference, EDCC 2014; Newcastle upon Tyne; United Kingdom; 13 May 2014 through 16 May 2014;, p. 146-157

Paper i proceeding

2014

On probabilistic analysis of disagreement in synchronous consensus protocols

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al

10th European Dependable Computing Conference, EDCC 2014; Newcastle upon Tyne; United Kingdom; 13 May 2014 through 16 May 2014, p. 23-34

Paper i proceeding

2013

A Study of the Impact of Single Bit-Flip and Double Bit- Flip Errors on Program Execution

Fatemeh Ayatolahi, Behrooz Sangchoolie, Roger Johansson et al

Computer Safety, Reliability, and Security. SAFECOMP, September 24-27.

Paper i proceeding

2013

Towards Benchmarking of Functional Safety in the Automotive Industry

Mafijul Islam, Behrooz Sangchoolie, Fatemeh Ayatolahi et al

Lecture Notes in Computer Science. Vol. 7869, p. 111 - 125

Paper i proceeding

2013

Probabilistic Analysis of a 1-of-n Selection Algorithm using a Moderately Pessimistic Decision Criterion

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al

The 19th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Vancouver, British Columbia, Canada December 2-4, 2013., p. 68-77

Paper i proceeding

2013

Benchmarking the Hardware Error Sensitivity of Machine Instructions

Behrooz Sangchoolie, Fatemeh Ayatolahi, Raul Barbosa et al

Proceedings of the 2013 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 9)

Paper i proceeding

2013

Reliability Analysis of Consensus in Cooperative Transport Systems (invited paper)

Negin Fathollah Nejad Asl, Risat Pathan, Emilia Villani et al

Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP), Toulouse : France (2013)SAFECOMP), Toulouse : France, 2013, p. .-

Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2013

On reliability analysis of leader election protocols for virtual traffic lights

Negin Fathollah Nejad Asl, Emilia Villani, Risat Pathan et al

Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on

Paper i proceeding

Visa projekt

2012

KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

Antonio Casimiro, Jörg Kaiser, Johan Karlsson et al

Lecture Notes in Computer Science. Vol. 7596, p. 232-235

Paper i proceeding

2012

An Investigation of the Fault Sensitivity of Four Benchmark Workloads

Behrooz Sangchoolie, Fatemeh Ayatolahi, Johan Karlsson

Lecture Notes in Informatics. Vol. P-208, p. 468-479

Paper i proceeding

2012

Impact of Soft Errors in a Jet Engine Controller

Olof Hannius, Johan Karlsson

Lecture Notes in Computer Science. Vol. 7612, p. 223-234

Paper i proceeding

2012

On the Impact of Hardware Faults – An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions

Domenico Di Leo, Fatemeh Ayatolahi, Behrooz Sangchoolie et al

Lecture Notes in Computer Science. Vol. 7612, p. 198-209

Paper i proceeding

2011

Introduction to the fifth workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Johan Karlsson et al

2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011; Hong Kong; 27 June 2011 through 30 June 2011, p. 39-40

Paper i proceeding

2011

Toward dependability benchmarking of partitioning operating systems

Johan Karlsson, Johan Karlsson, Qiu Yu et al

2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks, DSN 2011; Hong Kong; 27 June 2011 through 30 June 2011, p. 422-429

Paper i proceeding

2011

Fault injection-based assessment of aspect-oriented implementation of fault tolerance

Ruben Alexandersson, Johan Karlsson

2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, 27-30 June 2011, p. 303-314

Paper i proceeding

2010

Comparing and validating measurements of dependability attributes

Daniel Skarin, Raul Barbosa, Johan Karlsson

EDCC-8 - Proceedings of the 8th European Dependable Computing Conference, p. 3-12

Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2010

Shared data from a study of measurement uncertainty in fault injection

Raul Barbosa, Daniel Skarin, Johan Karlsson

Proceedings - International Conference on Distributed Computing Systems, p. 284-285

Konferensbidrag (offentliggjort, men ej förlagsutgivet)

2010

Fourth workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Ravishankar Krishnan Iyer et al

Proceedings of the International Conference on Dependable Systems and Networks; 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010; Chicago, IL; 28 June 2010 through 1 July 2010, p. 619-620

Paper i proceeding

2010

GOOFI-2: A tool for experimental dependability assessment

Daniel Skarin, Johan Karlsson, Raul Barbosa

Proceedings of the International Conference on Dependable Systems and Networks; 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010; Chicago, IL; 28 June 2010 through 1 July 2010, p. 557-562

Paper i proceeding

2010

Opportunities from standardization in automotive safety assessment

Raul Barbosa, Johan Karlsson

CARS '10 Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, p. 61-63

Paper i proceeding

2010

Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead

Ruben Alexandersson, Peter Öhman, Johan Karlsson

Lecture Notes in Computer Science. Vol. 6351, p. 466-479

Paper i proceeding

2010

Fourth workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Ravishankar Krishnan Iyer et al

Proceedings of the International Conference on Dependable Systems and Networks; 2010 International Conference on Dependable Systems and Networks Workshops, DSN-W 2010; Chicago, IL; 28 June 2010 through 1 July 2010, p. 93-94

Paper i proceeding

2010

Fault injection‐based assessment of aspect‐oriented fault tolerance

Ruben Alexandersson, Johan Karlsson

Rapport

2009

Software Mechanisms for Tolerating Soft Errors in an Automotive Brake-Controller

Daniel Skarin, Johan Karlsson

Proceedings Supplemental Volume of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks (DSN 2009), p. D34-D38

Paper i proceeding

2009

Experiences from Verifying a Partitioning Kernel Using Fault Injection

Raul Barbosa, Johan Karlsson

Rapport

2009

Evaluation of Low-Cost Detection and Recovery of Soft Errors in an ABS controller

Daniel Skarin, Johan Karlsson

Proceedings of the 2009 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 5)

Paper i proceeding

2009

Third workshop on dependable and secure nanocomputing

Jean Arlat, Cristian Constantinescu, Ravishankar Krishnan Iyer et al

2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009; Lisbon; Portugal; 29 June 2009 through 2 July 2009, p. 596-597

Paper i proceeding

2008

Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System

Daniel Skarin, Johan Karlsson

Seventh European Dependable Computing Conference, p. 145-154

Paper i proceeding

2008

A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling

Carl Bergenhem, Johan Karlsson

Proc. IEEE 14th Pacific Rim International Symposium on Dependable Computing (PRDC 2008), p. 122-131

Paper i proceeding

2008

An Environment for Testing Safety-Critical Distributed Protocols

Carl Bergenhem, Johan Karlsson

3rd IET International Conference on System Safety 2008; Birmingham; United Kingdom; 20 October 2008 through 22 October 2008 (542 CP)

Paper i proceeding

2008

Derivation of Diagnostic Requirements for a Distributed UAV Turbofan Engine Control System

Olof Hannius, Dan Ring, Johan Karlsson

Journal of Engineering for Gas Turbines and Power. Vol. 130 (2), p. 021602:1-021602:11

Artikel i vetenskaplig tidskrift

2008

Formal Specification and Verification of a Protocol for Consistent Diagnosis in Real-Time Embedded Systems

Raul Barbosa, Johan Karlsson

Proceedings of the 3rd IEEE International Symposium on Industrial Embedded Systems (SIES'2008), p. 216-223

Paper i proceeding

2008

A Process Membership Service for Active Safety Systems

Carl Bergenhem, Håkan Sivencrona, Johan Karlsson

SAE (Society of Automotive Engineers) Transactions. Vol. V116-7, p. 573-578

Artikel i vetenskaplig tidskrift

2008

On the Integrity of Lightweight Checkpoints

Raul Barbosa, Johan Karlsson

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), p. 125-134

Paper i proceeding

2007

Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype

Raul Barbosa, Antonio Ferreira, Johan Karlsson

Procceding of PRDC 2007 IEEE 13th Pacific Rim International Symposium on Dependable Computing, Dec. 17-19, 2007, Melbourne, Australia, p. 342-347

Paper i proceeding

2007

A Process Membership Service for Active Safety Systems

Carl Bergenhem, Håkan Sivencrona, Johan Karlsson

SAE 2007 World Congress & Exhibition, April 16-19, Detroit, Michigan, USA

Paper i proceeding

2007

Analysis of Robust Partitioning Mechanisms

Raul Barbosa, Johan Karlsson

Rapport

2007

A Process Group Membership Service for Active Safety Systems Using TT/ET Communication Scheduling

Carl Bergenhem, Johan Karlsson

Proceedings of PRDC 2007 IEEE 13th Pacific Rim International Symposium on Dependable Computing, Dec 17-19, 2007, Melbourne, Australia, p. 282-289

Paper i proceeding

2007

Impact of Soft Errors in a Brake-by-Wire System

Daniel Skarin, Martin Sanfridson, Johan Karlsson

Proceedings of the 2007 IEEE Workshop on Silicon Errors in Logic - System Effects (SELSE 3)

Paper i proceeding

2006

Flexible, Cost-Effective Membership Agreement in Synchronous Systems

Raul Barbosa, Johan Karlsson

12th Pacific Rim International Symposium on Dependable Computing, 18-20 December 2006, Riverside, California, USA, p. 105-112

Paper i proceeding

2006

Implementation Results of a Configurable Membership Protocol for Active Safety Systems

Carl Bergenhem, Johan Karlsson, Christian Archer et al

Proceedings of PRDC 2006 IEEE 12th Pacfic Rim International Symposium on Dependable Computing, Dec 18-20, Riverside, California, USA, p. 387-388

Paper i proceeding

2005

Experimental Dependability Evaluation of a Fail-Bounded Jet Engine

Jonny Vinter, Olof Hannius, Torbjörn Norlander et al

Proceedings of the International Conference on Dependable Systems and Networks (DSN´05), 2005, Yokohama., p. 666-671

Paper i proceeding

2005

Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency

Raul Barbosa, Jonny Vinter, Peter Folkesson et al

Proceedings 5th European Dependable Computing Conference (EDCC-5), 2005, Budapest., p. 246-262

Artikel i vetenskaplig tidskrift

2005

A Framework for Node-level Fault-Tolerance in Distributed Systems

Joakim Aidemark, Peter Folkesson, Johan Karlsson

Proceedings International Conference on Dependable Systems and Networks (DSN´05), 2005, Yokohama., p. 656-665

Paper i proceeding

2004

Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel

Joakim Aidemark, Peter Folkesson, Johan Karlsson

Proc. of the International Conference on Real-Time and Embedded Computer Systems and Applications, p. 625-645

Paper i proceeding

2003

On the probability of detecting data errors generated by permanent faults using time redundancy

Joakim Aidemark, Peter Folkesson, Johan Karlsson

Proceedings of the 9th IEEE International On-Line Testing Symposium, Kos, 7-9 July 2003, p. 68-74

Paper i proceeding

2003

MEFISTO: A Series of Prototype Tools for Fault Injection into VHDL Models

Jean Arlat, Jerome Boué, Yves Crouzet et al

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation, Kluwer Academic Publishing, p. 177-193

Kapitel i bok

2003

On the Design of Robust Integrators for Fail-Bounded Control System

Jonny Vinter, A. Johansson, Peter Folkesson et al

Proceedings of the International Conference on Dependable Systems and Networks, San Francisco, CA; United States; 22 June 2003 through 25 June 2003; Code 62415, p. 415-424

Paper i proceeding

2003