A mapping from AADL to Java-RTSJ

Authors:
Bodeveix Jean-Paul;Cavallero Raphaël;Chemouil David;Filali Mamoun;Rolland Jean-François
Affiliations:
Université Paul Sabatier, Toulouse, France;Université Paul Sabatier, Toulouse, France;ONES, Toulouse, France;Université Paul Sabatier, Toulouse, France;Université Paul Sabatier, Toulouse, France
Venue:
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Year:
2007

Citing 8
Cited 1

The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Acme: an architecture description interchange language

CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
A formal approach to software architecture

A formal approach to software architecture
Concurrent and Real-Time Programming in Java

Concurrent and Real-Time Programming in Java
Model-based verification of a framework for flexible scheduling in the real-time specification for Java

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Model checking real time java using java pathfinder

ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis

Formal execution semantics for asynchronous constructs of AADL

Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.