Matches in SemOpenAlex for { <https://semopenalex.org/work/W789094022> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W789094022 endingPage "91" @default.
- W789094022 startingPage "76" @default.
- W789094022 abstract "The Function Blocks Architecture of the IEC 61499 standard is an executable component model for distributed embedded control systems combining block-diagrams and state machines. The standard aims at the portability of control applications that is however hampered by ambiguities in its execution semantics descriptions. In recent years several execution models have been implemented in different software tools that generate mutually incompatible code. This paper proposes a general approach to neutralizing these semantic ambiguities by formal description of the IEC 61499 in abstract state machines (ASM). The model embodies all known execution semantics of function blocks. The ASM model is further translated to the input format of the SMV model-checker which is used to verify formally properties of applications. In this way the proposed verification framework enables the portability checking of component-based control applications across different implementation platforms compliant with the IEC 61499 standard. The paper first discusses different existing execution semantics of function blocks and the portability issues across different IEC 61499 tools. Then a modular formal model of function blocks’ operational semantics in ASM is introduced and exemplified in the paper by the cyclic execution semantics case for a composite function block. Subsequently, the SMV model is generated and model-checking is illustrated for a simple test case." @default.
- W789094022 created "2016-06-24" @default.
- W789094022 creator A5002944761 @default.
- W789094022 creator A5008070913 @default.
- W789094022 creator A5008981533 @default.
- W789094022 creator A5077083320 @default.
- W789094022 date "2015-01-01" @default.
- W789094022 modified "2023-10-16" @default.
- W789094022 title "Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM" @default.
- W789094022 cites W1522088162 @default.
- W789094022 cites W1978370442 @default.
- W789094022 cites W2001793006 @default.
- W789094022 cites W2006674970 @default.
- W789094022 cites W2011079980 @default.
- W789094022 cites W2027068903 @default.
- W789094022 cites W2042941405 @default.
- W789094022 cites W2104848200 @default.
- W789094022 cites W2124252349 @default.
- W789094022 cites W2131540458 @default.
- W789094022 cites W2152894214 @default.
- W789094022 cites W2157141255 @default.
- W789094022 cites W4233516990 @default.
- W789094022 cites W58308675 @default.
- W789094022 doi "https://doi.org/10.1007/978-3-662-46823-4_7" @default.
- W789094022 hasPublicationYear "2015" @default.
- W789094022 type Work @default.
- W789094022 sameAs 789094022 @default.
- W789094022 citedByCount "18" @default.
- W789094022 countsByYear W7890940222015 @default.
- W789094022 countsByYear W7890940222016 @default.
- W789094022 countsByYear W7890940222017 @default.
- W789094022 countsByYear W7890940222019 @default.
- W789094022 countsByYear W7890940222021 @default.
- W789094022 countsByYear W7890940222023 @default.
- W789094022 crossrefType "book-chapter" @default.
- W789094022 hasAuthorship W789094022A5002944761 @default.
- W789094022 hasAuthorship W789094022A5008070913 @default.
- W789094022 hasAuthorship W789094022A5008981533 @default.
- W789094022 hasAuthorship W789094022A5077083320 @default.
- W789094022 hasConcept C101468663 @default.
- W789094022 hasConcept C110251889 @default.
- W789094022 hasConcept C121332964 @default.
- W789094022 hasConcept C14036430 @default.
- W789094022 hasConcept C145243422 @default.
- W789094022 hasConcept C160145156 @default.
- W789094022 hasConcept C167822520 @default.
- W789094022 hasConcept C168167062 @default.
- W789094022 hasConcept C184337299 @default.
- W789094022 hasConcept C199360897 @default.
- W789094022 hasConcept C2524010 @default.
- W789094022 hasConcept C2776834041 @default.
- W789094022 hasConcept C2777210771 @default.
- W789094022 hasConcept C33923547 @default.
- W789094022 hasConcept C41008148 @default.
- W789094022 hasConcept C63000827 @default.
- W789094022 hasConcept C78458016 @default.
- W789094022 hasConcept C86803240 @default.
- W789094022 hasConcept C97355855 @default.
- W789094022 hasConceptScore W789094022C101468663 @default.
- W789094022 hasConceptScore W789094022C110251889 @default.
- W789094022 hasConceptScore W789094022C121332964 @default.
- W789094022 hasConceptScore W789094022C14036430 @default.
- W789094022 hasConceptScore W789094022C145243422 @default.
- W789094022 hasConceptScore W789094022C160145156 @default.
- W789094022 hasConceptScore W789094022C167822520 @default.
- W789094022 hasConceptScore W789094022C168167062 @default.
- W789094022 hasConceptScore W789094022C184337299 @default.
- W789094022 hasConceptScore W789094022C199360897 @default.
- W789094022 hasConceptScore W789094022C2524010 @default.
- W789094022 hasConceptScore W789094022C2776834041 @default.
- W789094022 hasConceptScore W789094022C2777210771 @default.
- W789094022 hasConceptScore W789094022C33923547 @default.
- W789094022 hasConceptScore W789094022C41008148 @default.
- W789094022 hasConceptScore W789094022C63000827 @default.
- W789094022 hasConceptScore W789094022C78458016 @default.
- W789094022 hasConceptScore W789094022C86803240 @default.
- W789094022 hasConceptScore W789094022C97355855 @default.
- W789094022 hasLocation W7890940221 @default.
- W789094022 hasOpenAccess W789094022 @default.
- W789094022 hasPrimaryLocation W7890940221 @default.
- W789094022 hasRelatedWork W1994189418 @default.
- W789094022 hasRelatedWork W2108363923 @default.
- W789094022 hasRelatedWork W2110042945 @default.
- W789094022 hasRelatedWork W2125784002 @default.
- W789094022 hasRelatedWork W2188378882 @default.
- W789094022 hasRelatedWork W2245041182 @default.
- W789094022 hasRelatedWork W2807707818 @default.
- W789094022 hasRelatedWork W2888171167 @default.
- W789094022 hasRelatedWork W3145431186 @default.
- W789094022 hasRelatedWork W4318348231 @default.
- W789094022 isParatext "false" @default.
- W789094022 isRetracted "false" @default.
- W789094022 magId "789094022" @default.
- W789094022 workType "book-chapter" @default.