Systems Dependability Assessment PDF Download

Author: Jean-Francois Aubry
Publisher: John Wiley & Sons
ISBN: 1119262127
Category : Mathematics
Languages : en
Pages : 282

View

Book Description
Petri Nets were defined for the study of discrete events systems and later extended for many purposes including dependability assessment. In our knowledge, no book deals specifically with the use of different type of PN to dependability. We propose in addition to bring a focus on the adequacy of Petri net types to the study of various problems related to dependability such as risk analysis and probabilistic assessment. In the first part, the basic models of PN and some useful extensions are briefly recalled. In the second part, the PN are used as a formal model to describe the evolution process of critical system in the frame of an ontological approach. The third part focuses on the stochastic Petri Nets (SPN) and their use in dependability assessment. Different formal models of SPN are formally presented (semantics, evolution rules...) and their equivalence with the corresponding class of Markov processes to get an analytical assessment of dependability. Simplification methods are proposed in order to reduce the size of analytical model and to make it more calculable. The introduction of some concepts specific to high level PN allows too the consideration of complex systems. Few applications in the field of the instrumentation and control (l&C) systems, safety integrated systems (SIS) emphasize the benefits of SPN for dependability assessment.

Author: Grigore Gogu
Publisher: Springer Science & Business Media
ISBN: 940170161X
Category : Technology & Engineering
Languages : en
Pages : 541

View

Book Description
This book presents recent advances in the integration and the optimization of product design and manufacturing systems. The book is divided into 3 chapters corresponding to the following three main topics : - optimization of product design process (mechanical design process, mass customization, modeling the product representation, computer support for engineering design, support systems for tolerancing, simulation and optimization tools for structures and for mechanisms and robots), -optimization of manufacturing systems (multi-criteria optimization and fuzzy volumes, tooth path generation, machine-tools behavior, surface integrity and precision, process simulation), - methodological aspects of integrated design and manufacturing (solid modeling, collaborative tools and knowledge formalization, integrating product and process design and innovation, robust and reliable design, multi-agent approach in VR environment). The present book is of interest to engineers, researchers, academic staff, and postgraduate students interested in integrated design and manufacturing in mechanical engineering.

Author: ROBOAM Xavier
Publisher: Lavoisier
ISBN: 2746281929
Category :
Languages : en
Pages : 434

View

Book Description
Le contexte actuel mène les concepteurs vers des systèmes toujours plus complexes et performants, intégrant un grand nombre d’éléments souvent fortement couplés et appartenant à divers champs de la physique énergétique. Après une présentation de l’approche systémique de conception, ce premier volume rassemble les points-clés permettant de modéliser et de caractériser efficacement des systèmes multiphysiques (formalismes graphiques, Bond Graphs, GIC/REM), d’analyser la qualité et la stabilité des réseaux et de contribuer à la robustesse en conception intégrée. La gestion de l’énergie des systèmes énergétiques hybrides incluant du stockage est également largement détaillée et différentes méthodes statistiques permettant de dimensionner les réseaux ou de caractériser leur sûreté de fonctionnement sont proposées (par exemple, la méthode de Monte-Carlo). Les techniques d’analyse, de synthèse et de gestion présentées dans cet ouvrage participent à l’optimisation des systèmes énergétiques. Elles sont complétées par des approches spécifiquement orientées vers la conception par optimisation, objets du second volume.

Author: Mohamed Haddar
Publisher: Springer Science & Business Media
ISBN: 3642371434
Category : Technology & Engineering
Languages : en
Pages : 653

View

Book Description
The 5th International Congress on Design and Modeling of Mechanical Systems (CMSM) was held in Djerba, Tunisia on March 25-27, 2013 and followed four previous successful editions, which brought together international experts in the fields of design and modeling of mechanical systems, thus contributing to the exchange of information and skills and leading to a considerable progress in research among the participating teams. The fifth edition of the congress (CMSM ́2013), organized by the Unit of Mechanics, Modeling and Manufacturing (U2MP) of the National School of Engineers of Sfax, Tunisia, the Mechanical Engineering Laboratory (MBL) of the National School of Engineers of Monastir, Tunisia and the Mechanics Laboratory of Sousse (LMS) of the National School of Engineers of Sousse, Tunisia, saw a significant increase of the international participation. This edition brought together nearly 300 attendees who exposed their work on the following topics: mechatronics and robotics, dynamics of mechanical systems, fluid structure interaction and vibroacoustics, modeling and analysis of materials and structures, design and manufacturing of mechanical systems. This book is the proceedings of CMSM ́2013 and contains a careful selection of high quality contributions, which were exposed during various sessions of the congress. The original articles presented here provide an overview of recent research advancements accomplished in the field mechanical engineering.

Author: IEEE Control Systems Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN:
Category : Technology & Engineering
Languages : en
Pages : 1204

View

Book Description

Author: ROBOAM Xavier
Publisher: Lavoisier
ISBN: 2746281937
Category :
Languages : en
Pages : 306

View

