Proceedings Article10.1109/SYSOSE.2008.4724192
Integrating statechart assertions into Java components using AspectJ
D. Drusinsky,James Bret Michael,Thomas W. Otani,Man-Tak Shing +3 more
- 02 Jun 2008
- pp 1-7
TL;DR: The need for rapid and robust integration of external statechart assertions with the software components of a system of systems (SoSes) for the purpose of runtime verification of the complex SoS behaviors is addressed.
read more
Abstract: This paper addresses the need for rapid and robust integration of external statechart assertions with the software components of a system of systems (SoSes) for the purpose of runtime verification of the complex SoS behaviors. We describe a framework for connecting assertions to statechart models or to plain Java code using AspectJ. The framework manages connections using a single reusable AspectJ file; designers only need to modify a few lines of source code at the top of the file to link the reusable statechart assertions to a new component. We demonstrate the framework with an example involving a traffic light control system.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K
Model-Driven Monitoring of Time-Critical Systems Based on Aspect-Oriented Programming
Ki-Seong Lee,Chan-Gun Lee +1 more
- 27 Jun 2011
TL;DR: This paper proposes a model-driven monitor based on AOP for time-critical systems that is modeled by using xUML in the design time, and its timing constrains are specified by RTL-like expressions.
5
References
•Journal Article
An overview of AspectJ
TL;DR: AspectJ as mentioned in this paper is a simple and practical aspect-oriented extension to Java with just a few new constructs, AspectJ provides support for modular implementation of a range of crosscutting concerns.
2.9K
•Book
Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking
Doron Drusinsky
- 15 Apr 2006
TL;DR: The motivation for this work was the need for Computer Based Verification and the need to integrate UML Statecharts and Temporal Logic Assertions with CTL, CTL+, Z.
Creation and Validation of Embedded Assertion Statecharts
Doron Drusinsky,Man-Tak Shing,Kadir Alpaslan Demir +2 more
- 14 Jun 2006
TL;DR: The paper describes an iterative process for the development and verification of statechart prototype models augmented with statechart assertions using the StateRover tool.
TLCharts: armor-plating Harel statecharts with temporal logic conditions
D. Drusinsky,Man-Tak Shing +1 more
- 28 Jun 2004
TL;DR: This paper addresses the need for armor-plating Harel statechart design specifications of real-time systems with safety requirements using a new visual specification language named TLCharts, and demonstrates such armor- plating with a specification of the safety-critical computer assisted resuscitation algorithm (CARA) software for a casualty intravenous fluid infusion pump.
Quality assurance of the timing properties of real-time, reactive system-of-systems
Man-Tak Shing,D. Drusinsky,Thomas Cook +2 more
- 24 Apr 2006
TL;DR: The paper presents microkernel architecture for evolvable system-of-systems to isolate the computations that are likely to change with time from the basic control logics that are invariant in the application domain, and a testing methodology that is based on formal statechart assertions.