Title :
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts
Author :
Pi, Lei ; Yang, Zhibin ; Bodeveix, J.-P. ; Filali, M. ; Hu, Kai ; Ma, Dianfu
Author_Institution :
CNRS, Univ. of Toulouse, Toulouse
Abstract :
This paper presents some real-time concepts as they are found in the AADL language and proposes their expression in two formalisms suitable for formal analysis: FIACRE which is based on timed transition systems and TASM which extends abstract state machines with resource consumption mechanisms.
Keywords :
finite state machines; formal specification; resource allocation; software architecture; Architecture Analysis & Design Language; Format Intermediaire pour les Architectures de Composants Repartis Embarques; abstract state machines; formal analysis; resource consumption mechanisms; timed abstract state machine; timed transition systems; Algebra; Computer science; Delay; Embedded system; Engines; Model driven engineering; Real time systems; Scheduling; Timing; Yarn;
Conference_Titel :
Engineering of Complex Computer Systems, 2009 14th IEEE International Conference on
Conference_Location :
Potsdam
Print_ISBN :
978-0-7695-3702-3
DOI :
10.1109/ICECCS.2009.9
