Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162222023> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2162222023 endingPage "106" @default.
- W2162222023 startingPage "99" @default.
- W2162222023 abstract "The paper presents a formal specification in the Z notation for a safety-critical control system. It describes a particular medical device but is quite generic and should be widely applicable. The specification emphasizes safety interlocking and other discontinuous features that are not considered in classical control theory. A method for calculating interlock conditions for particular operations from system safety assertions is proposed; it is similar to ordinary Z precondition calculation, but usually results in stronger preconditions. The specification is presented as a partially complete framework that can be edited and filled in with the specific features of a particular control system. Our system is large but the specification is concise. It is built up from components, subsystems, conditions and modes that are developed separately, but also accounts for behaviors that emerge at the system level. The specification illustrates several useful idioms of the Z notation, and demonstrates that an object-oriented specification style can be expressed in ordinary Z.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2162222023 created "2016-06-24" @default.
- W2162222023 creator A5033317823 @default.
- W2162222023 date "1995-01-01" @default.
- W2162222023 modified "2023-09-23" @default.
- W2162222023 title "Specifying a safety-critical control system in Z" @default.
- W2162222023 cites W1519027188 @default.
- W2162222023 cites W1767209519 @default.
- W2162222023 cites W2044822060 @default.
- W2162222023 cites W2076044673 @default.
- W2162222023 cites W2085432277 @default.
- W2162222023 cites W2135120182 @default.
- W2162222023 cites W2144776193 @default.
- W2162222023 cites W2144973245 @default.
- W2162222023 cites W2155891457 @default.
- W2162222023 cites W2738087959 @default.
- W2162222023 cites W3094663703 @default.
- W2162222023 doi "https://doi.org/10.1109/32.345826" @default.
- W2162222023 hasPublicationYear "1995" @default.
- W2162222023 type Work @default.
- W2162222023 sameAs 2162222023 @default.
- W2162222023 citedByCount "42" @default.
- W2162222023 countsByYear W21622220232012 @default.
- W2162222023 countsByYear W21622220232013 @default.
- W2162222023 countsByYear W21622220232014 @default.
- W2162222023 countsByYear W21622220232018 @default.
- W2162222023 countsByYear W21622220232019 @default.
- W2162222023 countsByYear W21622220232020 @default.
- W2162222023 countsByYear W21622220232023 @default.
- W2162222023 crossrefType "journal-article" @default.
- W2162222023 hasAuthorship W2162222023A5033317823 @default.
- W2162222023 hasConcept C115903868 @default.
- W2162222023 hasConcept C116253237 @default.
- W2162222023 hasConcept C119599485 @default.
- W2162222023 hasConcept C127413603 @default.
- W2162222023 hasConcept C154945302 @default.
- W2162222023 hasConcept C17500928 @default.
- W2162222023 hasConcept C192465680 @default.
- W2162222023 hasConcept C192698709 @default.
- W2162222023 hasConcept C199360897 @default.
- W2162222023 hasConcept C200601418 @default.
- W2162222023 hasConcept C201677973 @default.
- W2162222023 hasConcept C206880738 @default.
- W2162222023 hasConcept C2775924081 @default.
- W2162222023 hasConcept C2778844933 @default.
- W2162222023 hasConcept C33923547 @default.
- W2162222023 hasConcept C41008148 @default.
- W2162222023 hasConcept C45357846 @default.
- W2162222023 hasConcept C75606506 @default.
- W2162222023 hasConcept C84651959 @default.
- W2162222023 hasConcept C90069079 @default.
- W2162222023 hasConcept C94375191 @default.
- W2162222023 hasConcept C99535591 @default.
- W2162222023 hasConceptScore W2162222023C115903868 @default.
- W2162222023 hasConceptScore W2162222023C116253237 @default.
- W2162222023 hasConceptScore W2162222023C119599485 @default.
- W2162222023 hasConceptScore W2162222023C127413603 @default.
- W2162222023 hasConceptScore W2162222023C154945302 @default.
- W2162222023 hasConceptScore W2162222023C17500928 @default.
- W2162222023 hasConceptScore W2162222023C192465680 @default.
- W2162222023 hasConceptScore W2162222023C192698709 @default.
- W2162222023 hasConceptScore W2162222023C199360897 @default.
- W2162222023 hasConceptScore W2162222023C200601418 @default.
- W2162222023 hasConceptScore W2162222023C201677973 @default.
- W2162222023 hasConceptScore W2162222023C206880738 @default.
- W2162222023 hasConceptScore W2162222023C2775924081 @default.
- W2162222023 hasConceptScore W2162222023C2778844933 @default.
- W2162222023 hasConceptScore W2162222023C33923547 @default.
- W2162222023 hasConceptScore W2162222023C41008148 @default.
- W2162222023 hasConceptScore W2162222023C45357846 @default.
- W2162222023 hasConceptScore W2162222023C75606506 @default.
- W2162222023 hasConceptScore W2162222023C84651959 @default.
- W2162222023 hasConceptScore W2162222023C90069079 @default.
- W2162222023 hasConceptScore W2162222023C94375191 @default.
- W2162222023 hasConceptScore W2162222023C99535591 @default.
- W2162222023 hasIssue "2" @default.
- W2162222023 hasLocation W21622220231 @default.
- W2162222023 hasOpenAccess W2162222023 @default.
- W2162222023 hasPrimaryLocation W21622220231 @default.
- W2162222023 hasRelatedWork W1500091664 @default.
- W2162222023 hasRelatedWork W1524195586 @default.
- W2162222023 hasRelatedWork W1541085282 @default.
- W2162222023 hasRelatedWork W1676929156 @default.
- W2162222023 hasRelatedWork W2160954266 @default.
- W2162222023 hasRelatedWork W2175998368 @default.
- W2162222023 hasRelatedWork W2592399342 @default.
- W2162222023 hasRelatedWork W2898425611 @default.
- W2162222023 hasRelatedWork W2957373997 @default.
- W2162222023 hasRelatedWork W794225219 @default.
- W2162222023 hasVolume "21" @default.
- W2162222023 isParatext "false" @default.
- W2162222023 isRetracted "false" @default.
- W2162222023 magId "2162222023" @default.
- W2162222023 workType "article" @default.