12 results  save search


...
hal-00755279v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. MODÉLISATION DE LA SÛRETÉ DE FONCTIONNEMENT DE SYSTÈMES À PARTIR DU LANGAGE AADL
15ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement (Lambda-Mu'15), Oct 2006, Lille, France. 8p
...
hal-00755268v1  Journal articles
Ana-Elena RuginaKarama KanounMohamed Kaâniche. Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG
Technique et Science Informatiques, Hermès-Lavoisier, 2009, 28 (1), pp.7-37
...
hal-00761609v1  Book sections
Karama KanounYves CrouzetAli KalakechAna-Elena Rugina. Windows and Linux Robustness Benchmarks With Respect to Application Erroneous Behavior
Karama Kanoun et Lisa Spainhower. Dependability Benchmarking for Computer Systems, IEEE Computer Society et WILEY, pp.227-254, 2008, 978-0-470-23055-8
...
hal-01962754v1  Conference papers
Karama KanounYves CrouzetAli KalakechAna-Elena RuginaPhilippe Rumeau. Benchmarking the Dependability of Windows and Linux using PostMark ™ Workloads *
16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005, Nov 2005, Chicago, United States. pp.11-20
...
hal-00323969v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
7th European Dependable Computing Conference (EDCC), May 2008, Kaunas, Lithuania. pp.85-90
...
hal-00323983v1  Conference papers
Ana-Elena RuginaPeter FeilerKarama KanounMohamed Kaâniche. Software dependability modeling using an industry-standard architecture description language
4th European Congress ERTS Embedded Real Time Software, Jan 2008, Toulouse, France
hal-00788450v1  Conference papers
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
hal-02061818v1  Book sections
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain-specific modeling language for space on-board application software
Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
...
hal-00140407v1  Conference papers
Ana-Elena RuginaKarama KanounMohamed Kaâniche. An architecture-based dependability modeling framework using AADL
IASTED International Conference on Software Engineering and Applications, Nov 2006, France. pp.222-227
...
tel-00207502v1  Theses
Ana-Elena Rugina. Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2007. English