Trace Partitioning and Local Monitoring for Asynchronous Components
| Autor: | Adrian Francalanza, Duncan Paul Attard |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Computer network architectures
Computer software -- Development Computer science Distributed computing Autonomous distributed systems 02 engineering and technology Computer software -- Verification Component (UML) 0202 electrical engineering electronic engineering information engineering Instrumentation (computer programming) Software system Software verification and validation TRACE (psycholinguistics) Formal methods (Computer science) business.industry Runtime verification Software development 020207 software engineering Formal methods Computer network programming Computer engineering Asynchronous communication Component-based software engineering Software construction 020201 artificial intelligence & image processing business Algorithms Software verification |
| Zdroj: | Software Engineering and Formal Methods ISBN: 9783319661964 SEFM |
| DOI: | 10.1007/978-3-319-66197-1_14 |
| Popis: | We propose an instrumentation technique for monitoring asynchronous component systems that departs from the traditional runtime verification set-up assuming a single execution trace. The technique generates partitioned traces that better reflect the interleaved execution of the asynchronous components under scrutiny, and lends itself well to local monitoring. We provide argumentation for the qualitative benefits of our approach, demonstrate its implementability for actor-based systems, and justify claims related to the applicability and efficiency gains via an empirical evaluation over a third party component-based system. peer-reviewed |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|