75documents trouvés
Illustration of the information model for complex system modeling: from requirement to V&V
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : Complex Systems Design & Management ( CSD&M ) 2012 du 12 décembre au 14 décembre 2012, Paris (France), 2012, 10p. , N° 12622
Lien : http://hal.archives-ouvertes.fr/hal-00766104
Diffusable
Plus d'informations
Abstract
This paper presents an illustration of the utilization of an information model through a complex system. The information model is in support of a model driven methodology of complex system design. It allows addressing requirements definition and their traceability towards the solution and the Verification and Validation (V&V) elements. The work considers especially an important system propriety which is safety. SysML language is used to establish the information model thanks to the different available diagrams which make SysML as the language for systems engineering. The system considered is the braking system of an aircraft.
Empowering graph model of game theory for system design
V.SHUKLA, G.AURIOL, C.BARON, H.DEMMOU
ISI
Manifestation avec acte : International Conference on Software and Systems Engineering and their Applicat ICSSEA 2012 24 du 23 octobre au 25 octobre 2012, Paris (France), 2012, 5p. , N° 12280
Diffusable
128428Safety evaluation and management of complex systems: a system engineering approach
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Revue Scientifique : Concurrent Engineering: Research and Applications, Vol.20, N°2, pp.149-159, Juin 2012 , N° 11297
Lien : http://hal.archives-ouvertes.fr/hal-00766112
Diffusable
Plus d'informations
Abstract
This paper addresses the problem of safety evaluation of complex systems. It proposes an original and rigorous approach that integrates safety analysis in system engineering processes. The approach is based on system engineering (SE) principles and uses the famous industrial SE standard ANSI/EIA-632. The objective is to help designers and safety engineers in safety management of complex systems. For an efficient design, the model driven design is adopted through the definition of an information model. The system language SysML (System Modeling Language) is used to address requirements definition and their traceability towards the solution and the Verification and Validation (V&V) elements. This common language allows sharing information between the different persons involved in the design project like system engineer and safety engineer.
Approche pour la déclinaison des exigences de sûreté des systèmes complexes
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : Congrès International de Génie Industriel (CIGI 2011), Saint Sauveur (Canada), 12-14 Octobre 2011, 8p. , N° 11299
Diffusable
125500Combining FMECA and fault trees for declining safety requirements of complex systems
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : European Safety & Reliability Conference (ESREL 2011), Troyes (France), 18-22 Septembre 2011, 8p. , N° 10249
Diffusable
126076ESA_Petri net: Dynamis reliability analysis tool
R.GUILLERM, H.DEMMOU
ISI
Revue Scientifique : International Journal of Adaptive and Innovative Systems (IJAIS), Vol.1, N°3-4, pp.201-215, Décembre 2010 , N° 10127
Diffusable
Plus d'informations
Abstract
This paper presents a new version of critical (feared) scenarios derivation tool ESA PetriNet (extraction scenarios algorithm from Petri net) available from: http://www.laas.fr/ESA. ESA PetriNet allows to derive scenarios leading to critical (feared) situation. In the past version of the tool hybrid aspect (both discrete and continuous dynamic) of system is tacked into account by temporal abstraction. In the version presented in this paper, the system model is given by a hybrid Petri net (differential predicate-transition Petri net) and the hybrid model is directly considered (without temporal abstraction). The algorithm implemented deals with both continuous and discrete dynamics. Furthermore, generated scenarios are minimal (only necessary events). Only necessary information is provided to designer.
Information model for model driven design of complex system based on system engineering approach
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : International Conference onComplex Systems Design and Management (CSDM 2010), Paris (France), 27-29 Octobre 2010, pp.99-111 , N° 10126
Lien : http://hal.archives-ouvertes.fr/hal-00766209
Diffusable
Plus d'informations
Abstract
The aim of this paper is to propose a rigorous and complete design framework for complex system based on system engineering (SE) principles. The SE standard EIA-632 is used to guide the approach. Within this framework, two aspects are presented. The first one concerns the integration of safety requirements and management in system engineering process. The objective is to help designers and engineers in managing safety of complex systems. The second aspect concerns model driven design through the definition of an information model. This model is based on SysML (System Modeling Language) to address requirements definition and their traceability towards the solution and the Verification and Validation (V&V) elements.
Safety evaluation of complex system. Integration in system engineering process
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : IEEE International Systems Conference 2010, San Diego (USA), 5-8 Avril 2010, 4p. , N° 10130
Diffusable
123855Engineering dependability requirements for complex systems - A new information model definition
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Manifestation avec acte : IEEE international Systems Conference, San Diego (USA) , 5-8 Avril 2010, pp.149-152 , N° 10129
Diffusable
121997Modèle d'information pour le gestion des exigences de sûreté dans un cadre d'ingéniérie système
R.GUILLERM, H.DEMMOU, N.SADOU
ISI, SUPELEC Rennes
Rapport LAAS N°10128, Février 2010
Diffusable
120642