Matches in SemOpenAlex for { <https://semopenalex.org/work/W3128193511> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W3128193511 abstract "Real-time systems must avoid hazardous situations. To achieve this, their functionality should be investigated under time constraints. In this paper, a modeling based on Hierarchical Communicating Real-time State Machine (H- CRSM) and analysis methodology is proposed to examine statically ANSI-C code to obtain the hazardous events in the input system. A hazardous event equation is taken as input to the proposed system. The output is a list of hazardous scenarios. A path in the code showing the cause of the undesirable event is associated with each hazardous scenario. The strength of the proposed methodology is that the process of hazardous situations detection does not require running the ANSI-C program multiple times with different input values. It also focuses on analyzing the software level of the life cycle. Most of the verification tools check the system level. The system level may be bug-free but the software level may not." @default.
- W3128193511 created "2021-02-15" @default.
- W3128193511 creator A5006962508 @default.
- W3128193511 creator A5028613257 @default.
- W3128193511 creator A5043215129 @default.
- W3128193511 date "2021-02-01" @default.
- W3128193511 modified "2023-10-10" @default.
- W3128193511 title "A Hierarchical State Machine Model for Hazard Analysis of Real-time Safety Critical Systems" @default.
- W3128193511 cites W1694523901 @default.
- W3128193511 cites W1977449271 @default.
- W3128193511 cites W2007489624 @default.
- W3128193511 cites W2063784951 @default.
- W3128193511 cites W2100340106 @default.
- W3128193511 cites W2110701642 @default.
- W3128193511 cites W2121337044 @default.
- W3128193511 cites W2133810579 @default.
- W3128193511 cites W2143712427 @default.
- W3128193511 cites W2152373297 @default.
- W3128193511 cites W2156854037 @default.
- W3128193511 cites W2169239645 @default.
- W3128193511 cites W2341684391 @default.
- W3128193511 cites W2587434773 @default.
- W3128193511 cites W2783633484 @default.
- W3128193511 cites W2785738117 @default.
- W3128193511 cites W2789842116 @default.
- W3128193511 cites W2885476666 @default.
- W3128193511 cites W625928923 @default.
- W3128193511 doi "https://doi.org/10.7494/csci.2021.22.1.3547" @default.
- W3128193511 hasPublicationYear "2021" @default.
- W3128193511 type Work @default.
- W3128193511 sameAs 3128193511 @default.
- W3128193511 citedByCount "1" @default.
- W3128193511 countsByYear W31281935112023 @default.
- W3128193511 crossrefType "journal-article" @default.
- W3128193511 hasAuthorship W3128193511A5006962508 @default.
- W3128193511 hasAuthorship W3128193511A5028613257 @default.
- W3128193511 hasAuthorship W3128193511A5043215129 @default.
- W3128193511 hasBestOaLocation W31281935111 @default.
- W3128193511 hasConcept C121332964 @default.
- W3128193511 hasConcept C127413603 @default.
- W3128193511 hasConcept C177264268 @default.
- W3128193511 hasConcept C178790620 @default.
- W3128193511 hasConcept C185592680 @default.
- W3128193511 hasConcept C18903297 @default.
- W3128193511 hasConcept C199360897 @default.
- W3128193511 hasConcept C200601418 @default.
- W3128193511 hasConcept C22507642 @default.
- W3128193511 hasConcept C2776760102 @default.
- W3128193511 hasConcept C2777904410 @default.
- W3128193511 hasConcept C2779662365 @default.
- W3128193511 hasConcept C41008148 @default.
- W3128193511 hasConcept C49261128 @default.
- W3128193511 hasConcept C62520636 @default.
- W3128193511 hasConcept C79403827 @default.
- W3128193511 hasConcept C86803240 @default.
- W3128193511 hasConcept C98045186 @default.
- W3128193511 hasConceptScore W3128193511C121332964 @default.
- W3128193511 hasConceptScore W3128193511C127413603 @default.
- W3128193511 hasConceptScore W3128193511C177264268 @default.
- W3128193511 hasConceptScore W3128193511C178790620 @default.
- W3128193511 hasConceptScore W3128193511C185592680 @default.
- W3128193511 hasConceptScore W3128193511C18903297 @default.
- W3128193511 hasConceptScore W3128193511C199360897 @default.
- W3128193511 hasConceptScore W3128193511C200601418 @default.
- W3128193511 hasConceptScore W3128193511C22507642 @default.
- W3128193511 hasConceptScore W3128193511C2776760102 @default.
- W3128193511 hasConceptScore W3128193511C2777904410 @default.
- W3128193511 hasConceptScore W3128193511C2779662365 @default.
- W3128193511 hasConceptScore W3128193511C41008148 @default.
- W3128193511 hasConceptScore W3128193511C49261128 @default.
- W3128193511 hasConceptScore W3128193511C62520636 @default.
- W3128193511 hasConceptScore W3128193511C79403827 @default.
- W3128193511 hasConceptScore W3128193511C86803240 @default.
- W3128193511 hasConceptScore W3128193511C98045186 @default.
- W3128193511 hasIssue "1" @default.
- W3128193511 hasLocation W31281935111 @default.
- W3128193511 hasOpenAccess W3128193511 @default.
- W3128193511 hasPrimaryLocation W31281935111 @default.
- W3128193511 hasRelatedWork W2039460612 @default.
- W3128193511 hasRelatedWork W2044034941 @default.
- W3128193511 hasRelatedWork W2085735060 @default.
- W3128193511 hasRelatedWork W2236516372 @default.
- W3128193511 hasRelatedWork W2360659369 @default.
- W3128193511 hasRelatedWork W2365530233 @default.
- W3128193511 hasRelatedWork W2368135305 @default.
- W3128193511 hasRelatedWork W2373724792 @default.
- W3128193511 hasRelatedWork W2400478960 @default.
- W3128193511 hasRelatedWork W4200357795 @default.
- W3128193511 hasVolume "22" @default.
- W3128193511 isParatext "false" @default.
- W3128193511 isRetracted "false" @default.
- W3128193511 magId "3128193511" @default.
- W3128193511 workType "article" @default.