Search results for "AltaRica"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
116	Sophie Humbert, Christel Seguin, Charles Castel, Jean-Marc Bosc	Deriving Safety Software Requirements from an AltaRica System Model.	SAFECOMP	2008	DBLP DOI BibTeX RDF	System safety requirements, software functional requirement, failure propagation models, AltaRica languages and tools, system control of helicopter turboshaft engines
88	Alain Griffault, Aymeric Vincent	The Mec 5 Model-Checker.	CAV	2004	DBLP DOI BibTeX RDF	AltaRica, model-checking, BDDs, calculus
83	Pierre Bieber, Charles Castel, Christel Seguin	Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.	EDCC	2002	DBLP DOI BibTeX RDF
56	Benjamin Aupetit	Calcul d'indicateurs de sûreté de fonctionnement de modèles AltaRica 3.0 par simulation stochastique. (Assessment of reliability indicators of AltaRica 3.0 models by stochastic simulation).		2020	RDF
56	Tatiana Prosvirnova	AltaRica 3.0: a Model-Based approach for Safety Analyses. (AltaRica 3.0 : une appoche orientée modèles pour la Sûreté de Fonctionnement).		2014	RDF
56	Claire Pagetti	Extension temps réel d'AltaRica. (Real time extension of AltaRica).		2004	RDF
56	Aymeric Vincent	Conception et réalisation d'un vérificateur de modèles AltaRica. (Conception and realisation of a model checker for AltaRica models).		2003	RDF
56	Gérald Point	AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. (AltaRica: Contribution to the unification of formal methods and safety assessment).		2000	RDF
28	Ximeng Huang, Jun Hu, Lisong Wang	Design and Implementation for AltaRica 3.0 Model Visualization Method Based on ANTLR.	IoTAAI	2023	DBLP DOI BibTeX RDF
28	Wenru Wang, Xiaojie Xu, Jian Hu, Xinghai Lu, Xiaohua Shi	Optimizing an AltaRica simulator.	Concurr. Comput. Pract. Exp.	2022	DBLP DOI BibTeX RDF
28	Tatiana Prosvirnova, Christel Seguin, Christophe Frazza, Michel Batteux, Xavier de Bossoreille, Frédéric Deschamps, Jean Gauthier, Estelle Saez	Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica.	IMBSA	2022	DBLP DOI BibTeX RDF
28	Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy	Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0.	IMBSA	2022	DBLP DOI BibTeX RDF
28	Yanhong Dong, Jun Hu, Lisong Wang, Ximeng Huang	A Transformation Framework From SysML to AltaRica Models for System Safety Analysis.	EITCE	2022	DBLP DOI BibTeX RDF
28	Wenru Wang, Xiaohua Shi, Xinghai Lu	A safety simulation analysis algorithm for Altarica language.	Concurr. Comput. Pract. Exp.	2021	DBLP DOI BibTeX RDF
28	Zhen Li 0020, Zhengqi Jiang, Dongsheng Wang 0006, Zhaobin Wang	System Modeling and Fault Tree Analysis Based on AltaRica.	IEEE Access	2020	DBLP DOI BibTeX RDF
28	Nga Nguyen 0001, Faïda Mhenni, Jean-Yves Choley	A Study on SysML and AltaRica Models Transformation.	SysCon	2020	DBLP DOI BibTeX RDF
28	Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy	AltaRica 3.0 in ten modelling patterns.	Int. J. Crit. Comput. Based Syst.	2019	DBLP DOI BibTeX RDF
28	Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille	Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency.	IMBSA	2019	DBLP DOI BibTeX RDF
28	Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy	Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0.	IMBSA	2019	DBLP DOI BibTeX RDF
28	Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Liu Yang	Reliability Assessment of Phased-Mission Systems with AltaRica 3.0.	ICSRS	2018	DBLP DOI BibTeX RDF
28	Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier	A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.	IMBSA	2017	DBLP DOI BibTeX RDF
28	Julien Brunel, Peter H. Feiler, Jérôme Hugues, Bruce A. Lewis, Tatiana Prosvirnova, Christel Seguin, Lutz Wrage	Performing Safety Analyses with AADL and AltaRica.	IMBSA	2017	DBLP DOI BibTeX RDF
28	Michael Lipaczewski, Frank Ortmeier, Tatiana Prosvirnova, Antoine Rauzy, Simon Struck	Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica.	Reliab. Eng. Syst. Saf.	2015	DBLP DOI BibTeX RDF
28	Tatiana Prosvirnova, Antoine Rauzy	Automated generation of minimal cut sets from AltaRica 3.0 models.	Int. J. Crit. Comput. Based Syst.	2015	DBLP DOI BibTeX RDF
28	Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta	Safety assessment of AltaRica models via symbolic model checking.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
28	Shaojun Li, Su Duo	A Practicable MBSA Modeling Process Using Altarica.	IMBSA	2014	DBLP DOI BibTeX RDF
28	Abraham Cherfi, Antoine Rauzy, Michel Leeman	AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms.	IMBSA	2014	DBLP DOI BibTeX RDF
28	Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy	Safety Assessment of an Electrical System with AltaRica 3.0.	IMBSA	2014	DBLP DOI BibTeX RDF
28	Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy, Leïla Kloul	The AltaRica 3.0 project for model-based safety assessment.	INDIN	2013	DBLP DOI BibTeX RDF
28	Marco Bozzano, Alessandro Cimatti, Oleg Lisagor, Cristian Mattarei, Sergio Mover, Marco Roveri, Stefano Tonetta	Symbolic Model Checking and Safety Assessment of Altarica models.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
28	Marie Boiteau, Yves Dutuit, Antoine Rauzy, Jean-Pierre Signoret	The AltaRica data-flow language in use: modeling of production availability of a multi-state system.	Reliab. Eng. Syst. Saf.	2006	DBLP DOI BibTeX RDF
28	Franck Cassez, Claire Pagetti, Olivier H. Roux	A Timed Extension for ALTARICA.	Fundam. Informaticae	2004	DBLP BibTeX RDF
28	Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin	Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy	The AltaRica Formalism for Describing Concurrent Systems.	Fundam. Informaticae	1999	DBLP DOI BibTeX RDF