Muutke küpsiste eelistusi

E-raamat: Architecting Critical Systems: First International Symposium, Prague, Czech Republic, June 23-25, 2010

Edited by
  • Formaat: PDF+DRM
  • Sari: Security and Cryptology 6150
  • Ilmumisaeg: 07-Jun-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642135569
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Security and Cryptology 6150
  • Ilmumisaeg: 07-Jun-2010
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783642135569

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

Architecting critical systems has gained major importance in commercial, governmental, and industrial sectors. Emerging software applications encompass practicalities that are associated with either the whole system or some of its components. Therefore, effective methods, techniques, and tools for constructing, testing, analyzing, and evaluating the architectures for critical systems are of major importance. Furthermore, these methods, techniques, and tools must address issues of dependability and security, while focusing not only on the development, but also on the deployment and evolution of the architecture. This newly established ISARCS symposium provided an exclusive forum for exchanging views on the theory and practice for architecting critical systems. Such systems are characterized by the perceived severity of consequences that faults or attacks may cause, and architecting them requires appropriate means toassure that they will fulfill their specified services in a dependable and secure manner. The different attributes of dependability and security cannot be considered in isolation for todays critical systems, as architecting critical systems essentially means finding the right trade-off among these attributes and the various other requirements imposed on the system. This symposium therefore brought together the four communities working on dependability, safety, security, and testing/analysis, each addressing to some extent the architecting of critical systems from their specific perspective. To this end, the symposium united the following three former events: the Workshop on Architecting Dependable Systems (WADS); the Workshop on the Role of Software Architecture for Testing and Analysis (ROSATEA); and the Workshop on Views on Designing Complex Architectures.
Design
An Architectural Framework for Analyzing Tradeoffs between Software Security and Performance
1(18)
Vittorio Cortellessa
Catia Trubiani
Leonardo Mostarda
Naranker Dulay
Architectural Design Decisions for Achieving Reliable Software System
19(14)
Atef Mohamed
Mohammad Zulkernine
Integrating Fault-Tolerant Techniques into the Design of Critical Systems
33(19)
Ricardo J. Rodriguez
Jose Merseguer
Component Behavior Synthesis for Critical Systems
52(20)
Tobias Eckardt
Stefan Henkler
Verification and Validation
A Road to a Formally Verified General-Purpose Operating System
72(17)
Martin Decky
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
89(20)
J. Paul Gibson
Eric Lallet
Jean-Luc Raffy
Testing Fault Robustness of Model Predictive Control Algorithms
109(16)
Piotr Gawkowski
Konrad Grochowski
Maciej Lawrynczuk
Piotr Marusak
Janusz Sosnowski
Piotr Tatjewski
Domain-Specific Results
Towards Net-Centric Cyber Survivability for Ballistic Missile Defense
125(17)
Michael N. Gagnon
John Truelove
Apu Kapadia
Joshua Haines
Orton Huang
A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines
142(19)
Ibrahim Habli
Tim Kelly
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer Overlays
161(18)
Daniel Germanus
Abdelmajid Khelil
Neeraj Suri
Standards
ISO/DIS 26262 in the Context of Electric and Electronic Architecture Modeling
179(14)
Martin Hillenbrand
Matthias Heinz
Nico Adler
Klaus D. Muller-Glaser
Johannes Matheis
Clemens Reichmann
Author Index 193