Hans A. Hansson

J. Syst. Archit., November, 2023

ICSSIM - A framework for building industrial control systems security testbeds.

[BibT_eX]

[DOI]

Alireza Dehlaghi-Ghadim

Ali Balador

Mahshid Helali Moghadam

Mauro Conti

Comput. Ind., June, 2023

Anomaly Detection Dataset for Industrial Control Systems.

[BibT_eX]

[DOI]

Alireza Dehlaghi-Ghadim

Mahshid Helali Moghadam

Ali Balador

Julieth Patricia Castellanos Ardila

IEEE Access, 2023

Arguing Operational Safety for Mixed Traffic in Underground Mining.

[BibT_eX]

[DOI]

Christian Grante

Proceedings of the 18th Annual System of Systems Engineering Conference, 2023

Access Control Enforcement Architectures for Dynamic Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Architecture, 2023

Evaluation of an OPC UA-Based Access Control Enforcement Architecture.

[BibT_eX]

[DOI]

Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2022

ICSSIM-A Framework for Building Industrial Control Systems Security Simulation Testbeds.

[BibT_eX]

[DOI]

Alireza Dehlaghi-Ghadim

Ali Balador

Julieth Patricia Castellanos Ardila

Mauro Conti

CoRR, 2022

Simulation Environment for Modular Automation Systems.

[BibT_eX]

[DOI]

Proceedings of the IECON 2022, 2022

A Context-Specific Operational Design Domain for Underground Mining (ODD-UM).

[BibT_eX]

[DOI]

Anas Fattouh

Proceedings of the Systems, Software and Services Process Improvement, 2022

2021

Safe and secure platooning of Automated Guided Vehicles in Industry 4.0.

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

Towards dynamic safety assurance for Industry 4.0.

[BibT_eX]

[DOI]

J. Syst. Archit., 2021

Toward an Ideal Access Control Strategy for Industry 4.0 Manufacturing Systems.

[BibT_eX]

[DOI]

IEEE Access, 2021

Black-Box Testing for Security-Informed Safety of Automated Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 93rd IEEE Vehicular Technology Conference, 2021

Synchronisation of an Automotive Multi-concern Development Process.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021

Fault-tolerant Permanent Storage for Container-based Fog Architectures.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

A Questionnaire Study on the Use of Access Control in Industrial Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Using UPPAAL to Verify Recovery in a Fault-tolerant Mechanism Providing Persistent State at the Edge.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Self-Healing Protocol: Repairing Schedules Online after Link Failures in Time-Triggered Networks.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

Dynamic Reconfiguration of Safety-Critical Production Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

Access Control for Smart Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

2019

PROMPT - Master Courses for Professional SoftwareDevelopers.

[BibT_eX]

[DOI]

Stefan Eck

ACM SIGSOFT Softw. Eng. Notes, 2019

Dependable Fog Computing: A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the 45th Euromicro Conference on Software Engineering and Advanced Applications, 2019

Cybersecurity Challenges in Large Industrial IoT Systems.

[BibT_eX]

[DOI]

Björn Leander

Aida Causevic

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT.

[BibT_eX]

[DOI]

Björn Leander

Aida Causevic

Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2018

Inadequate Risk Analysis Might Jeopardize The Functional Safety of Modern Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

A Systematic Way to Incorporate Security in Safety Analysis.

[BibT_eX]

[DOI]

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017

10 Years of research on debugging concurrent and multicore software: a systematic mapping study.

[BibT_eX]

[DOI]

Softw. Qual. J., 2017

Safe cooperating cyber-physical systems using wireless communication: The SafeCOP approach.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

A method to generate reusable safety case argument-fragments from compositional safety analysis.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Concurrency bugs in open source software: a case study.

[BibT_eX]

[DOI]

J. Internet Serv. Appl., 2017

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Configuration-Aware Contracts.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2016

Period-Aware Segmented Synthesis of Schedules for Multi-hop Time-Triggered Networks.

[BibT_eX]

[DOI]

Wilfried Steiner

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

A Study of Concurrency Bugs in an Open Source Software.

[BibT_eX]

[DOI]

Proceedings of the Open Source Systems: Integrating Communities, 2016

A model for systematic monitoring and debugging of starvation bugs in multicore software.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Specification, 2016

The SafeCOP ECSEL Project: Safe Cooperating Cyber-Physical Systems Using Wireless Communication.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

SMT-based synthesis of TTEthernet schedules: A performance study.

[BibT_eX]

[DOI]

Wilfried Steiner

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

A Survey on Testing for Cyber Physical System.

[BibT_eX]

[DOI]

Rafia Inam

Proceedings of the Testing Software and Systems, 2015

Using Safety Contracts to Guide the Integration of Reusable Safety Elements within ISO 26262.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Flexible and Efficient Reuse of Multi-mode Components for Building Multi-mode Systems.

[BibT_eX]

[DOI]

Hang Yin

Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

A Method to Generate Reusable Safety Case Fragments from Compositional Safety Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse for Dynamic Systems in the Cloud and Beyond, 2015

Towards Classification of Concurrency Bugs Based on Observable Properties.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

A decomposition approach for SMT-based schedule synthesis for time-triggered networks.

[BibT_eX]

[DOI]

Wilfried Steiner

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Generation of Safety Case Argument-Fragments from Safety Contracts.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

Handling Emergency Mode Switch for Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Mode switch timing analysis for component-based multi-mode systems.

[BibT_eX]

[DOI]

Hang Yin

J. Syst. Archit., 2013

Strong and weak contract formalism for third-party component reuse.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Mode switch handling for the ProCom component model.

[BibT_eX]

[DOI]

Proceedings of the CBSE'13, 2013

Handling Multiple Mode Switch Scenarios in Component-Based Multi-mode Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Better, faster, cheaper, and safer too - Is this really possible?

[BibT_eX]

[DOI]

Iain Bate

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Timing Analysis for Mode Switch in Component-Based Multi-mode Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Towards mode switch handling in component-based multi-mode systems.

[BibT_eX]

[DOI]

Hang Yin

Jan Carlson

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

2011

Timing analysis for a composable mode switch.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Analysis of Mistakes as a Method to Improve Test Case Design.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Software Maintenance Research in the PROGRESS Project for Predictable Embedded Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

2010

Towards Fully Automated Test Management for Large Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

2009

Managing redundancy in CAN-based networks supporting N-Version Programming.

[BibT_eX]

[DOI]

Julián Proenza

José Miró-Julià

Comput. Stand. Interfaces, 2009

Real-Time in Networked Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems Design and Verification, 2009

2008

Scheduling Timed Modules for Correct Resource Sharing.

[BibT_eX]

[DOI]

Paul Pettersson

Proceedings of the First International Conference on Software Testing, 2008

CORCS 2008 Workshop Organization.

[BibT_eX]

[DOI]

Paul Pettersson

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

Message from the CORCS 2008 Workshop Organizers.

[BibT_eX]

[DOI]

Paul Pettersson

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

The SAVE approach to component-based development of vehicular systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2007

Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking.

[BibT_eX]

[DOI]

Julián Proenza

Proceedings of the Formal Methods and Software Engineering, 2007

Evaluating the Quality of Models Extracted from Embedded Real-Time Software.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques.

[BibT_eX]

[DOI]

Proceedings of the Testing: Academia and Industry Conference, 2006

Automatic Generation and Validation of Models of Legacy Software.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Integration of networked subsystems in a resource constrained environment.

[BibT_eX]

[DOI]

Lucia Lo Bello

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Real-Time in Embedded Systems.

[BibT_eX]

[DOI]

Mikael Nolin

Proceedings of the Embedded Systems Handbook., 2005

Real-time server-based communication with CAN.

[BibT_eX]

[DOI]

Mikael Nolin

IEEE Trans. Ind. Informatics, 2005

