Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116095425> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2116095425 abstract "Safety properties of critical software are consequences of the application safety properties (i.e. the front collision of two trains must not occur), and of the system design choices. The paper presents the first results of a SNCF and CESIR joint research project whose purpose is to design a constructive and formal method to derive, at each design level, the safety properties of subsystems from the System Preliminary Hazard Analysis. One of the goals of this method is to obtain, at the lowest level, properties of the safety software which can be checked either by formal proof or by testing. The method relies on two concepts: the safety kernel, proposed by J. Rushby (1989), and a generalization and formalization of the notion of restrictivity, used in classical safe hardware design. An application to the Maggaly (Lyon Subway) automatic pilot is presented." @default.
- W2116095425 created "2016-06-24" @default.
- W2116095425 creator A5005781625 @default.
- W2116095425 creator A5009326162 @default.
- W2116095425 creator A5036508651 @default.
- W2116095425 creator A5040911545 @default.
- W2116095425 date "2002-11-23" @default.
- W2116095425 modified "2023-09-27" @default.
- W2116095425 title "Deriving safety properties of critical software from the system risk analysis, application to ground transportation systems" @default.
- W2116095425 cites W1480856612 @default.
- W2116095425 cites W4237346412 @default.
- W2116095425 doi "https://doi.org/10.1109/hase.1997.648058" @default.
- W2116095425 hasPublicationYear "2002" @default.
- W2116095425 type Work @default.
- W2116095425 sameAs 2116095425 @default.
- W2116095425 citedByCount "2" @default.
- W2116095425 countsByYear W21160954252014 @default.
- W2116095425 crossrefType "proceedings-article" @default.
- W2116095425 hasAuthorship W2116095425A5005781625 @default.
- W2116095425 hasAuthorship W2116095425A5009326162 @default.
- W2116095425 hasAuthorship W2116095425A5036508651 @default.
- W2116095425 hasAuthorship W2116095425A5040911545 @default.
- W2116095425 hasConcept C114614502 @default.
- W2116095425 hasConcept C121704057 @default.
- W2116095425 hasConcept C127413603 @default.
- W2116095425 hasConcept C134306372 @default.
- W2116095425 hasConcept C163707989 @default.
- W2116095425 hasConcept C177148314 @default.
- W2116095425 hasConcept C178790620 @default.
- W2116095425 hasConcept C185592680 @default.
- W2116095425 hasConcept C190839683 @default.
- W2116095425 hasConcept C199360897 @default.
- W2116095425 hasConcept C200601418 @default.
- W2116095425 hasConcept C205649164 @default.
- W2116095425 hasConcept C2777904410 @default.
- W2116095425 hasConcept C2778701210 @default.
- W2116095425 hasConcept C33923547 @default.
- W2116095425 hasConcept C38652104 @default.
- W2116095425 hasConcept C41008148 @default.
- W2116095425 hasConcept C49261128 @default.
- W2116095425 hasConcept C58640448 @default.
- W2116095425 hasConcept C74193536 @default.
- W2116095425 hasConcept C94279714 @default.
- W2116095425 hasConcept C98045186 @default.
- W2116095425 hasConceptScore W2116095425C114614502 @default.
- W2116095425 hasConceptScore W2116095425C121704057 @default.
- W2116095425 hasConceptScore W2116095425C127413603 @default.
- W2116095425 hasConceptScore W2116095425C134306372 @default.
- W2116095425 hasConceptScore W2116095425C163707989 @default.
- W2116095425 hasConceptScore W2116095425C177148314 @default.
- W2116095425 hasConceptScore W2116095425C178790620 @default.
- W2116095425 hasConceptScore W2116095425C185592680 @default.
- W2116095425 hasConceptScore W2116095425C190839683 @default.
- W2116095425 hasConceptScore W2116095425C199360897 @default.
- W2116095425 hasConceptScore W2116095425C200601418 @default.
- W2116095425 hasConceptScore W2116095425C205649164 @default.
- W2116095425 hasConceptScore W2116095425C2777904410 @default.
- W2116095425 hasConceptScore W2116095425C2778701210 @default.
- W2116095425 hasConceptScore W2116095425C33923547 @default.
- W2116095425 hasConceptScore W2116095425C38652104 @default.
- W2116095425 hasConceptScore W2116095425C41008148 @default.
- W2116095425 hasConceptScore W2116095425C49261128 @default.
- W2116095425 hasConceptScore W2116095425C58640448 @default.
- W2116095425 hasConceptScore W2116095425C74193536 @default.
- W2116095425 hasConceptScore W2116095425C94279714 @default.
- W2116095425 hasConceptScore W2116095425C98045186 @default.
- W2116095425 hasLocation W21160954251 @default.
- W2116095425 hasOpenAccess W2116095425 @default.
- W2116095425 hasPrimaryLocation W21160954251 @default.
- W2116095425 hasRelatedWork W1971348207 @default.
- W2116095425 hasRelatedWork W1979012410 @default.
- W2116095425 hasRelatedWork W2164721402 @default.
- W2116095425 hasRelatedWork W2342977825 @default.
- W2116095425 hasRelatedWork W2354606808 @default.
- W2116095425 hasRelatedWork W2550194737 @default.
- W2116095425 hasRelatedWork W2885094885 @default.
- W2116095425 hasRelatedWork W3214402356 @default.
- W2116095425 hasRelatedWork W369117435 @default.
- W2116095425 hasRelatedWork W4232447874 @default.
- W2116095425 isParatext "false" @default.
- W2116095425 isRetracted "false" @default.
- W2116095425 magId "2116095425" @default.
- W2116095425 workType "article" @default.