5 results  save search


...
hal-01708993v1  Conference papers
J.-P BodeveixArnaud DieumegardM Filali. Pattern-based requirements development
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
hal-00784968v1  Conference papers
Jean-Paul BodeveixRaphaël CavalleroDavid ChemouilMamoun FilaliJean-François Rolland. A mapping from AADL to Java-RTSJ
5th international workshop on Java technologies for real-time and embedded systems, 2007, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩
hal-00784976v1  Conference papers
Ricardo Bedin FrançaJean-Paul BodeveixDavid ChemouilMamoun FilaliJean-François Rolland et al.  The AADL behaviour annex -- experiments and roadmap
International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
...
hal-01740640v1  Conference papers
Ning GeArnaud DieumegardEric JennBruno d'AusbourgYamine Aït-Ameur. Formal development process of safety critical embedded human machine interface systems
TASE (11th International Symposium on Theoretical Aspects of Software Engineering), Sep 2017, Sophia Antipolis, France. pp. 1-8
...
hal-02181895v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardMamoun Filali. Event-B Formalization of a Variability-Aware Component Model Patterns Framework
15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74