System Dependability Evaluation Including S-dependency and Uncertainty, Hans-Dieter Kochs
Автор: Wojciech Zamojski; Jacek Mazurkiewicz; Jaros?aw Su Название: Engineering in Dependability of Computer Systems and Networks ISBN: 3030195007 ISBN-13(EAN): 9783030195007 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents papers on various problems of dependability in computer systems and networks that were discussed at the 14th DepCoS-RELCOMEX conference, in Brun?w, Poland, from 1st to 5th July 2019. Discussing new ideas, research results and developments in the design, implementation, maintenance and analysis of complex computer systems, it is of interest to researchers and practitioners who are dealing with dependability issues in such systems.Dependability analysis came as a response to new challenges in the evaluation of contemporary complex systems, which should be considered as systems of people – with their needs and behaviours –interacting with technical communication channels (such as mobile activities, iCloud, Internet of Everything) and online applications, often operating in hostile environments. The diversity of topics covered, illustrates the variety of methods used in this area, often with the help of the latest results in artificial and computational intelligence.
Автор: Simona Bernardi; Jos? Merseguer; Dorina Corina Pet Название: Model-Driven Dependability Assessment of Software Systems ISBN: 3642395112 ISBN-13(EAN): 9783642395116 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
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.
Описание: The best suited approaches for practical system dependability modeling and calculation, (1) the minimal cut approach, (2) the Markov process approach, and (3) the Markov minimal cut approach as a combination of (1) and (2) are described in detail and applied to several examples.
Автор: Shojiro Asai Название: VLSI Design and Test for Systems Dependability ISBN: 4431568638 ISBN-13(EAN): 9784431568636 Издательство: Springer Рейтинг: Цена: 32142.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses the new roles that the VLSI (very-large-scale integration of semiconductor circuits) is taking for the safe, secure, and dependable design and operation of electronic systems.The book consists of three parts. Part I, as a general introduction to this vital topic, describes how electronic systems are designed and tested with particular emphasis on dependability engineering, where the simultaneous assessment of the detrimental outcome of failures and cost of their containment is made. This section also describes the related research project “Dependable VLSI Systems,” in which the editor and authors of the book were involved for 8 years. Part II addresses various threats to the dependability of VLSIs as key systems components, including time-dependent degradations, variations in device characteristics, ionizing radiation, electromagnetic interference, design errors, and tampering, with discussion of technologies to counter those threats. Part III elaborates on the design and test technologies for dependability in such applications as control of robots and vehicles, data processing, and storage in a cloud environment and heterogeneous wireless telecommunications. This book is intended to be used as a reference for engineers who work on the design and testing of VLSI systems with particular attention to dependability. It can be used as a textbook in graduate courses as well. Readers interested in dependable systems from social and industrial–economic perspectives will also benefit from the discussions in this book.
Описание: Provides a wealth of practical knowledge and industry best practices to address dependability management and engineering issues with helpful guidance and checklists from a system life cycle perspective, hence making this book a valued asset as a comprehensive desk-top reference.
Автор: Nobuyasu Kanekawa; Eishi H. Ibe; Takashi Suga; Yut Название: Dependability in Electronic Systems ISBN: 1489985948 ISBN-13(EAN): 9781489985941 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Zamojski Название: Dependability Engineering and Complex Systems ISBN: 3319396382 ISBN-13(EAN): 9783319396385 Издательство: Springer Рейтинг: Цена: 25155.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These proceedings present the results of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX which took place in a picturesque Brun?w Palace in Poland from 27th June to 1st July, 2016.DepCoS-RELCOMEX is a series of international conferences organized annually by Department of Computer Engineering of Wroc?aw University of Science and Technology since 2006. The roots of the series go as far back as to the seventies of the previous century – the first RELCOMEX conference took place in 1977 – and now its main aim is to promote a multi-disciplinary approach to dependability problems in theory and engineering practice of complex systems.Complex systems, nowadays most often computer-based and distributed, are built upon a variety of technical, information, software and human resources. The challenges in their design, analysis and maintenance not only originate from the involved technical and organizational structures but also from the complexity of the information processes that must be efficiently executed in a diverse, often hostile operational environment. Traditional methods of reliability evaluation focused only on technical resources are usually insufficient in this context and more innovative, multidisciplinary methods of dependability analysis must be applied. The diversity of the topics which need to be considered is well illustrated by the selection of the submissions in these proceedings with their subjects ranging from mathematical models and design methodologies through software engineering and data security issues up to practical problems in technical, e.g. transportation, systems.
Автор: Jovan M. Nahman Название: Dependability of Engineering Systems ISBN: 3642074693 ISBN-13(EAN): 9783642074691 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Название: Open Systems Dependability ISBN: 1498736289 ISBN-13(EAN): 9781498736282 Издательство: Taylor&Francis Рейтинг: Цена: 16843.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users’ requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System since its functions, structures, and boundaries are constantly changing. Thus, the approach to dependability is called Open Systems Dependability. The DEOS technology realizes Open Systems Dependability. It puts more emphasis on stakeholders’ agreement and accountability achievement for business/service continuity than in elemental technologies.
Автор: Ajit Kumar Verma; Srividya Ajit; Manoj Kumar Название: Dependability of Networked Computer-based Systems ISBN: 1447126939 ISBN-13(EAN): 9781447126935 Издательство: Springer Рейтинг: Цена: 18284.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: J?rgen Gausemeier; Franz Josef Rammig; Wilhelm Sch Название: Dependability of Self-Optimizing Mechatronic Systems ISBN: 3662511223 ISBN-13(EAN): 9783662511220 Издательство: Springer Рейтинг: Цена: 15672.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
