A model-based failure recovery approach for automated production systems combining SysML and industrial standards

Bareiss, Patrick; Schütz, Daniel; Priego, Rafael; Marcos, Marga; Vogel‐Heuser, Birgit

doi:10.1109/etfa.2016.7733720

Cited by 13 publications

(6 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Bareiß et al [84] Modified the SysML meta-model to create a SysML4Pack profile that combines SysML model, OCL [98] and the state machines of OMAC to represent predictable faults of automatic production systems.…”

Section: Sysmlmentioning

confidence: 99%

“…3. Bareiß et al [84] used an integration with OMAC state machines, ISA-88 physical models, and OCL constraints for transforming models to code. 4.…”

Section: Goalsmentioning

confidence: 99%

“…From the Goal/SysML integration methods, Ingram et al [45] used fault tolerance analysis and rules to deal with errors. Without considering goal models, Ribeiro et al [91], Parri et al [85], Bareiß et al [84], Souza et al [93], and Soyler and Sala-Diakanda [17] triggered their embedded strategies, configuration, or plans to respond to internal or environmental changes. Similarly, Morandini et al [82,83] represented the goal model in an agent structure while embedding the environmental and failure conditions, alternatives, and plans in agent beliefs and system design.…”

Section: P R E V I E Wmentioning

confidence: 99%

“…Meacham [90] used a pattern analysis algorithm to trigger the adaptation while Morandini et al [83] used a goal modeling approach and several types of conditions that trigger the adaptation process. In order to select a suitable recovery strategy, Bareiß et al [84] used a diagnosis model that compared the current system state with the pre-and post-conditions of each operation state. The if-condition-then-plan technique is used here because it is a simple way for humans to express a rational logic in the systems.…”

Section: Decision-making and Strategy Selectionmentioning

confidence: 99%

See 3 more Smart Citations

Self-Adaptation Driven by SysML and Goal Models -- A Literature Review

Anda¹,

Amyot²

2022

EISEJ

View full text Add to dashboard Cite

Background: Socio-cyber-physical systems (SCPSs) are a type of cyber-physical systems with social concerns. Many SCPSs, such as smart homes, must be able to adapt to reach an optimal symbiosis with users and their contexts. The Systems Modeling Language (SysML) is frequently used to specify ordinary CPSs, whereas goal modeling is a requirements engineering approach used to describe and reason about social concerns. Objective: This paper aims to assess existing modeling techniques that support adaptation in SCPSs, and in particular those that integrate SysML with goal modeling. Method: A systematic literature review presents the main contributions of 52 English articles selected from five databases that use both SysML and goal models (17 techniques), SysML models only (11 techniques), or goal models only (8 techniques) for analysis and self-adaptation. Result: Existing techniques have provided increasingly better modeling support for adaptation in a SCPS context, but overall analysis support remains weak. The techniques that combine SysML and goal modeling offer interesting benefits by tracing goals to SysML (requirements) diagrams and influencing the generation of predefined adaptation strategies for expected contexts, but few target adaptation explicitly and most still suffer from a partial coverage of important goal modeling concepts and of traceability management issues.

show abstract

Section: Sysmlmentioning

confidence: 99%

“…3. Bareiß et al [84] used an integration with OMAC state machines, ISA-88 physical models, and OCL constraints for transforming models to code. 4.…”

Section: Goalsmentioning

confidence: 99%

Section: P R E V I E Wmentioning

confidence: 99%

Section: Decision-making and Strategy Selectionmentioning

confidence: 99%

See 2 more Smart Citations

Self-Adaptation Driven by SysML and Goal Models -- A Literature Review

Anda¹,

Amyot²

2022

EISEJ

View full text Add to dashboard Cite

show abstract

“…Besides, [29] developed a concept for reconfiguration in case of a PLC error and distinguished different methods of error reaction depending on error severity and system state. Similarly, [30] use a model-based approach to define restart points after a control error.…”

Section: Cylinder_family_model (Hw)mentioning

confidence: 99%

Boosting Extra-Functional Code Reusability in Cyber-Physical Production Systems: The Error Handling Case Study

Vogel‐Heuser

Fischer

Hess³

et al. 2022

IEEE Trans. Emerg. Topics Comput.

Self Cite

View full text Add to dashboard Cite

Cyber-Physical Production Systems (CPPS) are long-living and mechatronic systems, which include mechanics, electrics/electronics and software. The interdisciplinary nature combined with challenges and trends in the context of Industry 4.0 such as a high degree of customization, small lot sizes and evolution cause a high amount of variability. Mastering the variability of functional control software, e.g., different control variants of an actuator type, is itself a challenge in de veloping and reusing CPPS software. This task becomes even more complex when considering extra-functional software such as operating modes, diagnosis and error handling. These software parts have high interdependencies with functional software, often involving the human-machine interface (HMI) to enable the intervention of operators. This paper illustrates the challenges in documenting the dependencies of these software parts including their variability using family models. A procedural and an object-oriented concept for implementing error handling, which represents an extra-functional task with high dependencies to functional software and the HMI, are proposed. The suitability of both concepts to increase the software's reusability and, thus, its flexibility in the context of Industry 4.0 is discussed. Their comparison confirms the high potential of the object-oriented extension of IEC 61131-3 to handle planned reuse of extra-functional CPPS software successfully.

show abstract

Towards the Definition of a Security Incident Response Modelling Language

Athinaiou

Mouratidis

Fotis

et al. 2018

Trust, Privacy and Security in Digital Business

View full text Add to dashboard Cite

This paper presents a cyber-physical systems modelling language for capturing and describing health-based critical infrastructures. Following this practice incident response plan developers are able to model and reason about security and recovery issues in medical cyberphysical systems from a security requirements engineering perspective. Our work builds upon concepts from the Secure Tropos methodology, where in this paper we introduce novel cyber-physical concepts, relationships and properties in order to carry out analysis of incident response plans based on security requirements. We illustrate our concepts through a case study of a radiological department's medical cyber-physical systems that have been infected with the WannaCry ransomware. Finally, we discuss how our modelling language enriches security models with incident response concepts, guiding plan developers of health-based critical infrastructures in understanding cyber-physical systems vulnerabilities and support decision making at a tactical and a strategic level, through semi-automated secure recovery analysis.

show abstract

A model-based failure recovery approach for automated production systems combining SysML and industrial standards

Cited by 13 publications

References 31 publications

Self-Adaptation Driven by SysML and Goal Models -- A Literature Review

Self-Adaptation Driven by SysML and Goal Models -- A Literature Review

Boosting Extra-Functional Code Reusability in Cyber-Physical Production Systems: The Error Handling Case Study

Towards the Definition of a Security Incident Response Modelling Language

Contact Info

Product

Resources

About