mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A State-based Extension to STPA for Safety-Critical System-of-Systems
Volvo Construction Equipment, Eskilstuna, Sweden.ORCID iD: 0000-0003-4756-7285
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. RISE ICT/SICS Västerås, Sweden.ORCID iD: 0000-0001-8891-033X
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0001-5269-3900
(English)In: 4th International Conference on System Reliability and Safety ICSRS-2019Conference paper, Published paper (Refereed)
Abstract [en]

Automation of earth moving machinery enables improving existing production workflows in various applications like surface mines, material handling operations or material transporting. Such connected and collaborating autonomous machines can be seen as a system-of-systems. It is not yet clear how to consider safety during the development of such systemof- systems (SoS). One potentially useful approach to analyze the safety for complex systems is the System Theoretic Process Analysis (STPA). However, STPA is essentially suitable to static monolithic systems and lacks the ability to deal with emergent and dysfunctional behaviors in the case of SoS. These behaviors if not identified could potentially lead to hazards and it is important to provide mechanisms for SoS developers/integrators to capture such critical situations. In this paper, we present an approach for enriching STPA to provide the ability to check whether the distributed constituent systems of a SoS have a consistent perspective of the global state which is necessary to ensure safety. In other words, these checks must be capable at least to identify and highlight inconsistencies that can lead to critical situations. We describe the above approach by taking a specific case of state change related issues that could potentially be missed by STPA by looking at an industrial case. By applying Petri nets, we show that possible critical situations related to state changes are not identified by STPA. In this context we also propose a modelbased extension to STPA and show how our new process could function in tandem with STPA.

Keywords [en]
Hazard Analysis and Risk Assessment, Systemof-Systems, Autonomous Machines, STPA, Safety, Petri Net
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-46270OAI: oai:DiVA.org:mdh-46270DiVA, id: diva2:1377764
Conference
4th International Conference on System Reliability and Safety ICSRS-2019, 20 Nov 2019, Rome, Italy
Projects
ITS-EASY Post Graduate School for Embedded Software and SystemsAvailable from: 2019-12-12 Created: 2019-12-12 Last updated: 2019-12-12

Open Access in DiVA

No full text in DiVA

Authority records BETA

Fröberg, JoakimPunnekkat, Sasikumar

Search in DiVA

By author/editor
Baumgart, StephanFröberg, JoakimPunnekkat, Sasikumar
By organisation
Embedded Systems
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 3 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf