Aspectising concurrency for the RTSJ

Abstract

The Real-Time Specification for Java (RTSJ) supports concurrency mainly by using object-oriented mechanisms. Hence it entangles with functional components. This crosscutting nature does not promote coherence and traceability between real-time systems requirement specifications, designs, and implementations. Such qualities are only possible by separating it. We show how to separate concurrency, a non-functional concern, from thread-safe functional concerns using "aspectisation". The paper's contributions are in devising a systematic separation approach, and elaboration of challenges and requirements for "pluggable" concurrency. © 2009 Springer.