About Fiacre
Fiacre stands for "Format Intermédiaire pour les Architectures de Composants Répartis Embarqués", french for "Intermediate Format for the Embedded Distributed Component Architectures". Fiacre is a formally defined language for representing compositionaly both the behavioural and timing aspects of embedded and distributed systems for formal verification and simulation purposes.
The fiacre language was designed in the framework of several projects gathering industry and academics partners, by a consortium of scientists from the OLC, then VerTICS team of LAAS-CNRS, the VASY project of INRIA and the ACADIE team of IRIT.
Fiacre descriptions embed the following notions:
Processes describe the behaviour of sequential components. A
process is defined by a set of control states, each associated with
a piece of program built from deterministic constructs available in
classical programming languages (assignments, if-then-else
conditionals, while loops, and sequential compositions),
nondeterministic constructs (nondeterministic choice and
nondeterministic assignments), communication events on ports, and
jumps to next state.
Components describe the composition of processes, possibly in a
hierarchical manner. A component is defined as a parallel
composition of components and/or processes communicating through
ports and shared variables. Components may also allows to restrict
the access mode and visibility of shared variables and ports, to
associate timing constraints with communications, and to define
priority between communication events.
Projects
A list of projects (past or present) in which development of Fiacre was carried on:
OpenETCS
Open Proofs Methodology for the European Train Control System
ITEA-2
12/2011 - 36 months
Quarteft
Qualifiable Real Time Fiacre Transformation
FNRAE
05/2009 - 48 months
ITEmIS: IT and Embedded Integrated Systems
ANR Arpege
03/2009 - 36 months
TopMipy Topcased Midi-Pyrénées
CRMIP
08/2007 - 24 months
Spices Support for Predictable Integration of mission Critical Embedded Systems
ITEA
09/2006 - 39 months
OpenEmbeDD Model Driven Engineering open-source platform for Real-Time Embedded systems
RNTL (Plateforme)
03/2006 - 36 months
Topcased Toolkit in OPen-source for Critical Application SystEms Development
DGE + CRMIP - Pôle AE/SE
08/2006 - 48 months
ACI Fiacre Models and Tools for Safety and Security Analysis of Distributed Components and their Composition
ACI Sécurité & Informatique
10/2004 - 24 months