Scenario-based system design with colored Petri nets: an application to train control systems

Wu, Daohua; Schnieder, Eckehard

doi:10.1007/s10270-016-0517-1

Cited by 17 publications

(15 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…But some of the existing approaches considered only hardware failures. 24,26,29,32,35,38,40,46,48,50,58,62,[88][89][90][91][92] So the failure of any one of system may lead to system failure. • There are approaches that have the limitation of component inter-connectivity for their assessment of safety.…”

Section: Research Challengesmentioning

confidence: 99%

“…Volovoi, 26 Mihalache et al, 33 Chew et al, 40 Ramos et al, 46 Kleyner and Volovoi, 47 Liu et al, 50 Singh and Rajput, 54 Singh et al, 56 Kaur et al 59 and Wu and Schnieder 62 used PN for reliability analysis of SCS. Markov chain models are also popularly used in system modelling to analyse reliability.…”

Section: Literature Reviewmentioning

confidence: 99%

“…Yacoub et al 28 30 Tu et al 53 6 Bearfield et al 29 31 Singh and Rajput 54 7 Huang et al 30 32 Jia et al 55 8 Dutuit and Rauzy 32 33 Singh et al 56 9 Chang et al 31 34 Yu and Jie 63 10 Mihalache et al 33 35 Kumar et al 57 11 Wende et al 34 36 Vicenzutti et al 58 12 Shalev and Tiran 35 37 Kaur et al 59 13 Chen et al 36 38 Chi et al 60 14 Kumar and Misra 37 39 Wang et al 61 15 Guo and Yang 38 40 Wu and Schnieder 62 16 Bucci et al 39 17 Chew et al 40 18 Aljazzar et al 41 19 Volkanovski et al 42 20 Kumar and Jackson 43 21 Cai et al 44 22 Tuan et al 45 23 Ramos et al 46 24 Kleyner and Volovoi …”

mentioning

confidence: 99%

See 2 more Smart Citations

Reliability of safety‐critical systems: A state‐of‐the‐art review

Maurya

Kumar

2020

Quality & Reliability Eng

View full text Add to dashboard Cite

Safety-critical systems are designed to prevent catastrophic consequences from failure, such as injury or death to humans and environmental damage. These must be carefully designed to ensure reliability requirements. The purpose of this paper is to identify the number of models in the reliability analysis of safety-critical systems. To achieve this goal, we conducted a systematic review of 40 shortlisted studies. The selected studies are classified based on various techniques used in safety-critical systems. This paper summarizes the literature review in the field of reliability of safety-critical systems. The limitations of the literature are exquisitely represented. The international safety norms and applications of safety-critical systems are discussed systematically in this paper. This paper emerges research trends, research challenges and insights of the researcher for future research direction in the area of safety-critical systems.

show abstract

Section: Research Challengesmentioning

confidence: 99%

Section: Literature Reviewmentioning

confidence: 99%

mentioning

confidence: 99%

See 1 more Smart Citation

Reliability of safety‐critical systems: A state‐of‐the‐art review

Maurya

Kumar

2020

Quality & Reliability Eng

View full text Add to dashboard Cite

show abstract

“…Such a language seems to be divided into two levels of syntax: a graphic description of the interaction (description of the experiment) and pseudo-code describing specific messages sent to the language interpretation mechanism. For describing the interaction of devices, the marked Petri net [1,2,7,8,9] is well suited, and for describing messages transmitted to the performer (device, computer, etc., depending on the command), it is advisable to use a high-level programming language. The results of comparision is shown at Table 1.…”

Section: The Matrix Algorithmmentioning

confidence: 99%

Analysis of the Correctness of the Model of Biomedical Experiment Based on the Transition Graph by Means of a Matrix Algebra

Kruzhkov¹,

Nasyrov²,

Mulayanov³

2019

Proceedings of the 21st International Workshop on Computer Science and Information Technologies (CSIT 2019)

View full text Add to dashboard Cite

The article deals with the problems of formal description of methods of organization of biomedical experiment. The need for a formal description of the experimental scheme is postulated. One of the ways of formal representation of the biomedical experiment based on the transition graph, which is one of the variants of the description of the finite state machine, is considered. The description revealed that the main characteristics of this representation are the correctness and adequacy of the representation in the form of a graph of transitions. The problem of description of nested sequences of actions corresponding to the beginning and end of the use of different components of the experiment is considered. An example of such use is the serial and parallel activation of experimental equipment. In this case, the correct sequences correspond to the implemented experiments, and the wrong ones correspond to the unrealizable ones. In this regard, there is a need to verify such feasibility. The necessity of checking the correctness of the graph as the main condition for the feasibility of the experiment is substantiated. One of the approaches to the analysis of the correctness of such a graph on the basis of matrix calculations is presented. The method of constructing the transition graph matrix is considered. The basic transformations necessary for checking the correctness of the transition graph of the biomedical experiment are given.

show abstract

“…Simulation does not have this kind of problem. However, it only supports a quick and informal validation of the system model by executing certain execution paths depending on the initial configuration of the model, which is not enough for safety-critical systems [34].…”

Section: Related Workmentioning

confidence: 99%

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

Yuan

Chen

Liu

et al. 2018

IEEE Trans. Intell. Transport. Syst.

View full text Add to dashboard Cite

Formal methods have been applied widely to verifying the safety requirements of Communication-Based Train Control (CBTC) systems, while the problem situations could be much simplified. In industrial practices of CBTC systems, however, huge complexity arises, which renders those methods nearly impossible to apply. In this paper, we aim to reduce the state space of formal verification problems in Zone Controller, a sub-system of a typical CBTC. We achieve the simplification goal by reducing the total number of device variables. To do this, two projection methods are proposed based on Problem Frames and constraints, respectively. The Problem Frames based method decomposes the system according to sub-properties through functional decomposition, whilst the constraints based projection method removes redundant variables. Our industrial case study demonstrates the feasibility though an evaluation, confirming that these two methods are effective in reducing the state spaces of complex verification problems in this application domain.

show abstract

Scenario-based system design with colored Petri nets: an application to train control systems

Cited by 17 publications

References 30 publications

Reliability of safety‐critical systems: A state‐of‐the‐art review

Reliability of safety‐critical systems: A state‐of‐the‐art review

Analysis of the Correctness of the Model of Biomedical Experiment Based on the Transition Graph by Means of a Matrix Algebra

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

Contact Info

Product

Resources

About