Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets

2012 ◽  
Author(s):  
Lalit Kumar Singh ◽  
Gopika Vinod ◽  
A.K. Tripathi
Keyword(s):  
Petri Nets ◽  
Safety Critical ◽  
Modeling And Prediction ◽  
Computer Based

Safety-Critical, Dependable, and Fault-Tolerant Cyber-Physical Systems

2018 ◽  
pp. 54-78
Author(s):  
Guru Prasad Bhandari ◽  
Ratneshwer Gupta
Keyword(s):  
Fault Tolerance ◽  
Fault Tolerant ◽  
Cyber Physical Systems ◽  
General Information ◽  
The Internet ◽  
Physical Systems ◽  
Safety Critical ◽  
Computer Based

Cyber-physical systems (CPSs) are co-engineered integrating with physical and computational components networks. Additionally, a CPS is a mechanism controlled or monitored by computer-based algorithms, tightly interacting with the internet and its users. This chapter presents the definitions relating to dependability, safety-critical and fault-tolerance of CPSs. These definitions are supplemented by other definitions like reliability, availability, safety, maintainability, integrity. Threats to dependability and security like faults, errors, failures are also discussed. Taxonomy of different faults and attacks in CPSs are also presented in this chapter. The main objective of this chapter is to give the general information about secure CPS to the learners for the further enhancement in the field of CPSs.

Introduction to this Special Issue on “Human-Machine Interaction and Cooperation in Safety-Critical Systems”

i-com ◽  
2016 ◽  
Vol 15 (3) ◽  
Author(s):  
Tilo Mentler ◽  
Christian Reuter ◽  
Stefan Geisler
Keyword(s):  
Large Scale ◽  
Professional Staff ◽  
Multimedia Systems ◽  
Critical Systems ◽  
Special Issue ◽  
Human Machine Interaction ◽  
Safety Critical ◽  
Computer Based ◽  
Safety Critical Systems ◽  
Machine Interaction

AbstractMission- and safety-critical domains are more and more characterized by interactive and multimedia systems varying from large-scale technologies (e. g. airplanes) to wearable devices (e. g. smartglasses) operated by professional staff or volunteering laypeople. While technical availability, reliability and security of computer-based systems are of utmost importance, outcomes and performances increasingly depend on sufficient human-machine interaction or even cooperation to a large extent. While this i-com Special Issue on “Human-Machine Interaction and Cooperation in Safety-Critical Systems” presents recent research results from specific application domains like aviation, automotive, crisis management and healthcare, this introductory paper outlines the diversity of users, technologies and interaction or cooperation models involved.

An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

2015 ◽  
Author(s):  
Zakaryae Boudi ◽  
El Miloudi El Koursi ◽  
Simon Collart-Dutilleul
Keyword(s):  
Petri Nets ◽  
Information Aggregation ◽  
Colored Petri Nets ◽  
Formal Modeling ◽  
Accurate Information ◽  
Safety Critical ◽  
Railway Safety ◽  
High Level ◽  
Term Objective

Analyzing railway critical scenarios usually involves a large team of diverse railway abilities and skills. This paper presents a formal modeling pattern for Hierarchical Colored Petri Nets (HCPN) in modeling railway safety critical scenarios. Indeed, under the French project called “PERFECT”, our long-term objective is to formalize and automate a significant part of railway scenarios modeling. The purpose of this contribution is to bring a first proposition of a standardized modeling way able to deal with the models complexity resulting from the various modeling capabilities for railway scenarios. In fact, HCPN modeling freedom is preventing from accurate information aggregation and a beneficial use of those models in an overall safety analysis. The proposed pattern is based on modular High Level Petri Nets and consists in describing all the railway scenario episodes while incorporating most relevant safety components of the system, such as safety regulation procedures, interlocking and even human involvement, enabling a larger gathering of information and allowing the study of diverse issues in a same global model. This work intends to bring a concrete and reusable HCPN pattern for modeling in order to facilitate studies of accidental scenarios considering automatic mechanisms and human tasks. A concrete application of the pattern was made for the real accidental scenario of “Saint Romain en Gier”.

Research and Implementation of the Secure Database-Update Mechanism

2014 ◽  
Vol 513-517 ◽  
pp. 1752-1755 ◽  
Author(s):  
Chun Liu ◽  
Kun Tan
Keyword(s):  
Real Time ◽  
Large Scale ◽  
Data Transfer ◽  
Time Data ◽  
Safety Critical ◽  
Large Scale Data ◽  
Data Transfer Protocol ◽  
Safety And Reliability ◽  
Computer Based ◽  
Short Time

For a safety critical computer, large-scale data like database which has to be transferred in an instant time cannot be voted directly. This paper proposes a database update algorithm for safety critical computer based on status vote,which is to vote the database status instead of database itself. This algorithm can solve the problem of voting too much data in a short time, and compare versions of database of different modules in real time. A Markov model is built to calculate the safety and reliability of this algorithm. The results show that this algorithm meets the update requirement of safety critical computer. 1. Communication protocol for database update 1.1 TFTP protocol TFTP is a simple protocol for transporting document. It usually uses the UDP protocol to realize but the TFTP does not require the specific agreement of implementation and can implement with TCP in special occasions. [This agreement is designed for small file transferring, so it doesn't have function many FTP usually does; it can only acquire or write the file from the server and not able tot list directory, not authenticate. It transfers 8 bits of data with three models: netascii, the eight-bit ASCII form; octet, the eight-bit source data type; mail, no longer supported, it returns the data back directly to the user rather than saved as a file. 1.2 SRTP Ethernet security real-time data transfer protocol

scholarly journals From Place/Transition Petri nets to B abstract machines for safety critical systems

2015 ◽  
Vol 48 (21) ◽  
pp. 332-338 ◽  
Author(s):  
Zakaryae Boudi ◽  
El Miloudi ◽  
El Koursi ◽  
Simon Collart-Dutilleul
Keyword(s):  
Petri Nets ◽  
Critical Systems ◽  
Safety Critical ◽  
Abstract Machines ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document