onr:"swepub:oai:DiVA.org:liu-48113"
Search: onr:"swepub:oai:DiVA.org:liu-48113" > Modular verificatio...
- 1 of 1
- Previous record
- Next record
- To hitlist
Modular verification of reconfigurable components
-
- Tesanovic, Aleksandra (author)
- Linköpings universitet,RTSLAB - Laboratoriet för realtidssystem,Tekniska högskolan
-
- Nadjm-Tehrani, Simin (author)
- Linköpings universitet,RTSLAB - Laboratoriet för realtidssystem,Tekniska högskolan
-
- Hansson, Jörgen (author)
- Linköpings universitet,RTSLAB - Laboratoriet för realtidssystem,Tekniska högskolan
- (creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin/Heidelberg, 2005
- 2005
- English.
- In: Component-Based Software Development for Embedded Systems. - Berlin, Heidelberg : Springer Berlin/Heidelberg. - 9783540306443 - 9783540316145 - 3540306447 ; , s. 59-81
- Book chapter (peer-reviewed)
Abstract
Subject headings
Close
- 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.
Keyword
- TECHNOLOGY
- TEKNIKVETENSKAP
Publication and Content Type
- ref (subject category)
- kap (subject category)
Find in a library
- Component-Based Software Development for Embedded Systems (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Tesanovic, Aleks ...
- Nadjm-Tehrani, S ...
- Hansson, Jörgen
- Articles in the publication
- Component-Based ...
- By the university
- Linköping University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
