DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Model-based run-time monitoring of end-to-end deadlines
Proceedings of the 5th ACM international conference on Embedded software
Efficient exploration of service-oriented architectures using aspects
Proceedings of the 28th international conference on Software engineering
Automating software architecture exploration with M2Aspects
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
ACM Transactions on Software Engineering and Methodology (TOSEM)
From sequence diagrams to Java-stairs aspects
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Constructing formal rules to verify message communication in distributed systems
The Journal of Supercomputing
Runtime verification for ultra-critical systems
RV'11 Proceedings of the Second international conference on Runtime verification
Specification and verification of reliability in dispatching multicast messages
The Journal of Supercomputing
Copilot: monitoring embedded systems
Innovations in Systems and Software Engineering
Runtime verification of microcontroller binary code
Science of Computer Programming
| Hi-index | 0.00 |
Runtime verification is one systematic strategy for analytical quality assurance of complex distributed systems. Model-based development approaches are promising in this context because they provide models of manageable size and complexity describing the systems under development, enabling systematic engineering processes for all development phases on various levels of detail. For runtime verification, executing implementations are monitored continuously for correctness against the specification. This requires the insertion of monitors into the software under test to gather information on system states and their evolution. In this paper we describe how we use aspect-oriented development techniques to enhance existing code with runtime monitors checking the interaction behavior of applications against their specifications. We use Message Sequence Charts (MSCs) to specify the interaction behavior of distributed systems and as basis for automatic runtime monitor generation. This uniquely ties interaction interface specifications with the monitoring infrastructure for their realization.We explain themonitor generation procedure and tool set using a case study from the embedded automotive systems domain, the Central Locking System (CLS).