Technological Innovations in Adaptive and Dependable Systems: Advancing Models and Concepts, Vincenzo De Florio
Автор: David Powell Название: A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems ISBN: 1441948805 ISBN-13(EAN): 9781441948809 Издательство: Springer Рейтинг: Цена: 178840.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. This book explains the motivations and the results of a collaborative project', whose objective was to significantly decrease the lifecycle costs of such fault- tolerant systems. The end-user companies participating in this project already deploy fault-tolerant systems in critical railway, space and nuclear-propulsion applications. However, these are proprietary systems whose architectures have been tailored to meet domain-specific requirements. This has led to very costly, inflexible, and often hardware-intensive solutions that, by the time they are developed, validated and certified for use in the field, can already be out-of-date in terms of their underlying hardware and software technology.
Автор: Guy Dewsbury; John Dobson Название: Responsibility and Dependable Systems ISBN: 1849966311 ISBN-13(EAN): 9781849966313 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book brings together for the first time two important features of a computer system that must be embedded in an organisational context. First comes responsibility, in other words, whether the computer system properly supports the organisational responsibilities that people are allocated.
DDoS 3.0 - How terrorists bring down the Internet.- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids.- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone.- Stochastic analysis of energy consumption in pool depletion systems.- Moving queue on a network.- A Multi-commodity Simulation Tool Based on TRIANA.- Performance and Precision of Web Caching Simulations for Zipf Request Pattern.- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems.- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.- Combining Mobility Models with Arrival Processes.- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams.- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.- The Weak Convergence of TCP Bandwidth Sharing.- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems.- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres.- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation.
Автор: Emmanuel Gaudin; ?lie Najm; Rick Reed Название: SDL 2007: Design for Dependable Systems ISBN: 3540749837 ISBN-13(EAN): 9783540749837 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the 13th International SDL Forum, SDL 2007, held in Paris, France. This book includes papers that are organized in topical sections on Model Driven Engineering, Testing, Language Extensions, Implementation and Modeling Experience and Extensions. It addresses various aspects of systems design and design languages.
Автор: Domenico Cotroneo Название: Innovative Technologies for Dependable OTS-Based Critical Systems ISBN: 8847055571 ISBN-13(EAN): 9788847055575 Издательство: Springer Рейтинг: Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traffic control and space exploration. It features `off-the-shelf` systems designed by world-beating companies.
Автор: J.C. Geffroy; G. Motet Название: Design of Dependable Computing Systems ISBN: 9048159415 ISBN-13(EAN): 9789048159413 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book analyzes the causes of failures in computing systems, their consequences, as weIl as the existing solutions to manage them. The domain is tackled in a progressive and educational manner with two objectives: 1. The mastering of the basics of dependability domain at system level, that is to say independently ofthe technology used (hardware or software) and of the domain of application. 2. The understanding of the fundamental techniques available to prevent, to remove, to tolerate, and to forecast faults in hardware and software technologies. The first objective leads to the presentation of the general problem, the fault models and degradation mechanisms wh ich are at the origin of the failures, and finally the methods and techniques which permit the faults to be prevented, removed or tolerated. This study concerns logical systems in general, independently of the hardware and software technologies put in place. This knowledge is indispensable for two reasons: - A large part of a product' s development is independent of the technological means (expression of requirements, specification and most of the design stage). Very often, the development team does not possess this basic knowledge; hence, the dependability requirements are considered uniquely during the technological implementation. Such an approach is expensive and inefficient. Indeed, the removal of a preliminary design fault can be very difficult (if possible) if this fault is detected during the product's final testing.
Автор: Rog?rio de Lemos; Cristina Gacek; Alexander Romano Название: Architecting Dependable Systems III ISBN: 3540289682 ISBN-13(EAN): 9783540289685 Издательство: Springer Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Brian Randell; Jean-Claude Laprie; Hermann Kopetz; Название: Predictably Dependable Computing Systems ISBN: 3642797911 ISBN-13(EAN): 9783642797910 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The first ESPRIT Basic Research Project on Predictably Dependable Computing Systems (No. 3092, PDCS) commenced in May 1989, and ran until March 1992. The institutions and principal investigators that were involved in PDCS were: City University, London, UK (Bev Littlewood), lEI del CNR, Pisa, Italy (Lorenzo Strigini), Universitiit Karlsruhe, Germany (Tom Beth), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The work continued after March 1992, and a three-year successor project (No. 6362, PDCS2) officially started in August 1992, with a slightly changed membership: Chalmers University of Technology, Goteborg, Sweden (Erland Jonsson), City University, London, UK (Bev Littlewood), CNR, Pisa, Italy (Lorenzo Strigini), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), Universite Catholique de Louvain, Belgium (Pierre-Jacques Courtois), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The summary objective of both projects has been "to contribute to making the process of designing and constructing dependable computing systems much more predictable and cost-effective". In the case of PDCS2, the concentration has been on the problems of producing dependable distributed real-time systems and especially those where the dependability requirements centre on issues of safety and/or security.
Автор: Fujiwara Название: Code Design for Dependable Systems - Theory and Practical Applications ISBN: 0471756180 ISBN-13(EAN): 9780471756187 Издательство: Wiley Рейтинг: Цена: 211150.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Written from an engineering standpoint with a focus on practical codes based on their performance and hardware complexit, Matrix Code Design for Dependable Systems emphasizes matrix codes and how they are manipulated. Unlike existing coding theory books, this book does not burden the reader with unnecessary mathematics for polynomial codes.
Автор: Rog?rio de Lemos; Cristina Gacek; Alexander Romano Название: Architecting Dependable Systems II ISBN: 3540231684 ISBN-13(EAN): 9783540231684 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ.
The monographic volume addresses, in a systematic and comprehensive way, the state-of-the-art dependability (reliability, availability, risk and safety, security) of systems, using the Artificial Intelligence framework of Probabilistic Graphical Models (PGM). After a survey about the main concepts and methodologies adopted in dependability analysis, the book discusses the main features of PGM formalisms (like Bayesian and Decision Networks) and the advantages, both in terms of modeling and analysis, with respect to classical formalisms and model languages.
Methodologies for deriving PGMs from standard dependability formalisms will be introduced, by pointing out tools able to support such a process. Several case studies will be presented and analyzed to support the suitability of the use of PGMs in the study of dependable systems.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
