AltaRica Association logo The AltaRica Association
Publications about AltaRica

2014

Conferences

  • AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms A. Cherfi, A. Rauzy, and M. Leeman In Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014. Munich (Germany). October, 2014.
  • Modélisation dysfonctionnelle de lanceurs spatiaux F. Fagaro, and A. Dechev In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
  • A Practicable MBSA Modeling Process Using Altarica S. Li, and D. Su In Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014. Munich (Germany). October, 2014.
  • Synthèse de coupes minimales fonctionnelles en coupes minimales composant A. Leblond In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
  • Optimization of the maintenance of a fleet of equipment with a Model-Based Analysis F. Milcent, and T. Prosvirnova In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
  • Modeling network systems with AltaRica 3.0 F. Milcent, T. Prosvirnova, and A. Rauzy In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
  • Safety Assessment of an Electrical System with AltaRica 3.0 H. Mortada, T. Prosvirnova, and A. Rauzy In Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014. Munich (Germany). October, 2014.
  • Vers une approche de l'ISO 26262 basée sur les modèles avec AltaRica F. Meurville, L. Queran, and N. Bellon In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.
  • Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures M. Morel In Proceedings of the 4th International Symposium on Model-Based Safety Assessment, IMBSA 2014. Munich (Germany). October, 2014.
  • The structural constructions of AltaRica 3.0 T. Prosvirnova, and A. Rauzy In Actes du congrès LambdaMu'19 (actes électroniques). Dijon (France). October, 2014.

2013

Journals

  • Modeling systems with mobile components: a comparison between AltaRica and PEPA nets L. Kloul, T. Prosvirnova, and and A. Rauzy In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 227, Num. 6, pp 599–613, 2013.

Conferences

  • Stochastic Simulation of AltaRica 3.0 models M. Batteux, and A. Rauzy In Proceedings of the European Safety and Reliability Conference, ESREL 2013. Amsterdam (The Netherlands). September-October, 2013.
  • Preliminary System Safety Analysis with Limited Markov Chain Generation P.-A. Brameret, J.-M. Roussel, and A. Rauzy In Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013. York (Great Britain). September, 2013.
  • The AltaRica 3.0 project for Model-Based Safety Assessment T. Prosvirnova, M. Batteux, P.-A. Brameret, A. Cherfi, T. Friedlhuber, J.-M. Roussel, and A. Rauzy In Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013. York (Great Britain). September, 2013.
  • AltaRica 3.0 project: compile Guarded Transition Systems into Fault Trees T. Prosvirnova, and A. Rauzy In Proceedings of the European Safety and Reliability Conference, ESREL 2013. Amsterdam (The Netherlands). September-October, 2013.

2012

Conferences

  • Système de Transitions Gardées : formalisme pivot de modélisation pour la Sûreté de Fonctionnement T. Prosvirnova, and A. Rauzy In J.F. Barbet ed., Actes du congrès LambdaMu'18 (actes électroniques). Tours (France). October, 2012.
  • Modélisation des systèmes avec des composants mobiles en AltaRica T. Prosvirnova, and A. Rauzy In J.F. Barbet ed., Actes du congrès LambdaMu'18 (actes électroniques). Tours (France). October, 2012.

2011

Theses

  • Méthodes pour la validation de modèles formels pour la Sûreté de Fonctionnement et extension aux problèmes multi-physique R. Adeline Thèse de doctorat. Université de Toulouse. March, 2011.

Conferences

  • Operational reliability of an aircraft with adaptive missions K. Tiaoussou, K. Kanoun, M. Kaaniche, C. Seguin, and C. Papadopoulos In Proceedings of 13th European Workshop on Dependable Computing. Pisa (Italy). May, 2011.

2010

Journals

  • Reliability study of complex physical systems using SysML P. David, V. Idasiak, and F. Kratz In Reliability Engineering and System Safety. Elsevier. Vol. 95, pp 431–450, 2010.

