Dynamic update of discrete event controllers

File Description SizeFormat 
paper.pdfAccepted version2.88 MBAdobe PDFView/Open
Title: Dynamic update of discrete event controllers
Authors: Nahabedian, L
Braberman, V
D’Ippolito, N
Honiden, S
Kramer, J
Tei, K
Uchitel, S
Item Type: Journal Article
Abstract: Discrete event controllers are at the heart of many software systems that require continuous operation. Changing these controllers at runtime to cope with changes in its execution environment or system requirements change is a challenging open problem. In this paper we address the problem of dynamic update of controllers in reactive systems. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur and in which the underlying system architecture can reconfigure. Our solution uses discrete event controller synthesis to automatically build a controller that guarantees both progress towards update and safe update.
Issue Date: 1-Jan-2018
Date of Acceptance: 14-Oct-2018
ISSN: 0098-5589
Publisher: Institute of Electrical and Electronics Engineers
Journal / Book Title: IEEE Transactions on Software Engineering
Copyright Statement: © 2018 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.
Sponsor/Funder: Engineering & Physical Science Research Council (EPSRC)
Imperial College Trust
Funder's Grant Number: EP/E025188/1
Keywords: 0803 Computer Software
0806 Information Systems
Software Engineering
Publication Status: Published online
Online Publication Date: 2019-10-19
Appears in Collections:Faculty of Engineering

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commonsx