FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108293888> ?p ?o ?g. }

• W2108293888 abstract "Many applications in the industrial control domain are safety-critical. A large number of analysis techniques to guarantee safety may be applied at different levels in the development process of a Programmable Logic Controller. The development process is typically associated with a tool chain comprising model transformations. The preservation of safety properties in model transformations is necessary to achieve a safe system. Preservation can be guaranteed by showing that invariants are preserved by transformations. Adequate transformation rules and invariant specification mechanisms are needed for this. We report on a transformation from Sequential Function Charts and Function Block Diagrams of the IEC 61131 -- 3 standard to BIP. Our presentation features a description of formal syntax and semantics of the involved languages. We present transformation rules for generating BIP code out of IEC 61131 -- 3 specifications. Based on this, we establish a notion of invariant preservation between the two languages." @default.
• W2108293888 created "2016-06-24" @default.
• W2108293888 creator A5017510916 @default.
• W2108293888 creator A5039614631 @default.
• W2108293888 creator A5073412478 @default.
• W2108293888 date "2011-03-01" @default.
• W2108293888 modified "2023-10-14" @default.
• W2108293888 title "An Invariant Preserving Transformation for PLC Models" @default.
• W2108293888 cites W1515530510 @default.
• W2108293888 cites W1539017706 @default.
• W2108293888 cites W1759187209 @default.
• W2108293888 cites W1875841478 @default.
• W2108293888 cites W1987073197 @default.
• W2108293888 cites W1998014229 @default.
• W2108293888 cites W2004463571 @default.
• W2108293888 cites W2028104839 @default.
• W2108293888 cites W2034711041 @default.
• W2108293888 cites W2052581162 @default.
• W2108293888 cites W2077662814 @default.
• W2108293888 cites W2084772005 @default.
• W2108293888 cites W2103672915 @default.
• W2108293888 cites W2129695855 @default.
• W2108293888 cites W2133038101 @default.
• W2108293888 cites W2135120182 @default.
• W2108293888 cites W2285046923 @default.
• W2108293888 cites W2885311874 @default.
• W2108293888 cites W2911450990 @default.
• W2108293888 doi "https://doi.org/10.1109/isorcw.2011.46" @default.
• W2108293888 hasPublicationYear "2011" @default.
• W2108293888 type Work @default.
• W2108293888 sameAs 2108293888 @default.
• W2108293888 citedByCount "13" @default.
• W2108293888 countsByYear W21082938882012 @default.
• W2108293888 countsByYear W21082938882013 @default.
• W2108293888 countsByYear W21082938882015 @default.
• W2108293888 countsByYear W21082938882017 @default.
• W2108293888 crossrefType "proceedings-article" @default.
• W2108293888 hasAuthorship W2108293888A5017510916 @default.
• W2108293888 hasAuthorship W2108293888A5039614631 @default.
• W2108293888 hasAuthorship W2108293888A5073412478 @default.
• W2108293888 hasConcept C104317684 @default.
• W2108293888 hasConcept C111919701 @default.
• W2108293888 hasConcept C149635348 @default.
• W2108293888 hasConcept C154945302 @default.
• W2108293888 hasConcept C185592680 @default.
• W2108293888 hasConcept C190470478 @default.
• W2108293888 hasConcept C199360897 @default.
• W2108293888 hasConcept C204241405 @default.
• W2108293888 hasConcept C206274596 @default.
• W2108293888 hasConcept C2776436953 @default.
• W2108293888 hasConcept C2779791154 @default.
• W2108293888 hasConcept C33923547 @default.
• W2108293888 hasConcept C37374048 @default.
• W2108293888 hasConcept C37914503 @default.
• W2108293888 hasConcept C41008148 @default.
• W2108293888 hasConcept C55493867 @default.
• W2108293888 hasConcept C61505648 @default.
• W2108293888 hasConcept C80444323 @default.
• W2108293888 hasConceptScore W2108293888C104317684 @default.
• W2108293888 hasConceptScore W2108293888C111919701 @default.
• W2108293888 hasConceptScore W2108293888C149635348 @default.
• W2108293888 hasConceptScore W2108293888C154945302 @default.
• W2108293888 hasConceptScore W2108293888C185592680 @default.
• W2108293888 hasConceptScore W2108293888C190470478 @default.
• W2108293888 hasConceptScore W2108293888C199360897 @default.
• W2108293888 hasConceptScore W2108293888C204241405 @default.
• W2108293888 hasConceptScore W2108293888C206274596 @default.
• W2108293888 hasConceptScore W2108293888C2776436953 @default.
• W2108293888 hasConceptScore W2108293888C2779791154 @default.
• W2108293888 hasConceptScore W2108293888C33923547 @default.
• W2108293888 hasConceptScore W2108293888C37374048 @default.
• W2108293888 hasConceptScore W2108293888C37914503 @default.
• W2108293888 hasConceptScore W2108293888C41008148 @default.
• W2108293888 hasConceptScore W2108293888C55493867 @default.
• W2108293888 hasConceptScore W2108293888C61505648 @default.
• W2108293888 hasConceptScore W2108293888C80444323 @default.
• W2108293888 hasLocation W21082938881 @default.
• W2108293888 hasOpenAccess W2108293888 @default.
• W2108293888 hasPrimaryLocation W21082938881 @default.
• W2108293888 hasRelatedWork W1535978686 @default.
• W2108293888 hasRelatedWork W1549458735 @default.
• W2108293888 hasRelatedWork W1553681183 @default.
• W2108293888 hasRelatedWork W191304338 @default.
• W2108293888 hasRelatedWork W2006850502 @default.
• W2108293888 hasRelatedWork W2040799548 @default.
• W2108293888 hasRelatedWork W2120119918 @default.
• W2108293888 hasRelatedWork W2132236727 @default.
• W2108293888 hasRelatedWork W2147165900 @default.
• W2108293888 hasRelatedWork W22371930 @default.
• W2108293888 hasRelatedWork W2401985403 @default.
• W2108293888 hasRelatedWork W2503425026 @default.
• W2108293888 hasRelatedWork W2516023085 @default.
• W2108293888 hasRelatedWork W2803544309 @default.
• W2108293888 hasRelatedWork W2884716674 @default.
• W2108293888 hasRelatedWork W3047023789 @default.
• W2108293888 hasRelatedWork W3086212869 @default.
• W2108293888 hasRelatedWork W3201678896 @default.
• W2108293888 hasRelatedWork W51131189 @default.
• W2108293888 hasRelatedWork W935580318 @default.
• W2108293888 isParatext "false" @default.

• next