DocumentCode
2168611
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
fYear
2009
fDate
2-4 June 2009
Firstpage
347
Lastpage
352
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2009 14th IEEE International Conference on
Conference_Location
Potsdam
Print_ISBN
978-0-7695-3702-3
Type
conf
DOI
10.1109/ICECCS.2009.9
Filename
5090546
Link To Document