Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099183119> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2099183119 endingPage "19" @default.
- W2099183119 startingPage "13" @default.
- W2099183119 abstract "The success of kernels for enforcing security in software systems 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.
- W2099183119 created "2016-06-24" @default.
- W2099183119 creator A5037613705 @default.
- W2099183119 date "1996-01-01" @default.
- W2099183119 modified "2023-09-26" @default.
- W2099183119 title "A safety kernel for traffic light control" @default.
- W2099183119 cites W1969694921 @default.
- W2099183119 cites W1970963239 @default.
- W2099183119 cites W1975438208 @default.
- W2099183119 cites W2097331548 @default.
- W2099183119 cites W2100505193 @default.
- W2099183119 cites W2108994565 @default.
- W2099183119 cites W2576793760 @default.
- W2099183119 cites W2072077765 @default.
- W2099183119 cites W49134287 @default.
- W2099183119 doi "https://doi.org/10.1109/62.484300" @default.
- W2099183119 hasPublicationYear "1996" @default.
- W2099183119 type Work @default.
- W2099183119 sameAs 2099183119 @default.
- W2099183119 citedByCount "0" @default.
- W2099183119 crossrefType "journal-article" @default.
- W2099183119 hasAuthorship W2099183119A5037613705 @default.
- W2099183119 hasConcept C111919701 @default.
- W2099183119 hasConcept C11413529 @default.
- W2099183119 hasConcept C114614502 @default.
- W2099183119 hasConcept C2777904410 @default.
- W2099183119 hasConcept C2779231336 @default.
- W2099183119 hasConcept C33923547 @default.
- W2099183119 hasConcept C41008148 @default.
- W2099183119 hasConcept C74193536 @default.
- W2099183119 hasConceptScore W2099183119C111919701 @default.
- W2099183119 hasConceptScore W2099183119C11413529 @default.
- W2099183119 hasConceptScore W2099183119C114614502 @default.
- W2099183119 hasConceptScore W2099183119C2777904410 @default.
- W2099183119 hasConceptScore W2099183119C2779231336 @default.
- W2099183119 hasConceptScore W2099183119C33923547 @default.
- W2099183119 hasConceptScore W2099183119C41008148 @default.
- W2099183119 hasConceptScore W2099183119C74193536 @default.
- W2099183119 hasIssue "2" @default.
- W2099183119 hasLocation W20991831191 @default.
- W2099183119 hasOpenAccess W2099183119 @default.
- W2099183119 hasPrimaryLocation W20991831191 @default.
- W2099183119 hasRelatedWork W2372703338 @default.
- W2099183119 hasRelatedWork W2563078508 @default.
- W2099183119 hasRelatedWork W2600707098 @default.
- W2099183119 hasRelatedWork W2983439719 @default.
- W2099183119 hasRelatedWork W3131073374 @default.
- W2099183119 hasRelatedWork W4244299974 @default.
- W2099183119 hasRelatedWork W4288808839 @default.
- W2099183119 hasRelatedWork W4321014595 @default.
- W2099183119 hasRelatedWork W2788172935 @default.
- W2099183119 hasRelatedWork W3106945349 @default.
- W2099183119 hasVolume "11" @default.
- W2099183119 isParatext "false" @default.
- W2099183119 isRetracted "false" @default.
- W2099183119 magId "2099183119" @default.
- W2099183119 workType "article" @default.