Conferences

  • Structuration des modèles de SDF de conception systèmes en niveaux d'abstraction E. Arbaretier, Z. Brik, V. Brindejonc, B. Desmarquest, and B. Robert In Actes du congrès Lambda-Mu 17. La Rochelle (France). Octobre, 2010.
  • Toward a methodology for the AltaRica modelling of multi-physical systems R. Adeline, J. Cardoso, P. Darfeuil, S. Humbert, and C. Seguin In Proceedings of European Safety and Reliability Conference, ESREL 2010. Rhodes (Greece). September, 2010.
  • Vers une méthodologie de modèlisation AltaRica pour les systèmes physiques R. Adeline, J. Cardoso, P. Darfeuil, S. Humbert, and C. Seguin In Actes du congrès Lambda-Mu'17. La Rochelle (France). November, 2010.
  • Toward a validation process for model based safety analyses R. Adeline, J. Cardoso, P. Darfeuil, S. Humbert, and C. Seguin In Proceedings of Embedded Real Time Software and Systems, ERTS2 2010. Toulouse (France). May, 2010.
  • Preliminary Design of Future Reconfigurable IMA Platforms - Safety Assessment P. Bieber, J. Brunel, E. Noulard, C. Pagetti, T. Planche, and F. Vialard In 27th International Congress of the Aeronautical Sciences (ICAS 2010). Nice (France). September, 2010.
  • Optimisation de la disponibilité d'un système de production intégrant l'aspect environnement Z. Brik, and P. Secher In Actes des Journées Internationales du Risque Industriel et des Techniques de l'Environnement. Oran (Algérie). 2010.
  • Increasing Reliability of Embedded Systems in a SysML Centered MBSE Process: Application to LEA Project R. Cressent, P. David, V. Idasiak, and F. Kratz In Proceedings of 1st International Workshop on Model Based Engineering for Embedded Systems Design. Dresden (Germany). 2010.
  • Propositions pour l'Ingénierie Sûre L. Dumont, and G. Blaison In Actes du congrès Lambda-Mu'17. La Rochelle (France). Octobre, 2010.
  • MéDISIS, l'intégration des analyses de SdF aux processus d'Ingénierie Système Basée sur les Modèles P. David, V. Idasiak, and F. Kratz In Actes du congrès Lambda-Mu'17. La Rochelle (France). Octobre, 2010.
  • Analyse dysfonctionnelle sous l'outil Safety Designer d'une boucle de pilotage du lanceur Ariane 5 A.-E. Ercilbengoa, T. Hutinet, and R. Schoenig In Actes du congrès Lambda-Mu'17. La Rochelle (France). Octobre, 2010.
  • Expériences de couplages de modèles AltaRica avec des interfaces métiers B. Perrot, T. Prosvirnova, A. Rauzy, J.-P. Sahut d'Izarn, and R. Schoenig In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). La Rochelle (France). October, 2010.
  • Introduction au nouveau langage pour la sûreté de fonctionnement : AltaRica nouvelle génération B. Perrot, T. Prosvirnova, A. Rauzy, and J.-P. Sahut d'Izarn In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). La Rochelle (France). October, 2010.
  • Arbres de défaillance dynamiques : une bibliothèque pour la nouvelle génération d'AltaRica B. Perrot, T. Prosvirnova, A. Rauzy, and J.-P. Sahut d'Izarn In E. Fadier ed., Actes du congrès LambdaMu'17 (actes électroniques). La Rochelle (France). October, 2010.

2009

Theses

  • Analyse de Sécurité multi-systèmes R. Bernard Thèse de doctorat. Université de Bordeaux. November, 2009.

