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
Extending the verification capabilities of middleware for reliable distributed self-adaptive systems
University Carlos III, Spain.
Politecnico di Milano, Italy.ORCID-id: 0000-0002-2736-845X
Politecnico di Milano, Italy.
2014 (engelsk)Inngår i: 12th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2014, s. 164-169Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

The design of the embedded software for industrial systems progressively integrates more intelligent functions to ease the integration between the factory floor hardware and operator-friendly control front ends. New software development paradigms such as service oriented architecture (SOA) make it possible by embedding small footprint web servers inside small embedded devices that are connected to the actuators which they control. In general, the timing requirements of such distributed systems are not in the front plane and temporal guarantees provided by most solutions are typically best effort. iLAND is an example of a middleware that supports communication and reconfiguration of distributed services, ensuring temporal correctness. It includes the logic for adapting the architectural structure of a service-based application (i.e., number and connections of the software pieces/functions) to respond to operator requests in a time-deterministic way, focusing only on the temporal correctness. In this paper, we apply the principles of autonomic computing to the middleware design, and we provide a high-level description on how its verification process could be extended beyond the purely temporal properties using more comprehensive formal techniques. We exemplify these ideas with a modified on-line verification manager that suits the needs of a kind of systems with specific timing and functional constraints.

sted, utgiver, år, opplag, sider
IEEE, 2014. s. 164-169
Emneord [en]
Adaptive systems, middleware, reliable systems, verification, reconfiguration, distributed systems, SOA, MAPE-K
HSV kategori
Forskningsprogram
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-75098DOI: 10.1109/INDIN.2014.6945502ISBN: 978-1-4799-4905-2 (tryckt)OAI: oai:DiVA.org:lnu-75098DiVA, id: diva2:1214036
Konferanse
12th IEEE International Conference on Industrial Informatics (INDIN) 2014, 27-30 July 2014
Prosjekter
Spanish national project REM4VSS (TIN 2011-28339)Tilgjengelig fra: 2018-06-05 Laget: 2018-06-05 Sist oppdatert: 2018-06-08bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

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: 8 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