Matches in SemOpenAlex for { <https://semopenalex.org/work/W156523924> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W156523924 endingPage "26" @default.
- W156523924 startingPage "17" @default.
- W156523924 abstract "The IEC 61499 standard enables the model-based design of complex industrial automation systems, in which a model of the controlled physical processes called a plant, is codeveloped with the controller. However, the existing design flow does not address functional safety issues, which include limiting risk to acceptable levels. Standards like IEC 61508 provide safety guidelines for measuring and managing risk to acceptable ranges using quantitative or probabilistic methods for hardware, and qualitative or systematic analysis techniques for software. Such analyses are inadequate in situations where safety depends on both hardware and software. This paper proposes a unifying model-based approach for the quantitative and qualitative analysis of IEC 61499 designs. The approach combines Markov analysis and model checking to estimate quantified risk and is more expressive than traditional analyses like reliability block diagrams. At design level, unified safety requirements are captured using safety blocks, which is an extension of the IEC 61499 basic blocks. The PRISM model checker is used to analyze the system, based on a sound conversion of IEC 61499 designs into PRISM models. A tool-chain enabling the proposed approach shows encouraging benchmarking results confirming the feasibility of unified analysis." @default.
- W156523924 created "2016-06-24" @default.
- W156523924 creator A5033790986 @default.
- W156523924 creator A5041533142 @default.
- W156523924 creator A5076621370 @default.
- W156523924 date "2017-02-01" @default.
- W156523924 modified "2023-10-15" @default.
- W156523924 title "Unified Functional Safety Assessment of Industrial Automation Systems" @default.
- W156523924 cites W1591643794 @default.
- W156523924 cites W1602889228 @default.
- W156523924 cites W167278060 @default.
- W156523924 cites W2005771497 @default.
- W156523924 cites W2011079980 @default.
- W156523924 cites W2042773624 @default.
- W156523924 cites W2060674828 @default.
- W156523924 cites W2104848200 @default.
- W156523924 cites W2114724402 @default.
- W156523924 cites W2117360144 @default.
- W156523924 cites W2118864410 @default.
- W156523924 cites W2145002677 @default.
- W156523924 cites W2154336243 @default.
- W156523924 cites W2157141255 @default.
- W156523924 cites W2168605507 @default.
- W156523924 cites W2179362377 @default.
- W156523924 cites W2218054722 @default.
- W156523924 cites W2261675764 @default.
- W156523924 cites W2502256408 @default.
- W156523924 cites W3144550828 @default.
- W156523924 doi "https://doi.org/10.1109/tii.2016.2610185" @default.
- W156523924 hasPublicationYear "2017" @default.
- W156523924 type Work @default.
- W156523924 sameAs 156523924 @default.
- W156523924 citedByCount "20" @default.
- W156523924 countsByYear W1565239242017 @default.
- W156523924 countsByYear W1565239242018 @default.
- W156523924 countsByYear W1565239242019 @default.
- W156523924 countsByYear W1565239242020 @default.
- W156523924 countsByYear W1565239242021 @default.
- W156523924 countsByYear W1565239242022 @default.
- W156523924 crossrefType "journal-article" @default.
- W156523924 hasAuthorship W156523924A5033790986 @default.
- W156523924 hasAuthorship W156523924A5041533142 @default.
- W156523924 hasAuthorship W156523924A5076621370 @default.
- W156523924 hasConcept C107094494 @default.
- W156523924 hasConcept C115901376 @default.
- W156523924 hasConcept C127413603 @default.
- W156523924 hasConcept C138267214 @default.
- W156523924 hasConcept C144133560 @default.
- W156523924 hasConcept C145644426 @default.
- W156523924 hasConcept C148493468 @default.
- W156523924 hasConcept C149635348 @default.
- W156523924 hasConcept C162853370 @default.
- W156523924 hasConcept C18074226 @default.
- W156523924 hasConcept C199360897 @default.
- W156523924 hasConcept C200601418 @default.
- W156523924 hasConcept C201995342 @default.
- W156523924 hasConcept C2777904410 @default.
- W156523924 hasConcept C41008148 @default.
- W156523924 hasConcept C78519656 @default.
- W156523924 hasConcept C86251818 @default.
- W156523924 hasConceptScore W156523924C107094494 @default.
- W156523924 hasConceptScore W156523924C115901376 @default.
- W156523924 hasConceptScore W156523924C127413603 @default.
- W156523924 hasConceptScore W156523924C138267214 @default.
- W156523924 hasConceptScore W156523924C144133560 @default.
- W156523924 hasConceptScore W156523924C145644426 @default.
- W156523924 hasConceptScore W156523924C148493468 @default.
- W156523924 hasConceptScore W156523924C149635348 @default.
- W156523924 hasConceptScore W156523924C162853370 @default.
- W156523924 hasConceptScore W156523924C18074226 @default.
- W156523924 hasConceptScore W156523924C199360897 @default.
- W156523924 hasConceptScore W156523924C200601418 @default.
- W156523924 hasConceptScore W156523924C201995342 @default.
- W156523924 hasConceptScore W156523924C2777904410 @default.
- W156523924 hasConceptScore W156523924C41008148 @default.
- W156523924 hasConceptScore W156523924C78519656 @default.
- W156523924 hasConceptScore W156523924C86251818 @default.
- W156523924 hasIssue "1" @default.
- W156523924 hasLocation W1565239241 @default.
- W156523924 hasLocation W1565239242 @default.
- W156523924 hasOpenAccess W156523924 @default.
- W156523924 hasPrimaryLocation W1565239241 @default.
- W156523924 hasRelatedWork W156523924 @default.
- W156523924 hasRelatedWork W2013923575 @default.
- W156523924 hasRelatedWork W2017853194 @default.
- W156523924 hasRelatedWork W2022575379 @default.
- W156523924 hasRelatedWork W2058661112 @default.
- W156523924 hasRelatedWork W2298853443 @default.
- W156523924 hasRelatedWork W2647065762 @default.
- W156523924 hasRelatedWork W3201891247 @default.
- W156523924 hasRelatedWork W4205326760 @default.
- W156523924 hasRelatedWork W158173017 @default.
- W156523924 hasVolume "13" @default.
- W156523924 isParatext "false" @default.
- W156523924 isRetracted "false" @default.
- W156523924 magId "156523924" @default.
- W156523924 workType "article" @default.