Dependability of Critical Computer Systems 1, F. J. Redmill
Автор: Wojciech Zamojski; Jacek Mazurkiewicz; Jaros?aw Su Название: New Results in Dependability and Computer Systems ISBN: 3319009443 ISBN-13(EAN): 9783319009445 Издательство: Springer Рейтинг: Цена: 243800.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: DepCoS - RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wroclaw University of Technology, since 2006.
Автор: Pierre-Jacques Courtois Название: Justifying the Dependability of Computer-based Systems ISBN: 1849967946 ISBN-13(EAN): 9781849967945 Издательство: Springer Рейтинг: Цена: 204040.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book provides a framework for the justification of the dependability of a computer-based system and explores fundamental aspects of safety evaluation, such as the nature of claims and various ways to deal with different types of uncertainty.
Автор: Jean-Fran?§ois Aubry, Nicolae Brinzei, Mohammed-Habib Mazouni Название: Systems Dependability Assessment: Benefits of Petri Net Models ISBN: 1848219911 ISBN-13(EAN): 9781848219915 Издательство: Wiley Рейтинг: Цена: 146730.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
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.
Автор: J?rgen Gausemeier; Franz Josef Rammig; Wilhelm Sch Название: Dependability of Self-Optimizing Mechatronic Systems ISBN: 3662511223 ISBN-13(EAN): 9783662511220 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume provides readers with detailed protocols for assessing and improving the dependability of mechatronic systems. It summarizes more than ten years` research into state-of-the-art self-optimizing concepts and structures in mechanical engineering.
Автор: J?rgen Gausemeier; Franz Josef Rammig; Wilhelm Sch Название: Dependability of Self-Optimizing Mechatronic Systems ISBN: 3642537413 ISBN-13(EAN): 9783642537417 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume provides readers with detailed protocols for assessing and improving the dependability of mechatronic systems. It summarizes more than ten years` research into state-of-the-art self-optimizing concepts and structures in mechanical engineering.
Автор: Jovan M. Nahman Название: Dependability of Engineering Systems ISBN: 3642074693 ISBN-13(EAN): 9783642074691 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book is intended to provide the interested reader with basic information on various issues of the dependability analysis and evaluation of engineering systems with the principal goal to help the reader perform such an analysis and evaluation.
DepCoS - RELCOMEX is an annual series of conferences organized by Wroclaw University of Technology to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. In contrast to classic analyses which were concentrated on reliability of technical resources and structures built from them, dependability is based on multi-disciplinary approach to theory, technology and maintenance of a system considered to be a multifaceted amalgamation of technical, information, organization, software and human (users, administrators, supervisors, etc.) resources. Diversity of processes being realized (data processing, system management, system monitoring, etc.), their concurrency and their reliance on in-system intelligence often severely impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods.
This book presents the proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, which took place in Brun w Palace, Poland, from 30th June to 4th July, 2014. The articles selected for this volume illustrate the variety of topics that must be included in system dependability analysis: tools, methodologies and standards for modelling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks or management of transportation networks.
Автор: Wojciech Zamojski; Jaros?aw Sugier Название: Dependability Problems of Complex Information Systems ISBN: 3319089633 ISBN-13(EAN): 9783319089638 Издательство: Springer Рейтинг: Цена: 130610.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This monograph presents original research results on selected problems of dependability in contemporary Complex Information Systems (CIS).
Автор: F.J. Redmill Название: Dependability of Critical Computer Systems ISBN: 1851663819 ISBN-13(EAN): 9781851663811 Издательство: Springer Рейтинг: Цена: 229200.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: P.G. Bishop Название: Dependability of Critical Computer Systems ISBN: 1851665447 ISBN-13(EAN): 9781851665440 Издательство: Springer Рейтинг: Цена: 192860.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Ajit Kumar Verma; Srividya Ajit; Manoj Kumar Название: Dependability of Networked Computer-based Systems ISBN: 1447126939 ISBN-13(EAN): 9781447126935 Издательство: Springer Рейтинг: Цена: 121890.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This detailed book explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries.
Автор: Nobuyasu Kanekawa; Eishi H. Ibe; Takashi Suga; Yut Название: Dependability in Electronic Systems ISBN: 1489985948 ISBN-13(EAN): 9781489985941 Издательство: Springer Рейтинг: Цена: 104480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Dependability in Electronic Systems presents practical applications for dependable electronic systems, such as train control, automotive control systems and network servers/routers. Readers will find an overview of dependability, enabling them to select the best choice for maximum results.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
