lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: 12th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2014, s. 164-169Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
IEEE, 2014. s. 164-169
Nyckelord [en]
Adaptive systems, middleware, reliable systems, verification, reconfiguration, distributed systems, SOA, MAPE-K
Nationell ämneskategori
Programvaruteknik
Forskningsämne
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
Konferens
12th IEEE International Conference on Industrial Informatics (INDIN) 2014, 27-30 July 2014
Projekt
Spanish national project REM4VSS (TIN 2011-28339)Tillgänglig från: 2018-06-05 Skapad: 2018-06-05 Senast uppdaterad: 2018-06-08Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Perez-Palacin, Diego

Sök vidare i DiVA

Av författaren/redaktören
Perez-Palacin, Diego
Programvaruteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 8 träffar
RefereraExporteraLänk till posten
Permanent länk

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