Matches in SemOpenAlex for { <https://semopenalex.org/work/W2372229588> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2372229588 abstract "Safety-critical real-time systems(SCRTS) often operate in harsh environmental conditions that necessitate fault-tolerant computing and safety assurance techniques.By defining the concept of ideal safety policy and setting up its structuring algorithm,a solution based on formal description is put forward.We use it to assure the consistence between safety policies and system safety requirements.Furthermore,using Z language,a feasibility method to prove the consistency between the safety kernel and safety policies is constructed.At last,taking the control system in the traffic lights as an example,the whole process and its correctness is proved." @default.
- W2372229588 created "2016-06-24" @default.
- W2372229588 creator A5082472698 @default.
- W2372229588 creator A5089879416 @default.
- W2372229588 date "2006-01-01" @default.
- W2372229588 modified "2023-09-24" @default.
- W2372229588 title "Research on assurance technology of safety kernel consistency" @default.
- W2372229588 hasPublicationYear "2006" @default.
- W2372229588 type Work @default.
- W2372229588 sameAs 2372229588 @default.
- W2372229588 citedByCount "0" @default.
- W2372229588 crossrefType "journal-article" @default.
- W2372229588 hasAuthorship W2372229588A5082472698 @default.
- W2372229588 hasAuthorship W2372229588A5089879416 @default.
- W2372229588 hasConcept C10138342 @default.
- W2372229588 hasConcept C112805685 @default.
- W2372229588 hasConcept C112930515 @default.
- W2372229588 hasConcept C11413529 @default.
- W2372229588 hasConcept C114614502 @default.
- W2372229588 hasConcept C115903868 @default.
- W2372229588 hasConcept C127413603 @default.
- W2372229588 hasConcept C132835097 @default.
- W2372229588 hasConcept C144133560 @default.
- W2372229588 hasConcept C148493468 @default.
- W2372229588 hasConcept C154945302 @default.
- W2372229588 hasConcept C163707989 @default.
- W2372229588 hasConcept C199360897 @default.
- W2372229588 hasConcept C200601418 @default.
- W2372229588 hasConcept C2775945657 @default.
- W2372229588 hasConcept C2776179734 @default.
- W2372229588 hasConcept C2776436953 @default.
- W2372229588 hasConcept C2777904410 @default.
- W2372229588 hasConcept C2780234205 @default.
- W2372229588 hasConcept C33923547 @default.
- W2372229588 hasConcept C41008148 @default.
- W2372229588 hasConcept C55439883 @default.
- W2372229588 hasConcept C74193536 @default.
- W2372229588 hasConcept C75606506 @default.
- W2372229588 hasConcept C98045186 @default.
- W2372229588 hasConceptScore W2372229588C10138342 @default.
- W2372229588 hasConceptScore W2372229588C112805685 @default.
- W2372229588 hasConceptScore W2372229588C112930515 @default.
- W2372229588 hasConceptScore W2372229588C11413529 @default.
- W2372229588 hasConceptScore W2372229588C114614502 @default.
- W2372229588 hasConceptScore W2372229588C115903868 @default.
- W2372229588 hasConceptScore W2372229588C127413603 @default.
- W2372229588 hasConceptScore W2372229588C132835097 @default.
- W2372229588 hasConceptScore W2372229588C144133560 @default.
- W2372229588 hasConceptScore W2372229588C148493468 @default.
- W2372229588 hasConceptScore W2372229588C154945302 @default.
- W2372229588 hasConceptScore W2372229588C163707989 @default.
- W2372229588 hasConceptScore W2372229588C199360897 @default.
- W2372229588 hasConceptScore W2372229588C200601418 @default.
- W2372229588 hasConceptScore W2372229588C2775945657 @default.
- W2372229588 hasConceptScore W2372229588C2776179734 @default.
- W2372229588 hasConceptScore W2372229588C2776436953 @default.
- W2372229588 hasConceptScore W2372229588C2777904410 @default.
- W2372229588 hasConceptScore W2372229588C2780234205 @default.
- W2372229588 hasConceptScore W2372229588C33923547 @default.
- W2372229588 hasConceptScore W2372229588C41008148 @default.
- W2372229588 hasConceptScore W2372229588C55439883 @default.
- W2372229588 hasConceptScore W2372229588C74193536 @default.
- W2372229588 hasConceptScore W2372229588C75606506 @default.
- W2372229588 hasConceptScore W2372229588C98045186 @default.
- W2372229588 hasLocation W23722295881 @default.
- W2372229588 hasOpenAccess W2372229588 @default.
- W2372229588 hasPrimaryLocation W23722295881 @default.
- W2372229588 hasRelatedWork W1498285513 @default.
- W2372229588 hasRelatedWork W1654028806 @default.
- W2372229588 hasRelatedWork W2017885850 @default.
- W2372229588 hasRelatedWork W2026757565 @default.
- W2372229588 hasRelatedWork W2137489378 @default.
- W2372229588 hasRelatedWork W2198159119 @default.
- W2372229588 hasRelatedWork W2204369727 @default.
- W2372229588 hasRelatedWork W2270725495 @default.
- W2372229588 hasRelatedWork W2291183560 @default.
- W2372229588 hasRelatedWork W2296732370 @default.
- W2372229588 hasRelatedWork W2325721635 @default.
- W2372229588 hasRelatedWork W2342723624 @default.
- W2372229588 hasRelatedWork W2389909316 @default.
- W2372229588 hasRelatedWork W2512605285 @default.
- W2372229588 hasRelatedWork W2533751190 @default.
- W2372229588 hasRelatedWork W2897002631 @default.
- W2372229588 hasRelatedWork W3092881550 @default.
- W2372229588 hasRelatedWork W3212650279 @default.
- W2372229588 hasRelatedWork W9641455 @default.
- W2372229588 hasRelatedWork W2463197713 @default.
- W2372229588 isParatext "false" @default.
- W2372229588 isRetracted "false" @default.
- W2372229588 magId "2372229588" @default.
- W2372229588 workType "article" @default.