论文信息 - A mapping from AADL to Java-RTSJ

A mapping from AADL to Java-RTSJ

In this paper, we study a mapping from AADL to Java-RTSJ. After reviewing the basic concepts of the AADL execution model, we present the basic notions of Java-RTSJ, we rely on, for our mapping. Then, we propose a mapping taking into account a given subset of AADL. A related works section reviews existing works and elaborates on some comparisons.

[1] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .

[2] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[3] David Garlan,et al. Acme: an architecture description interchange language , 1997, CASCON.

[4] Richard N. Taylor,et al. A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[5] Kai Engelhardt,et al. Data Refinement: Model-Oriented Proof Methods and their Comparison , 1998 .

[6] Andy J. Wellings. Concurrent and real-time programming in Java , 2004 .

[7] Robert J. Allen. A formal approach to software architecture , 1997 .

[8] James Gosling,et al. The Real-Time Specification for Java , 2000, Computer.

[9] Willem Visser,et al. Model Checking Real Time Java Using Java PathFinder , 2005, ATVA.

[10] Andy Wellings,et al. Model-based verification of a framework for flexible scheduling in the real-time specification for Java , 2006, JTRES '06.

[11] Leslie Lamport,et al. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.