Conferences

  • AltaRica and Event-B Models for Operational Safety Analysis: Unmanned Aerial Vehicle Case Study J.-C. Chaudemar, E. Bensana, C. Castel, and C. Seguin In Proceedings FMT'09. London (England). February, 2009.
  • Automating the synthesis of AltaRica Data-Flow models from SysML P. David, V. Idasiak, and F. Kratz In Proceedings of European Safety and Reliability Conference, ESREL 2009. Praha (Czech Republic). 2009.
  • Performance Modeling of a Surveillance Mission X. Quayzin, and E. Arbaretier In Proceedings of the European Safety and Reliability Conference, ESREL 2009. Praha (Czech Republic). September, 2009.
  • Distributed and reconfigurable architecture for flight control system M. Sghairi, A. De Bonneval, Y. Crouzet, J.-J. Aubert, P. Brot, and Y. Laarouchi In Proceedings of 28th Digital Avionics Systems Conference (DASC'09). Orlando (Etats-Unis). 2009.

2008

Theses

  • Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels S. Humbert Thèse de doctorat. Université de Bordeaux I. April, 2008.
  • Contribution à l'accélération de la simulation stochastique sur des modèles AltaRica Data Flow M.T. Khuu Thèse de doctorat. Université de la Méditerranée (Aix-Marseille II). 2008.
  • Allocation sûre dans les systèmes aéronautiques : modèlisation, vérification et génération L. Sagaspe Thèse de doctorat. Université de Bordeaux. December, 2008.

Journals

  • Guarded Transition Systems: a new States/Events Formalism for Reliability Studies A. Rauzy In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 222, Num. 4, pp 495–505, 2008.

Conferences

  • Sûreté de Fonctionnement et Analyse de Performances E. Arbaretier, Z. Brik, and A. Rauzy In A. Lannoy ed., Actes du congrès LambdaMu'16 (actes électroniques). Avignon (France). October, 2008.
  • Constraint-based Design of Avionics Platform - Preliminary Design Exploration P. Bieber, J.-P. Bodeveix, C. Castel, D. Doose, M. Filali, F. Minot, and C. Pralet In Proceedings of 4th European Congress Embedded Real Time Software, ERTS 2008. Toulouse (France). January, 2008.
  • Integration of formal fault analysis in ASSERT: Case studies and lessons learnt P. Bieber, J.-P. Blanquart, G. Durrieu, D. Lesens, J. Lucotte, F. Tardy, M. Turin, C. Seguin, and E. Conquet In Proceedings of 4th European Congress Embedded Real Time Software, ERTS 2008. Toulouse (France). January, 2008.
  • Altarica refinement for Heterogeneous Granularity Model Analysis R. Bernard, S. Metge, F. Pouzolz, P. Bieber, A. Griffault, and M. Zeitoun In Actes du congrès Lambda-Mu'16. Avignon (France). October, 2008.
  • Towards a better interaction between design and dependability analysis: FMEA derived from UML/SysML models P. David, V. Idasiak, and F. Kratz In Proceedings of European Safety and Reliability Conference, ESREL 2008 and 17th SRA-EUROPE annual conference. Valencia (Spain). 2008.
  • Vers la génération de modèles de sûreté de fonctionnement X. Dumas, C. Pagetti, L. Sagaspe, P. Bieber, and P. Dhaussy In 2ième Conférence Francophone sur les Architectures Logicielles (CAL 2008). Montréal (Canada). March, 2008.
  • Déclinaison d'exigences de sécurité pour les logiciels à partir de modèles formels du système S. Humbert, C. Castel, C. Seguin, P. Darfeuil, J.-M. Bosc, E. Focone, and Y. Dutuit In Actes du congrès Lambda-Mu'16. Avignon (France). Octobre, 2008.
  • Deriving Safety Software Requirements from an AltaRica System Model S. Humbert, C. Seguin, C. Castel, and J.-M. Bosc In Proceedings SAFECOMP. Newcastle upon Tyne (England). Vol. 5219, pp 320–331, September, 2008.

2007

Journals

  • Assessment of Large Automatically Generated Fault Trees by means of Binary Decision Diagrams J. Gauthier, X. Leduc, and A. Rauzy In Journal of Risk and Reliability. Professional Engineering Publishing. Vol. 221, Num. 2, pp 95–105, 2007.

Conferences

  • Experiments in model-based safety analysis: flight controls R. Bernard, J.-J. Aubert, P. Bieber, C. Merlini, and S. Metge In Proceedings of IFAC workshop on Dependable Control of Discrete Systems. Cachan (France). 2007.
  • Déclinaison d'exigences de sécurité du système vers le logiciel, assistée par des modèles formels S. Humbert, J.-M. Bosc, C. Castel, C. Seguin, P. Darfeuil, E. Focone, and Y. Dutuit In Actes du congrès Approches Formelles dans l'Assistance au Développement de Logiciels AFADL. Namur (Belgique). June, 2007.
  • Constraint-Based Design and Allocation of Shared Avionics Resources L. Sagaspe, and P. Bieber In 26th AIAA-IEEE Digital Avionics Systems Conference. Dallas (USA). 2007.

2006

Journals

  • The AltaRica Data-Flow Language in Use: Assessment of Production Availability of a MultiStates System M. Boiteau, Y. Dutuit, A. Rauzy, and J.-P. Signoret In Reliability Engineering and System Safety. Elsevier. Vol. 91, pp 747–755, 2006.

Conferences

  • ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects O. Akerlund, P. Bieber, E. Boede, M. Bozzano, M. Bretschneider, C. Castel, A. Cavallo, M. Cifaldi, J. Gauthier, A. Griffault, O. Lisagor, A. Luedtke, S. Metge, C. Papadopoulos, T. Peikenkamp, L. Sagaspe, C. Seguin, H. Trivedi, and L. Valacca In Proceedings of 3rd European Congress Embedded Real Time Software, ERTS 2006. 2006.
  • Systèmes d'information industriels et intégration des modèles pour l'Analyse de Risques. Z. Brik, and E. Arbaretier In Actes du congrès Lambda-Mu'15. Lille (France). 2006.
  • Comparaison des langages de modélisation AltaRica et Figaro M. Bouissou, and C. Seguin In Actes du congrès Lambda Mu'15. Lille (France). Octobre, 2006.
  • Méthodologie de modélisation AltaRica pour la sûreté de fonctionnement d'un système de propulsion hélicoptère incluant une partie logicielle S. Humbert, C. Castel, C. Seguin, P. Darfeuil, J.-M. Bosc, and Y. Dutuit In Actes du congrès Lambda-Mu'15. Lille (France). Octobre, 2006.
  • Towards Safety Analysis of Highly Integrated Technologically Heterogeneous Systems - A Domain-Based Approach for Modelling System Failure Logic O. Lisagor, M. Pretzer, C. Seguin, D.J. Pumfrey, F. Iwu, and T. Peikenkamp In Proceedings 24th International System Safety Conference (ISSC). Albuquerque NM (USA). August, 2006.

2005

Theses

  • Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement C. Kehren Thèse de doctorat. Ecole Nationale Supérieure de l'Aéronautique et de l'Espace (SUPAERO). 2005.
  • Dépliage du modèle en langage AltaRica D.T. NGuyen Mémoire de fin d'étude. Institut de la Francophonie pour l'Informatique et LaBRI. Université Bordeaux I. 2005.

2004

Theses

  • Extension temps réel du langage AltaRica C. Pagetti Thèse de doctorat. École Centrale de Nantes et de l'Université de Nantes. 2004.

Journals

  • A timed extension for AltaRica F. Cassez, C. Pagetti, and O. Roux In Fundamenta Informaticae. IOS Press. Vol. 62, pp 291–332, 2004.

Conferences

  • Safety Assessment with Altarica Lessons learnt based on two aircraft system studies P. Bieber, C. Bougnol, C. Castel, J.-P. Heckmann, C. Kehren, S. Metge, and C. Seguin In IFIP International Federation for Information Processing. Vol. 156, pp 505–510, 2004.
  • Analyse des exigences de sureté d'un système électrique par Model-Checking P. Bieber, C. Castel, C. Kehren, and C. Seguin In Actes du congrès Lambda-Mu'14. Bourges (France). October, 2004.
  • Vérification Formelle des modèles AltaRica A. Griffault, G. Point, and A. Vincent In Hermès ed., Actes du Congrès de maîtrise des risques et de sûreté de fonctionnement, Lambda-Mu'14. Bourges (France). October, 2004.
  • The Mec 5 model-checker A. Griffault, and A. Vincent In Proceedings of the 16th International Conference on Computed Aided Verification (CAV 2004), Boston, MA, USA. Vol. 3114, pp 488–491, July, 2004.
  • Architecture Patterns for Safe Design C. Kehren, C. Seguin, P. Bieber, C. Castel, C. Bougnol, J.-P. Heckmann, and S. Metge In AAAF 1st Complex and Safe Systems Engineering Conference (CS2E 2004). 2004.
  • Advanced simulation capabilities for Multi-systems with Altarica C. Kehren, C. Seguin, P. Bieber, C. Castel, C. Bougnol, J.-P. Heckmann, and S. Metge In International System Safety Conference 2004. 2004.
  • Génération d'un Simulateur Stochastique Guidée par la Description du Système M.T. Khuu In Proceedings of Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies. Hanoï (Vietnam). pp 103–106, 2004.
  • Disponibilité de production: les nouveaux outils sont arrivés J.-P. Signoret, M. Boiteau, A. Rauzy, and P. Thomas In Actes du congrès LambdaMu'14. October, 2004.

2003

Theses

  • Conception et réalisation d'un vérificateur de modèles AltaRica A. Vincent Thèse de doctorat. Université de Bordeaux. December, 2003.

Conferences

  • ESACS: an integrated methodology for design and safety analysis of complex systems M. Bozzano, A. Villafiorita, O. Akerlund, P. Bieber, C. Bougnol, E. Boede, M. Bretschneider, A. Cavallo, C. Castel, M. Cifaldi, A. Cimatti, A. Griffault, C. Kehren, B. Lawrence, A. Luedtke, S. Metge, C. Papadopoulos, R. Passarello, T. Peikenkamp, P. Persson, C. Seguin, L. Trotta, L. Valacca, and G. Zacco In T. Bedford and P.H.A.J.M. van Gelder ed., Proceedings of European Safety and Reliability Conference, ESREL 2003. Maastricht (the Netherlands). pp 237–245, 2003.
  • Vérification de modèles AltaRica A. Griffault, and A. Vincent In Actes de la conférence MAJESTIC 2003. Marseille (France). Octobre, 2003.
  • Conception et validation d'un protocole avec le modèle AltaRica A. Griffault In Jean-Marc Jézéquel ed., AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels. pp 293-307, January, 2003.
  • Hierarchical Modeling and Verification of Timed Systems in Timed AltaRica C. Pagetti, F. Cassez, and O. Roux In Workshop on Formal Aspects of Component Software, FACS 2003. Pisa (Italy). pp 63–80, 2003.
  • Une extension temporisée d'AltaRica C. Pagetti In D. Méry and N. Rezg and X. Xie ed., Actes du Congrès Modélisation des Systèmes Réactifs, MSR'03. 2003.

2002

Journals

  • Modes Automata and their Compilation into Fault Trees A. Rauzy In Reliability Engineering and System Safety. Elsevier. Vol. 78, pp 1–12, 2002.

Conferences

  • Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System P. Bieber, C. Castel, and C. Seguin In Proceedings Fourth European Dependable Computing Conference (EDCC4). Toulouse (France). pp 19–31, October, 2002.
  • Modèles formels pour l'évaluation de la sûreté de fonctionnement des architectures logicielles d'avionique modulaire intégrée C. Castel, and C. Seguin In Actes de la Conférence Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL. Nancy (France). Juin, 2002.

2000

Theses

  • AltaRica: Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement G. Point Thèse de doctorat. LaBRI – Université Bordeaux I. Janvier, 2000.

Journals

  • The AltaRica language and its semantics A. Arnold, A. Griffault, G. Point, and A. Rauzy In Fundamenta Informaticae. Vol. 34, pp 109–124, 2000.

1999

Journals

  • AltaRica: Constraint automata as a description language G. Point, and A. Rauzy In Journal Européen des Systèmes Automatisés. Hermès. Vol. 33, Num. 8–9, pp 1033–1052, 1999.

Conferences

  • AltaRica: Langage de modélisation par automates à contraintes G. Point, and A. Rauzy In Actes du 2ième congrès sur la modélisation de systèmes réactifs, MSR'99. 1999.
  • Compilation of constraint automata into fault trees A. Rauzy, and R. Winckell In Proceedings of the European Safety and Reliability Association Conference, ESREL'99. Vol. 2, pp 815–821, 1999.

1998

Theses

  • Compilation du Langage AltaRica vers les fonctions booléennes R. Winckell Mémoire de DEA. LaBRI – Université Bordeaux I. 1998.

Conferences

  • Le langage AltaRica G. Point, P. Thomas, S. Lajeunesse, A. Rauzy, and J.-P. Signoret In Actes du 11ième colloque national de Fiabilité et Maintenabilité, Lambda-Mu'11. pp 119–125, 1998.
  • The AltaRica Language J.P. Signoret, S. Lajeunesse, G. Point, P. Thomas, A. Griffault, and A. Rauzy In Lydersen and Hansen and Sandtorv ed., Proceedings of European Safety and Reliability Conference, ESREL'98. 1998.