lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
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 (English)In: 12th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2014, p. 164-169Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
IEEE, 2014. p. 164-169
Keywords [en]
Adaptive systems, middleware, reliable systems, verification, reconfiguration, distributed systems, SOA, MAPE-K
National Category
Software Engineering
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-75098DOI: 10.1109/INDIN.2014.6945502ISBN: 978-1-4799-4905-2 (print)OAI: oai:DiVA.org:lnu-75098DiVA, id: diva2:1214036
Conference
12th IEEE International Conference on Industrial Informatics (INDIN) 2014, 27-30 July 2014
Projects
Spanish national project REM4VSS (TIN 2011-28339)Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-08Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

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: 25 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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