Search: onr:"swepub:oai:DiVA.org:liu-48113" >
Modular verificatio...
-
Tesanovic, AleksandraLinköpings universitet,RTSLAB - Laboratoriet för realtidssystem,Tekniska högskolan
(author)
Modular verification of reconfigurable components
- Article/chapterEnglish2005
Publisher, publication year, extent ...
-
Berlin, Heidelberg :Springer Berlin/Heidelberg,2005
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:liu-48113
-
https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-48113URI
-
https://doi.org/10.1007/11591962_4DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kap swepub-publicationtype
Notes
-
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.
Subject headings and genre
-
TECHNOLOGY
-
TEKNIKVETENSKAP
Added entries (persons, corporate bodies, meetings, titles ...)
-
Nadjm-Tehrani, SiminLinköpings universitet,RTSLAB - Laboratoriet för realtidssystem,Tekniska högskolan(Swepub:liu)simna73
(author)
-
Hansson, JörgenLinköpings universitet,RTSLAB - Laboratoriet för realtidssystem,Tekniska högskolan(Swepub:liu)jorha94
(author)
-
Linköpings universitetRTSLAB - Laboratoriet för realtidssystem
(creator_code:org_t)
Related titles
-
In:Component-Based Software Development for Embedded SystemsBerlin, Heidelberg : Springer Berlin/Heidelberg, s. 59-81978354030644397835403161453540306447
Internet link
Find in a library
To the university's database