Show simple item record

dc.contributor.authorSinha, R
dc.contributor.authorJohnson, K
dc.contributor.authorCalinescu, R
dc.contributor.editorGrau, A
dc.contributor.editorZurawski, R
dc.date.accessioned2015-04-15T04:15:21Z
dc.date.available2015-04-15T04:15:21Z
dc.date.copyright2014-09-19
dc.identifier.citationEmerging Technology and Factory Automation (ETFA), 2014 IEEE , vol., no., pp.1,8, doi: 10.1109/ETFA.2014.7005126
dc.identifier.urihttp://hdl.handle.net/10292/8586
dc.description.abstractWe present a scalable approach to automatically re-configure evolving IEC 61499 systems for deployment onto an available set of resources. We capture system architecture and high-level configuration requirements formally, and use an efficient SMT-based constraint resolution to generate a valid system configuration. Any changes in the system architecture, configuration requirements, or resources are automatically translated into a minimal set of updated constraints, allowing a faster reconfiguration as compared to a monolithic approach where the whole system is re-configured. We show the feasibility of our approach by studying an airport baggage handling system developed using the IEC 61499 standard.
dc.publisherIEEE
dc.rightsCopyright © 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.subjectIEC standards
dc.subjectComputer architecture
dc.subjectConstraint handling
dc.subjectIndustrial control
dc.subjectIEC 61499 systems
dc.subjectSMT-based constraint resolution
dc.subjectAirport baggage handling system
dc.subjectIndustrial control systems
dc.subjectMonolithic approach
dc.subjectSystem architecture
dc.subjectAirports
dc.subjectComputational modeling
dc.subjectComputer architecture
dc.subjectIEC standards
dc.subjectReactive power
dc.subjectSensors
dc.titleA scalable approach for re-configuring evolving industrial control systems
dc.typeConference Contribution
dc.rights.accessrightsOpenAccess
dc.identifier.doi10.1109/ETFA.2014.7005126
aut.relation.volume19
pubs.elements-id168029


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record