Kia ora. This is to inform you of a planned outage of the repository from 8.30am on Friday 22 March as the server hosting for our repository is migrated. The outage is unlikely to last more than one hour. During that time it will not be possible for students to use the thesis submission form to upload content to the repository. Please leave any submissions until the following day.

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.identifier.citationEmerging Technology and Factory Automation (ETFA), 2014 IEEE , vol., no., pp.1,8, doi: 10.1109/ETFA.2014.7005126
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.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.subjectComputational modeling
dc.subjectComputer architecture
dc.subjectIEC standards
dc.subjectReactive power
dc.titleA scalable approach for re-configuring evolving industrial control systems
dc.typeConference Contribution

Files in this item


This item appears in the following Collection(s)

Show simple item record