• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Programmeringsböcker

      Computer Safety, Reliability, and Security

      26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings

      AvFrancesca Saglietti,Norbert Oster

      Häftad, Engelska, 2007

      Del i serien Lecture Notes in Computer Science

      574 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      Since 1979, when it was ?rst established by the Technical Committee on Re- ability, Safety and Security of the European Workshop on Industrial Computer Systems (EWICS TC7), the SAFECOMP Conference series has regularly and continuously contributed to improving the state of the art of highly depe- able computer-based systems, since then increasingly applied to safety-relevant industrial domains. Inthisexpandingtechnical?eldSAFECOMPo?ersaplatformforknowledge andtechnologytransferbetweenacademia,industry,researchandlicensingins- tutions, providing ample opportunities for exchanging insights, experiences and trends in the areas of safety, reliability and security regarding critical computer applications. In accordance with the growing spread of critical infrastructures involving both safety and security threats, this year’s SAFECOMP program included a considerable number of contributions addressing technical problems and engineering solutions across the border between safety-related and securi- related concerns. Thereactiontoourcallforpaperswasparticularlygratifyingandimpressive, including 136 full papers submitted by authors representing 29 countries from Europe,Asia, North and South America aswell asAustralia. The selection of 33 fullpapersand16shortpapersforpresentationandpublicationwasachallenging task requiring a huge amount of reviewing and organizational e?ort. In view of the particularly high number of articles submitted, obvious practical constraints led – to our regret – to the rejection of a considerable amount of high-quality work. To all authors, invited speakers, members of the International Program Committee and external reviewers go our heartfelt thanks! The local organization of SAFECOMP 2007, hosted in Nuremberg, is also gratefullyacknowledged.

      Produktinformation

      • Utgivningsdatum:2007-09-12
      • Mått:155 x 235 x 31 mm
      • Vikt:850 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:548
      • Upplaga:2007
      • Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      • ISBN:9783540751007

      Utforska kategorier

      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Safety Cases.- Establishing Evidence for Safety Cases in Automotive Systems – A Case Study.- Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges.- Impact of Security on Safety.- Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.- Future Perspectives: The Car and Its IP-Address – A Potential Safety and Security Risk Assessment.- Modelling Interdependencies Between the Electricity and Information Infrastructures.- Poster Session 1.- Handling Malicious Code on Control Systems.- Management of Groups and Group Keys in Multi-level Security Environments.- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security Systems.- RAMSS Analysis for a Co-operative Integrated Traffic Management System.- Combining Static/Dynamic Fault Trees and Event Trees Using Bayesian Networks.- Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System.- Compositional Temporal Fault Tree Analysis.- Representing Parameterised Fault Trees Using Bayesian Networks.- Human Error Analysis Based on a Semantically Defined Cognitive Pilot Model.- Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.- Specification of a Software Common Cause Analysis Method.- Combining Bayesian Belief Networks and the Goal Structuring Notation to Support Architectural Reasoning About Safety.- Application of Interactive Cause and Effect Diagrams to Safety-Related PES in Industrial Automation.- Survival by Deception.- How to Secure Bluetooth-Based Pico Networks.- Learning from Your Elders: A Shortcut to Information Security Management Success.- Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.- PosterSession 2.- Safety Process Improvement with POSE and Alloy.- Defense-in-Depth and Diverse Qualification of Safety-Critical Software.- Experimental Evaluation of the DECOS Fault-Tolerant Communication Layer.- Achieving Highly Reliable Embedded Software: An Empirical Evaluation of Different Approaches.- Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.- A Concept for a Safe Realization of a State Machine in Embedded Automotive Applications.- Safety Demonstration and Software Development.- Improving Test Coverage for UML State Machines Using Transition Instrumentation.- Verification of Distributed Applications.- Analysis of Combinations of CRC in Industrial Communication.- A Comparison of Partitioning Operating Systems for Integrated Systems.- Software Encoded Processing: Building Dependable Systems with Commodity Hardware.- Reliability Modeling for the Advanced Electric Power Grid.- Case Study on Bayesian Reliability Estimation of Software Design of Motor Protection Relay.- A Reliability Evaluation of a Group Membership Protocol.- Poster Session 3.- Bounds on the Reliability of Fault-Tolerant Software Built by Forcing Diversity.- A Tool for Network Reliability Analysis.- DFT and DRBD in Computing Systems Dependability Analysis.- Development of Model Based Tools to Support the Design of Railway Control Applications.- Formal Specification and Analysis of AFDX Redundancy Management Algorithms.- Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.- Using Deductive Cause-Consequence Analysis (DCCA) with SCADE.- Experimental Assessment of Astrée on Safety-Critical Avionics Software.- Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.- A Taxonomy for Modelling Safety RelatedArchitectures in Compliance with Functional Safety Requirements.- Controller Architecture for Safe Cognitive Technical Systems.- Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software.
      Hoppa över listan

      Du kanske också är intresserad av

      Norbert Oster, Francesca Saglietti - Computer Safety, Reliability, and Security, E-bok

      Computer Safety, Reliability, and Security

      Norbert Oster, Francesca Saglietti

      E-bok
      2007

      732 kr

      Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch - Computer Safety, Reliability, and Security, Häftad
      Del 13414

      Computer Safety, Reliability, and Security

      Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch

      Häftad, 2022

      744 kr

      Friedemann Bitsch, Marc Spislander, Francesca Saglietti, Mario Trapp - Computer Safety, Reliability, and Security, E-bok

      Computer Safety, Reliability, and Security

      Friedemann Bitsch, Marc Spislander, Francesca Saglietti, Mario Trapp

      E-bok
      2022

      894 kr

      Francesca Saglietti, Manfred Kersken - Software Fault Tolerance, E-bok

      Software Fault Tolerance

      Francesca Saglietti, Manfred Kersken

      E-bok
      2012

      1 470 kr

      Manfred Kersken, Francesca Saglietti - Software Fault Tolerance, Häftad

      Software Fault Tolerance

      Manfred Kersken, Francesca Saglietti

      Häftad, 1992

      1 142 kr

      Måns Petter Zelmerlöw - När allt faller, Inbunden
      • -12%

      När allt faller

      Måns Petter Zelmerlöw

      Inbunden, 2026

      229 kr259 kr

      Peter Englund - Om att misslyckas, Inbunden
      • -17%

      Om att misslyckas

      Peter Englund

      Inbunden, 2026

      4,0 utav 5 stjärnor. Totalt antal röster:(9)

      199 kr239 kr

      Roland Paulsen - Avbegåvad : en essäberättelse om arv och miljö, Inbunden
      • -15%

      Avbegåvad : en essäberättelse om arv och miljö

      Roland Paulsen

      Inbunden, 2026

      225 kr265 kr

      Klara Peters Bastin - SIGNERAD - Om julens wälgång, Inbunden
      • Signerad!

      SIGNERAD - Om julens wälgång

      Klara Peters Bastin

      Inbunden, 2026

      249 kr

      Vendela Blomström, Jeanna Wennerberg - Akademiskt läsande och skrivande, Häftad

      Akademiskt läsande och skrivande

      Vendela Blomström, Jeanna Wennerberg

      Häftad, 2026

      421 kr