Using UML-MARTE and TCOZ for AAL System Specifications: A Case Study

In this work we propose an heterogeneous approach for the specification and design of Ambient Assisted Living (AAL) Systems based on UML-MARTE and TCOZ. The proposed mapping between MARTE models and TCOZ specifications relies mainly on Timed Automata (TA), a common and sound intermediary formalism, widely used in the community of real time systems. The use of TA is motivated by its ability to serve as an intermediate institution when integrating both MARTE and TCOZ in an institutional framework. The ultimate objective is to check the consistency of transformation rules when mapping MARTE models into TCOZ specifications.