Book Description
Le contexte économique impose des systèmes toujours plus performants, minimisant coûts d’investissement et de possession. Si les méthodes d’analyse, de synthèse et de gestion présentées dans le premier volume Conception systémique pour la conversion d’énergie électrique 1 participent à l’optimisation des systèmes énergétiques, les techniques traitées dans cet ouvrage proposent d’aller encore plus loin dans la performance. La complexité de systèmes multidisciplinaires à fort degré de couplage augmentant, le processus de conception par optimisation consistant à coupler un modèle à un algorithme d’optimisation au sein d’un environnement logiciel devient dès lors indispensable. Ce volume rassemble les points-clés permettant de représenter efficacement et de façon compacte l’environnement système et les profils de mission, mais également les méthodes, modèles et outils dédiés à l’optimisation. Les approches multiniveaux de conception et l’optimisation technico-économique des réseaux électriques sont particulièrement détaillées.

Author: Denis Cavallucci
Publisher: Springer
ISBN: 3030024563
Category : Computers
Languages : en
Pages : 350

View

Book Description
This book constitutes the refereed proceedings of the 18th International TRIZ Future Conference on Automated Invention for Smart Industries, held in Strasbourg, France, in October 2018 and sponsored by IFIP WG 5.4. The 27 full papers presented were carefully reviewed and selected from numerous submissions. They are organized in seven thematic sections: teaching of TRIZ; TRIZ and knowledge represenations; biomimicry; strategic company management; association between TRIZ and other methods; TRIZ and the functional approach; and the use of patent or text populations as a data source.

Author: HARDY Karim
Publisher: Lavoisier
ISBN: 2743064773
Category : Industrial safety
Languages : en
Pages : 130

View

Book Description
Synthèse unique en langue française, Modéliser les accidents et les catastrophes industrielles : la méthode STAMP est le fruit d’un travail de recherche sur les modèles d’accident au sein des systèmes, qu’ils soient techniques et/ou sociaux. Cet ouvrage décrit les principales grandes théories, modèles et approches mobilisables pour comprendre, évaluer et mettre en place une démarche de prévention des accidents et de gestion des risques au sein de systèmes sociotechniques. Il présente ainsi tous les éléments nécessaires à la compréhension des modèles d’accident : définitions, objectifs, cadres théoriques et scientifiques, limites et développements, etc... L’ouvrage aborde l’accident selon une approche systémique, notamment selon la théorie générale des systèmes de Bertalanffy. Puis il propose une étude du modèle STAMP et de la technique d’analyse des dangers STPA à travers sa mise en application au sein d’un système socio-technique industriel de traitement de sédiments contaminés, en vue d’en évaluer la sécurité et d’en améliorer la performance. Clair et concis, il permet ainsi : de connaître les principaux modèles d’accident existants et de les comprendre ; d’appréhender la modélisation d’accident comme un outil essentiel de compréhension et d’analyse des interactions entre les différents éléments d’un système et donc de son comportement ; d’acquérir et d’approfondir ses connaissances sur le modèle d’accident STAMP ainsi que sur son application au sein de systèmes socio-techniques. Modéliser les accidents et les catastrophes industrielles : la méthode STAMP s’adresse à tous les professionnels de la sécurité souhaitant consolider leur connaissance des évaluations de la sécurité ou des enquêtes sur les accidents au sein des systèmes socio-techniques.

Author: R.H. Matthews
Publisher: CRC Press
ISBN: 135108478X
Category : Business & Economics
Languages : en
Pages : 880

View

Book Description
This book is a collection of papers presented at the International Conference on Reliability Techniques and their Application.Reliability 91, 10-12 June 1991 was held at the Royal Lancaster Hotel, London, UK, organised by SRD (the Safety and Reliability Consultants of AEA Technology) and the institution of Quality Assurance (IQA), and supported by the European Safety and Reliability Association (ESRA).

Author: PROCACCIA Henri
Publisher: Lavoisier
ISBN: 2743018933
Category :
Languages : en
Pages : 367

View

Book Description
L'analyse probabiliste des risques technologiques et industriels est maintenant bien acceptée par les scientifiques et les autorités réglementaires. Cette analyse a été utilisée dans le domaine de la conception, de l'exploitation et de la maintenance des installations industrielles comme les installations à risques Seveso (chimie, pétrochimie, armement, transport), ou dans les domaines de haute technologie tels le spatial et le nucléaire où la réglementation impose justement l'élaboration d'un rapport de sûreté dès la conception et un suivi des résultats pendant toute la durée d'exploitation de l'installation. Cet ouvrage présente très simplement les différentes démarches de l'analyse des risques industriels, leur intérêt, leurs limites, leurs points communs et leur complémentarité, en partant d'un événement indésirable aléatoire ou, ce qui est plus complexe, d'un événement dépendant du temps. Les parades possibles dans ce dernier cas sont alors optimisées de façon probabiliste en fonction de différents critères d'intérêt. La principale ambition de ce livre est d'être abordable au néophyte en statistique, comme au spécialiste en ce domaine : il part du plus simple pour aller vers le plus compliqué. Il démontre de façon détaillée chacun des sujets abordés et les agrémente systématiquement d'exemples. Des applications industrielles concrètes illustrent enfin l'utilisation pratique des méthodes proposées. Ce livre s'adresse aux concepteurs, exploitants, universitaires et étudiants concernés par l'analyse probabiliste, le retour d'expérience ou l'expertise.