2009
DOI: 10.1007/s11334-009-0084-5
|View full text |Cite
|
Sign up to set email alerts
|

A safety shell for UML-RT projects structure and methods of the corresponding UML pattern

Abstract: A safety shell pattern was defined based on a re-configuration management pattern and inspired by the architectural specifications in Specification PEARL. It is meant to be used for real-time applications to be developed with UML-RT as described. The implementation of the safety shell features as defined in Kornecki and Zalewski (Software Development for Real-Time Safety-Critical Applications. Software Engineering Workshop-Tutorial Notes, 29th Annual IEEE/NASA 03, pp 1-95, 2005), namely, its timing and state g… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2

Citation Types

0
4
0

Year Published

2012
2012
2023
2023

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(4 citation statements)
references
References 13 publications
0
4
0
Order By: Relevance
“…These include Generic and Specific Sensor, Generic and Specific Indicator, State Histogram Sensor, and Histogram Analysis Indicator. Halang et al produced several papers on UML profiles and models for fault-tolerant systems [51,52] that included a safety shell pattern based on a Reconfiguration Management pattern.…”
Section: Reliability Fault Tolerance and Availability Patternsmentioning
confidence: 99%
“…These include Generic and Specific Sensor, Generic and Specific Indicator, State Histogram Sensor, and Histogram Analysis Indicator. Halang et al produced several papers on UML profiles and models for fault-tolerant systems [51,52] that included a safety shell pattern based on a Reconfiguration Management pattern.…”
Section: Reliability Fault Tolerance and Availability Patternsmentioning
confidence: 99%
“…These include, Generic and Specific Sensor, Generic and Specific Indicator, State Histogram Sensor, and Histogram Analysis Indicator. W. Halang and his group produced several papers on UML profiles and models for fault tolerant systems: [31], [32] shows a safety shell pattern based on a reconfiguration management pattern.…”
Section: Reliability Patternsmentioning
confidence: 99%
“…There are multiple, well established methodologies and techniques to address safety concerns during the development process (Leveson, 1995), however, for the model presented in Figure 2, we opted to choose an approach named safety shell, because it fits well into a concept of analogy between safety and security ( Figure 3, Gumzej and Halang, 2009).…”
Section: From Safety Shell To Securitymentioning
confidence: 99%
“…By "testing first" the hardware processor or software shell will either validate or invalidate the current action and/or the desired action. It has been developed further by Gumzej and Halang (2009) to map the design on the UML model. In essence, as shown in Figure 3, the physical environment is separated from the controller by an array of guards forming the shell.…”
Section: From Safety Shell To Securitymentioning
confidence: 99%