lnu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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 (engelsk)Inngår i: Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference, IEEE Press, 2014, s. 332-337Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE Press, 2014. s. 332-337
Emneord [en]
CPS, adaptation
HSV kategori
Forskningsprogram
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-74483DOI: 10.1109/COMPSAC.2014.55ISBN: 978-1-4799-3575-8 (digital)ISBN: 978-1-4799-3576-5 (tryckt)OAI: oai:DiVA.org:lnu-74483DiVA, id: diva2:1209362
Konferanse
2014 IEEE 38th Annual Computer Software and Applications Conference, 21-25 July 2014, Vasteras, Sweden
Prosjekter
REM4VSS TIN-2011-28339Tilgjengelig fra: 2018-05-22 Laget: 2018-05-22 Sist oppdatert: 2018-05-23bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fullteksthttps://ieeexplore.ieee.org/document/6899234/

Personposter BETA

Perez-Palacin, Diego

Søk i DiVA

Av forfatter/redaktør
Perez-Palacin, Diego

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 4 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf