Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs

Katwijk, J. van; Toetenel, Hans; Sahraoui, Abd‐El‐Kader; Anderson, Eric; Zalewski, Janusz

doi:10.1007/3-540-40891-6_4

Cited by 10 publications

(3 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The pattern and its safety-oriented use are presented throughout this article with the goal to construct a safety shell (cp. [7,8]) for a designed application.…”

Section: Safety-oriented Designmentioning

confidence: 99%

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

Gumzej

Halang²

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

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 guards as well as I/O protection and exception handling mechanisms, is explained. The pattern is parameterised by defining the properties of its components as well as by defining the mapping between software and hardware architectures. Initial and alternative execution scenarios as well as the method for switching between them are defined. The goal pursued with the safety shell is to obtain clearly specified operation scenarios with well-defined transitions between them. To achieve safe and timely operation, the pattern must provide safety shell mechanisms for an application designed, i.e., enable its predictable deterministic and temporally predictable operation now and in the future.

show abstract

“…The pattern and its safety-oriented use are presented throughout this article with the goal to construct a safety shell (cp. [7,8]) for a designed application.…”

Section: Safety-oriented Designmentioning

confidence: 99%

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

Gumzej

Halang²

2009

Innovations Syst Softw Eng

View full text Add to dashboard Cite

show abstract

“…To address the software safety issues we employ the concept of safety shell (Fig. 5), developed in collaboration with NASA [9], which relies on an architectural concept similar to that of RCS architecture [10] and fits well into the RCS scheme, enabling design of control systems [11]. Its essential element is the implementation of a "Test First" design element to prevent dangerous situations from occurring.…”

Section: Software Safetymentioning

confidence: 99%

Safety enhancements of home lift, position and rehabilitation (HLPR) chair

et al. 2009

Self Cite

View full text Add to dashboard Cite

According to recent studies published in AI Magazine (2005), in 2000, "people aged 65 and older made up 12.& Rehabilitation (HLPR) chair to investigate specific areas of mobility and rehabilitation. The HLPR chair has been built as a prototype but a significant number of unresolved issues exist and are being researched. The objective of this particular project is to investigate the computer and software safety issues in the design, implementation and use of the HLPR chair.

show abstract

“…Since the two main requirements for real-time systems are safety and timeliness, the role of the pattern in constructing the safety shell (cp. [11,12]) of a designed system is emphasised.…”

Section: Introductionmentioning

confidence: 99%