Matches in SemOpenAlex for { <https://semopenalex.org/work/W2576793760> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2576793760 abstract "The success of kernels for enforcing security has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of traffic light control. The paper begins with the safety properties for traffic light control and specifies a kernel that maintains the safety properties. An implementation sketch of the kernel in Ada is given and use of the kernel is discussed. The contribution of the paper is a demonstration that a kernel is a feasible and desirable technique for software in a realistic, safety-critical application. The paper also illustrates how formal methods aid the software engineer in constructing and reasoning about such software." @default.
- W2576793760 created "2017-01-26" @default.
- W2576793760 creator A5037613705 @default.
- W2576793760 date "2002-11-19" @default.
- W2576793760 modified "2023-09-25" @default.
- W2576793760 title "A safety kernel for traffic light control" @default.
- W2576793760 cites W1969694921 @default.
- W2576793760 cites W1970963239 @default.
- W2576793760 cites W1975438208 @default.
- W2576793760 cites W2097331548 @default.
- W2576793760 cites W2100505193 @default.
- W2576793760 cites W2072077765 @default.
- W2576793760 cites W49134287 @default.
- W2576793760 doi "https://doi.org/10.1109/cmpass.1995.521888" @default.
- W2576793760 hasPublicationYear "2002" @default.
- W2576793760 type Work @default.
- W2576793760 sameAs 2576793760 @default.
- W2576793760 citedByCount "4" @default.
- W2576793760 crossrefType "proceedings-article" @default.
- W2576793760 hasAuthorship W2576793760A5037613705 @default.
- W2576793760 hasConcept C11413529 @default.
- W2576793760 hasConcept C114614502 @default.
- W2576793760 hasConcept C115903868 @default.
- W2576793760 hasConcept C199360897 @default.
- W2576793760 hasConcept C2777904410 @default.
- W2576793760 hasConcept C2779231336 @default.
- W2576793760 hasConcept C33923547 @default.
- W2576793760 hasConcept C38652104 @default.
- W2576793760 hasConcept C41008148 @default.
- W2576793760 hasConcept C74193536 @default.
- W2576793760 hasConceptScore W2576793760C11413529 @default.
- W2576793760 hasConceptScore W2576793760C114614502 @default.
- W2576793760 hasConceptScore W2576793760C115903868 @default.
- W2576793760 hasConceptScore W2576793760C199360897 @default.
- W2576793760 hasConceptScore W2576793760C2777904410 @default.
- W2576793760 hasConceptScore W2576793760C2779231336 @default.
- W2576793760 hasConceptScore W2576793760C33923547 @default.
- W2576793760 hasConceptScore W2576793760C38652104 @default.
- W2576793760 hasConceptScore W2576793760C41008148 @default.
- W2576793760 hasConceptScore W2576793760C74193536 @default.
- W2576793760 hasLocation W25767937601 @default.
- W2576793760 hasOpenAccess W2576793760 @default.
- W2576793760 hasPrimaryLocation W25767937601 @default.
- W2576793760 hasRelatedWork W112919483 @default.
- W2576793760 hasRelatedWork W1532269431 @default.
- W2576793760 hasRelatedWork W1543467173 @default.
- W2576793760 hasRelatedWork W1918202387 @default.
- W2576793760 hasRelatedWork W1986781660 @default.
- W2576793760 hasRelatedWork W2115489180 @default.
- W2576793760 hasRelatedWork W2165941059 @default.
- W2576793760 hasRelatedWork W2171618315 @default.
- W2576793760 hasRelatedWork W2190369073 @default.
- W2576793760 hasRelatedWork W2243114021 @default.
- W2576793760 hasRelatedWork W2391159660 @default.
- W2576793760 hasRelatedWork W2393490222 @default.
- W2576793760 hasRelatedWork W2525872829 @default.
- W2576793760 hasRelatedWork W2894617791 @default.
- W2576793760 hasRelatedWork W2963993160 @default.
- W2576793760 hasRelatedWork W35950517 @default.
- W2576793760 hasRelatedWork W579560774 @default.
- W2576793760 hasRelatedWork W92752537 @default.
- W2576793760 hasRelatedWork W1968114792 @default.
- W2576793760 hasRelatedWork W273922059 @default.
- W2576793760 isParatext "false" @default.
- W2576793760 isRetracted "false" @default.
- W2576793760 magId "2576793760" @default.
- W2576793760 workType "article" @default.