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
Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification
University Carlos III, Spain.
Politecnico di Milano, Italy.ORCID iD: 0000-0002-2736-845x
Politecnico di Milano, Italy.
2014 (English)In: Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference, IEEE Press, 2014, p. 332-337Conference paper, Published paper (Refereed)
Abstract [en]

The inherent dynamic nature of Cyber Physical Systems (CPS) requires novel mechanisms to support their evolution over their operation life time. Though typically the development of CPS integrates the software (cyber) design with the physical domain, this contribution concentrates mainly on another essential integration plane: The software design level. This paper presents an approach to support the adaptation process of CPS required by their evolution. It is based on the run-time generation of verified system configurations and their analysis to guide the evolution of the system through correct configurations that meet the functional and timing requirements of the new situations. We show its feasibility by presenting and analyzing the results of the execution for a reduced-scale time-sensitive application that employs a complex verification technique to model functional and temporal aspects of the system.

Place, publisher, year, edition, pages
IEEE Press, 2014. p. 332-337
Keywords [en]
CPS, adaptation
National Category
Software Engineering
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-74483DOI: 10.1109/COMPSAC.2014.55ISBN: 978-1-4799-3575-8 (electronic)ISBN: 978-1-4799-3576-5 (print)OAI: oai:DiVA.org:lnu-74483DiVA, id: diva2:1209362
Conference
2014 IEEE 38th Annual Computer Software and Applications Conference, 21-25 July 2014, Vasteras, Sweden
Projects
REM4VSS TIN-2011-28339Available from: 2018-05-22 Created: 2018-05-22 Last updated: 2018-05-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full texthttps://ieeexplore.ieee.org/document/6899234/

Authority records BETA

Perez-Palacin, Diego

Search in DiVA

By author/editor
Perez-Palacin, Diego
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 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