liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Modular verification of reconfigurable components
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
2005 (English)In: Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends / [ed] Colin Atkinson, Christian Bunse, Hans-Gerhard Gross and Christian Peper, Springer Berlin/Heidelberg, 2005, Vol. 3778, 59-81 p.Chapter in book (Refereed)
Abstract [en]

This chapter presents a framework for modular verification of reconfigurable real-time components. The framework enables proving that the reconfiguration of components via aspect weaving provides expected functional and temporal behavior in the reconfigured component. Within the framework we formally represent components and aspects as augmentations of timed automata. The verification is based on two algorithms: an algorithm that extracts necessary information into component verification interfaces, and an algorithm that checks, on an aspect, whether the property is preserved upon reconfiguration. Hence, the method ensures that components are verified only once for a particular property, while the property satisfaction under reconfiguration is checked only on aspects. Verification interfaces for a given property can be reused for multiple aspects and reconfigurations.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2005. Vol. 3778, 59-81 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 3778
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 3778
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-48113DOI: 10.1007/11591962_4ISBN: 978-3-540-30644-3 (print)ISBN: e-978-3-540-31614-5 ISBN: 3-540-30644-7 (print)OAI: oai:DiVA.org:liu-48113DiVA: diva2:269009
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2013-10-15Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textfind book at a swedish library/Hitta boken i ett svenskt bibliotek

Authority records BETA

Tesanovic, AleksandraNadjm-Tehrani, SiminHansson, Jörgen

Search in DiVA

By author/editor
Tesanovic, AleksandraNadjm-Tehrani, SiminHansson, Jörgen
By organisation
RTSLAB - Real-Time Systems LaboratoryThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 41 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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