Towards a Dependable Component Technology for Embedded System Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Towards analyzing the fault-tolerant operation of server-CAN.

[BibT_eX]

[DOI]

Julián Proenza

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Automotive communications-past, current and future.

[BibT_eX]

[DOI]

Lucia Lo Bello

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Real-Time Systems.

[BibT_eX]

Mikael Nolin

Proceedings of the Industrial Information Technology Handbook, 2005

A Comparative Case Study of Distributed Network Architectures for Different Automotive Applications.

[BibT_eX]

Proceedings of the Industrial Information Technology Handbook, 2005

2004

SaveCCM - A Component Model for Safety-Critical Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003

Worst-case execution-time analysis for embedded real-time systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

Server-based scheduling of the CAN bus.

[BibT_eX]

[DOI]

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

Integrating reliability and timing analysis of CAN-based systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2002

Minimizing CAN Response-Time Jitter by Message Manipulation.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

2001

Testing distributed real-time systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2001

A simulation based approach for estimating the reliability of distributed real-time systems.

[BibT_eX]

[DOI]

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

2000

Using measurements to derive the worst-case execution time.

[BibT_eX]

[DOI]

Markus Lindgren

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Deriving reliability estimates of distributed real-time systems by simulation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Response Time Analysis under Errors for CAN.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

2 + 10 > 1 + 50!

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing, 2000

Reliability Modelling of Time-Critical Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Using deterministic replay for debugging of distributed real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999

Towards Systematic Testing of Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Handling Interrupts in Testing of Distributed Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Analyzing Multimedia Traffic in Real-Time ATM Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, 1999

1998

The Slack Method: A New Method for Static Allocation of Hard Real-Time Tasks.

[BibT_eX]

[DOI]

Peter Altenbernd

Real Time Syst., 1998

Improved Response-Time Analysis Calculations.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Wait-Free Snapshots in Real-Time Systems: Algorithms and Performance.

[BibT_eX]

[DOI]

Andreas Ermedahl

Marina Papatriantafilou

Philippas Tsigas

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

1997

BASEMENT: An Architecture and Methodology for Distributed Automotive Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1997

Response-time guarantees in ATM networks.

[BibT_eX]

[DOI]

Andreas Ermedahl

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

Guaranteeing Real-Time Traffic Through an ATM Network.

[BibT_eX]

[DOI]

Ken Tindell

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

BASEMENT: A Distributed Real-Time Architecture for Vehicle Applications.

[BibT_eX]

[DOI]

Real Time Syst., 1996

Guaranteeing Real-Time Traffic Through an ATM Network.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Real-Time Computing Systems Application (RTCSA '96), October 30, 1996

1994

A Logic for Reasoning about Time and Reliability.

[BibT_eX]

[DOI]

Bengt Jonsson

Formal Aspects Comput., 1994

1992

A Process Calculus with Incomparable Priorities.

[BibT_eX]

[DOI]

Fredrik Orava

Proceedings of the NAPAW 92, 1992

Time and probabilities in specification and verification of real-time systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth Euromicro workshop on Real-Time Systems, 1992

1991

Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1991

Time and probability in formal design of distributed systems.

[BibT_eX]

PhD thesis, 1991

1990

A Calculus for Communicating Systems with Time and Probabitilies.

[BibT_eX]

[DOI]

Bengt Jonsson

Proceedings of the Real-Time Systems Symposium, 1990

1989

A Framework for Reasoning about Time and Reliability.

[BibT_eX]

[DOI]

Bengt Jonsson

Proceedings of the Real-Time Systems Symposium, 1989

Specification for Verification.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1989

1985

Automatic implementation of formal descriptions of communication protocols.

[BibT_eX]

Proceedings of the Protocol Specification, 1985

An approach for evaluating formal description techniques.

[BibT_eX]

Proceedings of the Protocol Specification, 1985

1984

An ASYL/EFSM Description of the ISO Transport Protocol.

[BibT_eX]

Mats Daniels