Matches in SemOpenAlex for { <https://semopenalex.org/work/W2058015404> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2058015404 endingPage "7" @default.
- W2058015404 startingPage "1" @default.
- W2058015404 abstract "Safety plays a crucial role in the development of complex computer systems in the relevant areas like railway transport, process industry, power plants, etc. In the design phase of safety-critical systems, various methods are used to make the system work correctly. Due to advancements in technology, safety-critical systems are equipped with the necessary safety precautions but not completely. The malfunctioning of systems may lead to catastrophic accidents. Compared to commonly used safety-analysis approaches like Failure Mode and Effects Analysis, Fault Tree Analysis, Event Tree Analysis, etc., Petri Nets are more suitable for hazard analysis as they can specify data flow and stochastic interdependencies. An example safety-critical system, Railroad Crossing Junction has been modeled using Petri Nets for hazard analysis to detect the occurrences of possible hazards in the system. The proposed modeling framework provides a flexible graphical representation allowing a qualitative analysis based on the safe and unsafe state representations and a quantitative analysis based on the reachability graph that in turn leads to an effective safety analysis. The result of careful and rigorous safety analysis is to identify unsafe states. The results of safety analysis can be used by the designer for re-designing the system to improve safety. The designer of the system needs to repeat the process to detect the unsafe states." @default.
- W2058015404 created "2016-06-24" @default.
- W2058015404 creator A5035404395 @default.
- W2058015404 creator A5051549750 @default.
- W2058015404 date "2015-02-06" @default.
- W2058015404 modified "2023-09-25" @default.
- W2058015404 title "Modeling of Safety-Critical Systems Using Petri Nets" @default.
- W2058015404 cites W1574901384 @default.
- W2058015404 cites W1996109622 @default.
- W2058015404 cites W2111917114 @default.
- W2058015404 cites W2127159302 @default.
- W2058015404 cites W2139773283 @default.
- W2058015404 cites W2150918644 @default.
- W2058015404 cites W2079743668 @default.
- W2058015404 doi "https://doi.org/10.1145/2693208.2693238" @default.
- W2058015404 hasPublicationYear "2015" @default.
- W2058015404 type Work @default.
- W2058015404 sameAs 2058015404 @default.
- W2058015404 citedByCount "15" @default.
- W2058015404 countsByYear W20580154042015 @default.
- W2058015404 countsByYear W20580154042016 @default.
- W2058015404 countsByYear W20580154042018 @default.
- W2058015404 countsByYear W20580154042019 @default.
- W2058015404 countsByYear W20580154042020 @default.
- W2058015404 countsByYear W20580154042021 @default.
- W2058015404 countsByYear W20580154042022 @default.
- W2058015404 crossrefType "journal-article" @default.
- W2058015404 hasAuthorship W2058015404A5035404395 @default.
- W2058015404 hasAuthorship W2058015404A5051549750 @default.
- W2058015404 hasConcept C107094494 @default.
- W2058015404 hasConcept C111919701 @default.
- W2058015404 hasConcept C120314980 @default.
- W2058015404 hasConcept C127413603 @default.
- W2058015404 hasConcept C132835097 @default.
- W2058015404 hasConcept C136643341 @default.
- W2058015404 hasConcept C163707989 @default.
- W2058015404 hasConcept C178790620 @default.
- W2058015404 hasConcept C179800331 @default.
- W2058015404 hasConcept C185592680 @default.
- W2058015404 hasConcept C199360897 @default.
- W2058015404 hasConcept C200601418 @default.
- W2058015404 hasConcept C206355099 @default.
- W2058015404 hasConcept C2777904410 @default.
- W2058015404 hasConcept C30098461 @default.
- W2058015404 hasConcept C38677869 @default.
- W2058015404 hasConcept C41008148 @default.
- W2058015404 hasConcept C49261128 @default.
- W2058015404 hasConcept C66283442 @default.
- W2058015404 hasConcept C80444323 @default.
- W2058015404 hasConcept C94279714 @default.
- W2058015404 hasConcept C98045186 @default.
- W2058015404 hasConceptScore W2058015404C107094494 @default.
- W2058015404 hasConceptScore W2058015404C111919701 @default.
- W2058015404 hasConceptScore W2058015404C120314980 @default.
- W2058015404 hasConceptScore W2058015404C127413603 @default.
- W2058015404 hasConceptScore W2058015404C132835097 @default.
- W2058015404 hasConceptScore W2058015404C136643341 @default.
- W2058015404 hasConceptScore W2058015404C163707989 @default.
- W2058015404 hasConceptScore W2058015404C178790620 @default.
- W2058015404 hasConceptScore W2058015404C179800331 @default.
- W2058015404 hasConceptScore W2058015404C185592680 @default.
- W2058015404 hasConceptScore W2058015404C199360897 @default.
- W2058015404 hasConceptScore W2058015404C200601418 @default.
- W2058015404 hasConceptScore W2058015404C206355099 @default.
- W2058015404 hasConceptScore W2058015404C2777904410 @default.
- W2058015404 hasConceptScore W2058015404C30098461 @default.
- W2058015404 hasConceptScore W2058015404C38677869 @default.
- W2058015404 hasConceptScore W2058015404C41008148 @default.
- W2058015404 hasConceptScore W2058015404C49261128 @default.
- W2058015404 hasConceptScore W2058015404C66283442 @default.
- W2058015404 hasConceptScore W2058015404C80444323 @default.
- W2058015404 hasConceptScore W2058015404C94279714 @default.
- W2058015404 hasConceptScore W2058015404C98045186 @default.
- W2058015404 hasIssue "1" @default.
- W2058015404 hasLocation W20580154041 @default.
- W2058015404 hasOpenAccess W2058015404 @default.
- W2058015404 hasPrimaryLocation W20580154041 @default.
- W2058015404 hasRelatedWork W1546059779 @default.
- W2058015404 hasRelatedWork W184169051 @default.
- W2058015404 hasRelatedWork W202189996 @default.
- W2058015404 hasRelatedWork W2047788591 @default.
- W2058015404 hasRelatedWork W2058015404 @default.
- W2058015404 hasRelatedWork W2293744380 @default.
- W2058015404 hasRelatedWork W2342977825 @default.
- W2058015404 hasRelatedWork W3126382423 @default.
- W2058015404 hasRelatedWork W4382562388 @default.
- W2058015404 hasRelatedWork W9641455 @default.
- W2058015404 hasVolume "40" @default.
- W2058015404 isParatext "false" @default.
- W2058015404 isRetracted "false" @default.
- W2058015404 magId "2058015404" @default.
- W2058015404 workType "article" @default.