Integrating Statechart Assertions into Java']Java Components Using AspectJ

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.