Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
Malakuti Khah Olun Abadi, S. and Bockisch, C.M. and Akşit, M.
(2009)
Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software.
In: The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009, 16-19 Nov 2009, Mysore, India.
pp. 31-40.
IEEE Computer Society.
ISBN 978-0-7695-3878-5
Full text available as:
Official URL: http://dx.doi.org/10.1109/ISSRE.2009.12  AbstractComplex software, especially the embedded one, is composed of multiple collaborating subsystems that are possibly developed in multiple languages. To verify the behavior of such software, a run-time verification system must deal with multiplelanguage environments both in its specifications and in its generated runtime verification modules. In this paper, we present the E-Chaser runtime verification system, whose front-end provides language-independent specifications, and whose backend provides an extendable toolset with new implementation languages. E-Chaser is built based on the Composition Filter Model and extends it with the notion of synchronization messages and synchronization filters to verify the synchronization properties of multiple subsystems. The first prototype of EChaser was successfully used to verify various properties.
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item |
|
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||
