Matches in SemOpenAlex for { <https://semopenalex.org/work/W1899697076> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1899697076 endingPage "35" @default.
- W1899697076 startingPage "28" @default.
- W1899697076 abstract "Real-time programmable electronic systems (PESs) are discussed and specific difficulties associated with their failure when used as safety systems are described. The Health and Safety Executive (HSE) guidance is summarised and the authors describe how the Institution of Gas Engineers (IGE) guidance document has been developed, taking account of British Gas experience, to provide application specific recommendations for the gas industry. The design cycle is outlined and some aspects of system configuration and fault tolerance are addressed. It is stressed that tolerance to faults, such that degraded performance rather than catastrophic failure ensues, is as important as the achievement of low error rates. The authors describe the way forward by way of formal and automated tools which are being developed. These include formal methods for writing requirements and automatic static analysers for the static verification of code. >" @default.
- W1899697076 created "2016-06-24" @default.
- W1899697076 creator A5048456265 @default.
- W1899697076 creator A5064186269 @default.
- W1899697076 date "1989-11-08" @default.
- W1899697076 modified "2023-09-27" @default.
- W1899697076 title "Programmable safety related systems in the gas industry" @default.
- W1899697076 hasPublicationYear "1989" @default.
- W1899697076 type Work @default.
- W1899697076 sameAs 1899697076 @default.
- W1899697076 citedByCount "0" @default.
- W1899697076 crossrefType "journal-article" @default.
- W1899697076 hasAuthorship W1899697076A5048456265 @default.
- W1899697076 hasAuthorship W1899697076A5064186269 @default.
- W1899697076 hasConcept C112930515 @default.
- W1899697076 hasConcept C127413603 @default.
- W1899697076 hasConcept C132835097 @default.
- W1899697076 hasConcept C144133560 @default.
- W1899697076 hasConcept C174998907 @default.
- W1899697076 hasConcept C200601418 @default.
- W1899697076 hasConcept C201995342 @default.
- W1899697076 hasConcept C21547014 @default.
- W1899697076 hasConcept C22607221 @default.
- W1899697076 hasConcept C41008148 @default.
- W1899697076 hasConcept C63540848 @default.
- W1899697076 hasConceptScore W1899697076C112930515 @default.
- W1899697076 hasConceptScore W1899697076C127413603 @default.
- W1899697076 hasConceptScore W1899697076C132835097 @default.
- W1899697076 hasConceptScore W1899697076C144133560 @default.
- W1899697076 hasConceptScore W1899697076C174998907 @default.
- W1899697076 hasConceptScore W1899697076C200601418 @default.
- W1899697076 hasConceptScore W1899697076C201995342 @default.
- W1899697076 hasConceptScore W1899697076C21547014 @default.
- W1899697076 hasConceptScore W1899697076C22607221 @default.
- W1899697076 hasConceptScore W1899697076C41008148 @default.
- W1899697076 hasConceptScore W1899697076C63540848 @default.
- W1899697076 hasLocation W18996970761 @default.
- W1899697076 hasOpenAccess W1899697076 @default.
- W1899697076 hasPrimaryLocation W18996970761 @default.
- W1899697076 hasRelatedWork W1543467173 @default.
- W1899697076 hasRelatedWork W1548049264 @default.
- W1899697076 hasRelatedWork W1559815638 @default.
- W1899697076 hasRelatedWork W172421389 @default.
- W1899697076 hasRelatedWork W1883326095 @default.
- W1899697076 hasRelatedWork W1996143850 @default.
- W1899697076 hasRelatedWork W1999643306 @default.
- W1899697076 hasRelatedWork W2031147700 @default.
- W1899697076 hasRelatedWork W2071394038 @default.
- W1899697076 hasRelatedWork W2092813041 @default.
- W1899697076 hasRelatedWork W2099142399 @default.
- W1899697076 hasRelatedWork W2113351127 @default.
- W1899697076 hasRelatedWork W2165707109 @default.
- W1899697076 hasRelatedWork W2196896671 @default.
- W1899697076 hasRelatedWork W2249664022 @default.
- W1899697076 hasRelatedWork W604580165 @default.
- W1899697076 hasRelatedWork W78668195 @default.
- W1899697076 hasRelatedWork W817370586 @default.
- W1899697076 hasRelatedWork W2130553506 @default.
- W1899697076 hasRelatedWork W35194499 @default.
- W1899697076 isParatext "false" @default.
- W1899697076 isRetracted "false" @default.
- W1899697076 magId "1899697076" @default.
- W1899697076 workType "article" @default.