Cantitate/Preț
Produs
Total produse
Vezi coșul
Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings de Erwin Schoitsch

Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6351

Editat de Erwin Schoitsch
en Limba Engleză Paperback – 3 sep 2010

Adresat cercetătorilor, inginerilor de sistem și arhitecților software specializați în sisteme critice, acest volum din seria Lecture Notes in Computer Science documentează progresele fundamentale în siguranța și fiabilitatea computerelor. Remarcăm o tranziție clară de la soluțiile hardware către cele software, într-un context în care sistemele integrate au devenit omniprezente în infrastructurile critice. Considerăm că valoarea tehnică a lucrării rezidă în abordarea holistică a complexității, tratând nu doar defecțiunile tehnice, ci și managementul resurselor în sistemele multi-core și interoperabilitatea acestora cu factorul uman.

Structura volumului este riguros segmentată pe sesiuni de cercetare aplicată. Primele secțiuni se concentrează pe arhitecturile de comunicare și analiza RAMS (fiabilitate, disponibilitate, mentenabilitate și siguranță), exemplificată prin studii inedite, precum cel al unui robot terapeutic. Ulterior, progresia editorială ne conduce către zona de conformitate și certificare, oferind ghiduri practice pentru „supraviețuirea” în fața standardului ISO 26262 și comparații tehnice între normele IEC 60880 și IEC 61508, esențiale în domeniul nuclear.

Ca și Gerhard Rabe în Safe Comp 95, editorul Erwin Schoitsch distilează experiență reală în principii acționabile, adaptând rigoarea academică la cerințele industriei moderne. Această continuitate este vizibilă în întreaga operă a editorului, care a coordonat și edițiile recente, precum Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, menținând standardul de excelență în ingineria software de siguranță de peste trei decenii. Subliniem relevanța capitolului dedicat sistemelor aeriene fără pilot (UAS), o temă vizionară pentru momentul publicării, care rămâne de o actualitate stringentă.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33054 lei

Preț vechi: 41316 lei
-20%

Puncte Express: 496

Carte disponibilă

Livrare economică 02-16 mai

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642156502
ISBN-10: 3642156509
Pagini: 492
Ilustrații: X, 482 p. 197 illus.
Greutate: 0.73 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

De ce să citești această carte

Pentru specialiștii care proiectează sisteme unde eroarea nu este o opțiune, acest volum oferă fundamentul teoretic și practic necesar. Cititorul câștigă acces la metodologii de verificare a software-ului pentru sateliți și tehnici de analiză a probabilității erorilor reziduale. Este o resursă esențială pentru înțelegerea modului în care standardele de siguranță (ISO, IEC) sunt aplicate în proiecte complexe de inginerie software.

Descriere scurtă

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ago were very difficult if not impossible. As they perform these tasks with increasing efficiency, more and more tasks are shifted from hardware to software, which means that the dependability of computer systems becomes crucial for the safety, security and reliability of technical systems. With the so-called “embedded systems” (becoming more and more intelligent, networked and co-operating with each other, with humans and the environment) computers have invaded all aspects of daily life. New paradigms have arisen, like ubiquitous computing, systems-of-systems, energy and resource awareness, enormous complexity issues and the like, requiring a more holistic systems view as well. th So, after 31 years of SAFECOMP, the emphasis of the 29 event is on critical - bedded systems, which are almost omnipresent. Their impact on our lives, risks and challenges are often not well understood (underestimated or exaggerated). The p- mary issue is to cope with complexity, new failure modes and resource management, due to shrinking feature size, multi-core systems and management of multiple variants, while maintaining dependability properties and robustness.

Cuprins

Session 1.- Reliability Analysis of Safety-Related Communication Architectures.- A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children.- Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees.- QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams.- Session 2.- Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain.- Deriving Safety Cases for Hierarchical Structure in Model-Based Development.- Assurance of Automotive Safety – A Safety Case Approach.- How to “Survive” a Safety Case According to ISO 26262.- Session 3.- Benchmarking Software Requirements Documentation for Space Application.- Verifying Mode Consistency for On-Board Satellite Software.- Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace.- Session 4.- Residual Error Probability of Embedded CRC by Stochastic Automata.- ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software.- Session 5.- Field Test Methods for a Co-operative Integrated Traffic Management System.- 100% Coverage for Safety-Critical Software – Efficient Testing by Static Analysis.- MODIFI: A MODel-Implemented Fault Injection Tool.- Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.- Session 6.- Overcoming Non-determinism in Testing Smart Devices: A Case Study.- Software Testing by People with Autism.- Session 7.- Information Flow Analysis of Energy Management in a Smart Grid.- Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid.- A Metric for Measuring the Strength of Inter-dependencies.- Session 8.- SecurityAnalysis of Open Building Automation Systems.- A UML Profile for Requirements Analysis of Dependable Software.- Session 9.- Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2.- Experiences in Applying Formal Verification in Robotics.- Evolving a Safe System Design Iteratively.- An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems.- Session 10.- Development of High-Integrity Software Product Lines Using Model Transformation.- On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications.- The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs.- INDEXYS, a Logical Step beyond GENESYS.- Session 11.- Integrating System Modelling with Safety Activities.- Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead.- Invited Talks (Keynote Abstracts).- System of Systems Challenges.- Murphy Was an Optimist.- Process Control Security: Go Dutch! (United, Shared, Lean and Mean).

Caracteristici

up-to-date results fast track conference proceedings state-of-the-art report