FRINK Linked Data Fragments server

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

• W3202871388 abstract "Industrial automation systems are used to perform different manufacturing processes using appropriate control systems. Examples include wide ranging applications in power-systems (smart grids), conveyor systems (baggage handling systems), and industrial robots (robotic arms). The correctness of these systems intertwines both functional and timing correctness. For example, load adjustments (functional property) on a smart grid would be useless if the automation system did not complete within the specified timing bound (timing property). Therefore, industrial automation systems are inevitably real-time in nature. However, in current design practice the timing behavior is considered secondary and such requirements are introduced very late in the design cycle. Hence, many failures related to timing have been reported in literature. To address this, we developed an approach for the design of Precision Timed Industrial Automation (PTIA) systems, where time is considered as a “first class citizen”. Our approach is inspired by the recent Precision Timed (PRET) philosophy approach for embedded systems. This thesis makes the following proposals and associated contributions for the design of PTIA systems: (1) We propose a Model Driven Engineering (MDE) approach for PTIA. We adopt the recently proposed IEC 61499 standard for the specification of automation systems and develop a model driven approach for compilation and deployment. To the best of our knowledge, this is the first known MDE approach that achieves precision timing. (2) We developed time-predictable design patterns and semantics for IEC 61499. The proposed design patterns aid the designers in developing time-predictable centralized, as well as, distributed IEC 61499 systems. The design patterns are backed by formal semantics that guarantee determinism and reactivity. To the best of our knowledge, the proposed semantics, is the only known formal semantics for IEC 61499 that facilitates precision timed implementations on both centralized and distributed settings. (3) We developed custom architectures / platforms for future Programmable Automation Controllers (PACs) / Programmable Logic Controllers (PLCs) to be used for PTIA systems. The developed PRET-PAC combines a soft-core processor with a custom designed memory to achieve time predictable execution. To the best of our knowledge, the developed PRET-PAC is the first proposal for a future PAC that is ideal for the design of PTIA systems. (4) We developed several approaches for automated static analysis of IEC 61499 function blocks over the PRET-PAC. The proposed analysis consists of a very precise analyzer using the CBMC model checker that offers precise results at the expense of scalability. To enable scalability, we also developed an approach based on Integer Linear Programming (ILP) that offers excellent scalability but lacks precision. ILP has been the approach of choice for timing analysis of industry grade embedded systems. Due to these two contrasting approaches, we developed a novel approach for timing…" @default.
• W3202871388 created "2021-10-11" @default.
• W3202871388 creator A5041678975 @default.
• W3202871388 date "2015-01-01" @default.
• W3202871388 modified "2023-09-26" @default.
• W3202871388 title "Precision Timed Industrial Automation" @default.
• W3202871388 hasPublicationYear "2015" @default.
• W3202871388 type Work @default.
• W3202871388 sameAs 3202871388 @default.
• W3202871388 citedByCount "0" @default.
• W3202871388 crossrefType "journal-article" @default.
• W3202871388 hasAuthorship W3202871388A5041678975 @default.
• W3202871388 hasConcept C115901376 @default.
• W3202871388 hasConcept C120314980 @default.
• W3202871388 hasConcept C127413603 @default.
• W3202871388 hasConcept C133731056 @default.
• W3202871388 hasConcept C149635348 @default.
• W3202871388 hasConcept C154945302 @default.
• W3202871388 hasConcept C199360897 @default.
• W3202871388 hasConcept C200601418 @default.
• W3202871388 hasConcept C201995342 @default.
• W3202871388 hasConcept C2775924081 @default.
• W3202871388 hasConcept C40071531 @default.
• W3202871388 hasConcept C41008148 @default.
• W3202871388 hasConcept C55439883 @default.
• W3202871388 hasConcept C78519656 @default.
• W3202871388 hasConcept C93682380 @default.
• W3202871388 hasConceptScore W3202871388C115901376 @default.
• W3202871388 hasConceptScore W3202871388C120314980 @default.
• W3202871388 hasConceptScore W3202871388C127413603 @default.
• W3202871388 hasConceptScore W3202871388C133731056 @default.
• W3202871388 hasConceptScore W3202871388C149635348 @default.
• W3202871388 hasConceptScore W3202871388C154945302 @default.
• W3202871388 hasConceptScore W3202871388C199360897 @default.
• W3202871388 hasConceptScore W3202871388C200601418 @default.
• W3202871388 hasConceptScore W3202871388C201995342 @default.
• W3202871388 hasConceptScore W3202871388C2775924081 @default.
• W3202871388 hasConceptScore W3202871388C40071531 @default.
• W3202871388 hasConceptScore W3202871388C41008148 @default.
• W3202871388 hasConceptScore W3202871388C55439883 @default.
• W3202871388 hasConceptScore W3202871388C78519656 @default.
• W3202871388 hasConceptScore W3202871388C93682380 @default.
• W3202871388 hasLocation W32028713881 @default.
• W3202871388 hasOpenAccess W3202871388 @default.
• W3202871388 hasPrimaryLocation W32028713881 @default.
• W3202871388 hasRelatedWork W117245785 @default.
• W3202871388 hasRelatedWork W1495162277 @default.
• W3202871388 hasRelatedWork W1559276531 @default.
• W3202871388 hasRelatedWork W1599129448 @default.
• W3202871388 hasRelatedWork W17804537 @default.
• W3202871388 hasRelatedWork W2091843695 @default.
• W3202871388 hasRelatedWork W2122182917 @default.
• W3202871388 hasRelatedWork W2228816749 @default.
• W3202871388 hasRelatedWork W2272566875 @default.
• W3202871388 hasRelatedWork W2419629240 @default.
• W3202871388 hasRelatedWork W26640443 @default.
• W3202871388 hasRelatedWork W2738096415 @default.
• W3202871388 hasRelatedWork W2908682970 @default.
• W3202871388 hasRelatedWork W2914001976 @default.
• W3202871388 hasRelatedWork W2944475290 @default.
• W3202871388 hasRelatedWork W3004976493 @default.
• W3202871388 hasRelatedWork W3044492345 @default.
• W3202871388 hasRelatedWork W3180839655 @default.
• W3202871388 hasRelatedWork W615692389 @default.
• W3202871388 hasRelatedWork W2181663446 @default.
• W3202871388 isParatext "false" @default.
• W3202871388 isRetracted "false" @default.
• W3202871388 magId "3202871388" @default.
• W3202871388 workType "article" @default.