lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Supervisory Controller Synthesis for Safe Software Adaptation
Linnaeus University, Faculty of Technology, Department of Computer Science. Leiden University, The Netherlands.ORCID iD: 0000-0002-0377-5595
Leiden University, The Netherlands.
INRIA, France.
2014 (English)In: 12th IFAC International Workshop on Discrete Event Systems (2014) / [ed] Jean-Jacques Lesage, Jean-Marc Faure, Jose E. R. Cury, Bengt Lennartson, International Federation of Automatic Control , 2014, Vol. 47, Iss 2, 39-45 p.Conference paper, Published paper (Refereed)
Abstract [en]

Today's software systems need to adapt their behavior due to the changes in their operational environments and user requirements. To this end, an adaptive software performs a sequence of adaptations at runtime. Correctness of the behavior of an adaptive software system during dynamic adaptation is an important challenge along the way to realize correct adaptive systems. In this research, we model adaptation as a supervisory control problem and synthesize a controller that guides the behavior of a software system during adaptation. The system during adaptation is modeled using a graph transition system and properties to be enforced are specified using an automaton. To ensure correctness, we then synthesize a controller that imposes constraints on the system during adaptation.

Place, publisher, year, edition, pages
International Federation of Automatic Control , 2014. Vol. 47, Iss 2, 39-45 p.
Series
IFAC Proceedings Volumes, Vol 47, Iss 2
Keyword [en]
Adaptive Software System, Dynamic Adaptation, Behavior Correctness, Formal Methods, Supervisory Controller Synthesis
National Category
Computer Science
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-42252DOI: 10.3182/20140514-3-FR-4046.00035Scopus ID: 2-s2.0-84951770156ISBN: 978-3-902823-61-8 (print)OAI: oai:DiVA.org:lnu-42252DiVA: diva2:803856
Conference
12th International Workshop on Discrete Event Systems (2014), Cachan, France, 14-15 May, 2014
Available from: 2015-04-13 Created: 2015-04-13 Last updated: 2016-12-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Khakpour, Narges
By organisation
Department of Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 23 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf