Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978045271> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1978045271 endingPage "32" @default.
- W1978045271 startingPage "30" @default.
- W1978045271 abstract "Darlington is a four-reactor nuclear plant east of Toronto. It is operated by Ontario Hydro. Each reactor has two independent shutdown systems: SDS1 drops neutron-absorbing rods into the core, while SDS2 injects liquid poison into the moderator. Both are safety-critical and require high levels of confidence. In 1982, Ontario Hydro, with the concurrence of the Atomic Energy Control Board of Canada (AECB), had decided to fully implement the shutdown systems' decision-making logic on computers. This was to be the first Canadian instance of such a system, so there were questions about what procedures to follow, both in developing and licensing the system. To help achieve certification for the plant's shutdown systems, formal methods were applied to convince the AECB that the code was of acceptable quality and in accordance with specifications. Formal methods, applied only when serious concerns about the adequacy of the software and documentation arose, took the form of a formal model-based inspection.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W1978045271 created "2016-06-24" @default.
- W1978045271 creator A5012891139 @default.
- W1978045271 creator A5042986930 @default.
- W1978045271 creator A5048367277 @default.
- W1978045271 date "1994-01-01" @default.
- W1978045271 modified "2023-09-25" @default.
- W1978045271 title "Case study: Darlington nuclear generating station [software-driven shutdown systems]" @default.
- W1978045271 cites W2064945516 @default.
- W1978045271 cites W2179904432 @default.
- W1978045271 cites W4250254118 @default.
- W1978045271 doi "https://doi.org/10.1109/52.251201" @default.
- W1978045271 hasPublicationYear "1994" @default.
- W1978045271 type Work @default.
- W1978045271 sameAs 1978045271 @default.
- W1978045271 citedByCount "26" @default.
- W1978045271 countsByYear W19780452712012 @default.
- W1978045271 countsByYear W19780452712013 @default.
- W1978045271 countsByYear W19780452712015 @default.
- W1978045271 countsByYear W19780452712016 @default.
- W1978045271 countsByYear W19780452712017 @default.
- W1978045271 countsByYear W19780452712020 @default.
- W1978045271 countsByYear W19780452712023 @default.
- W1978045271 crossrefType "journal-article" @default.
- W1978045271 hasAuthorship W1978045271A5012891139 @default.
- W1978045271 hasAuthorship W1978045271A5042986930 @default.
- W1978045271 hasAuthorship W1978045271A5048367277 @default.
- W1978045271 hasConcept C111919701 @default.
- W1978045271 hasConcept C115903868 @default.
- W1978045271 hasConcept C116915560 @default.
- W1978045271 hasConcept C127413603 @default.
- W1978045271 hasConcept C17744445 @default.
- W1978045271 hasConcept C199539241 @default.
- W1978045271 hasConcept C200601418 @default.
- W1978045271 hasConcept C201995342 @default.
- W1978045271 hasConcept C2777904410 @default.
- W1978045271 hasConcept C2780263472 @default.
- W1978045271 hasConcept C2780615140 @default.
- W1978045271 hasConcept C3017653385 @default.
- W1978045271 hasConcept C41008148 @default.
- W1978045271 hasConcept C46304622 @default.
- W1978045271 hasConcept C56666940 @default.
- W1978045271 hasConceptScore W1978045271C111919701 @default.
- W1978045271 hasConceptScore W1978045271C115903868 @default.
- W1978045271 hasConceptScore W1978045271C116915560 @default.
- W1978045271 hasConceptScore W1978045271C127413603 @default.
- W1978045271 hasConceptScore W1978045271C17744445 @default.
- W1978045271 hasConceptScore W1978045271C199539241 @default.
- W1978045271 hasConceptScore W1978045271C200601418 @default.
- W1978045271 hasConceptScore W1978045271C201995342 @default.
- W1978045271 hasConceptScore W1978045271C2777904410 @default.
- W1978045271 hasConceptScore W1978045271C2780263472 @default.
- W1978045271 hasConceptScore W1978045271C2780615140 @default.
- W1978045271 hasConceptScore W1978045271C3017653385 @default.
- W1978045271 hasConceptScore W1978045271C41008148 @default.
- W1978045271 hasConceptScore W1978045271C46304622 @default.
- W1978045271 hasConceptScore W1978045271C56666940 @default.
- W1978045271 hasIssue "1" @default.
- W1978045271 hasLocation W19780452711 @default.
- W1978045271 hasOpenAccess W1978045271 @default.
- W1978045271 hasPrimaryLocation W19780452711 @default.
- W1978045271 hasRelatedWork W1968445765 @default.
- W1978045271 hasRelatedWork W1977742525 @default.
- W1978045271 hasRelatedWork W2003987118 @default.
- W1978045271 hasRelatedWork W210612216 @default.
- W1978045271 hasRelatedWork W2355580860 @default.
- W1978045271 hasRelatedWork W2357278367 @default.
- W1978045271 hasRelatedWork W2365454054 @default.
- W1978045271 hasRelatedWork W2740319261 @default.
- W1978045271 hasRelatedWork W4250076394 @default.
- W1978045271 hasRelatedWork W629231884 @default.
- W1978045271 hasVolume "11" @default.
- W1978045271 isParatext "false" @default.
- W1978045271 isRetracted "false" @default.
- W1978045271 magId "1978045271" @default.
- W1978045271 workType "article" @default.