By Erik Hollnagel (auth.), Michael D. Harrison, Mark-Alexander Sujan (eds.)

This publication constitutes the refereed lawsuits of the twenty seventh foreign convention on desktop protection, Reliability, and safeguard, SAFECOMP 2008, held in Newcastle upon Tyne, united kingdom, in September 2008.

The 32 revised complete papers awarded including three keynote papers and a panel consultation have been conscientiously reviewed and chosen from a hundred and fifteen submissions. The papers are equipped in topical sections on software program dependability, resilience, fault tolerance, protection, defense instances, formal equipment, dependability modelling, in addition to safety and dependability.

Show description

Read Online or Download Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings PDF

Similar international books

New perspectives on old texts: proceedings of the Tenth International Symposium of the Orion Center for the Study of the Dead Sea Scrolls and Associated Literature, 9-11January, 2005 (Studies on the texts of the Desert of Judah; Vol. 88)

This quantity offers new views at the historical texts came across at Qumran. The essays provide clean insights into specific texts and genres, by way of utilizing equipment and constructs drawn from different disciplines to the learn of the lifeless Sea Scrolls, and by means of exploring new in addition to long-standing matters raised by means of those works.

Progress in Cryptology - AFRICACRYPT 2012: 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings

This publication constitutes the refereed complaints of the fifth foreign convention at the conception and alertness of Cryptographic thoughts in Africa, AFRICACRYPT 2011, held in Ifrane, Morocco, in July 2012. The 24 papers offered including abstracts of two invited talks have been rigorously reviewed and chosen from fifty six submissions.

Algorithmic Game Theory: 6th International Symposium, SAGT 2013, Aachen, Germany, October 21-23, 2013. Proceedings

This e-book constitutes the complaints of the sixth overseas Symposium on Algorithmic online game concept, SAGT 2013, held in Aachen, Germany, in October 2013. The 25 papers awarded during this quantity have been rigorously reviewed and chosen from sixty five submissions. They disguise quite a few very important features of algorithmic online game idea, corresponding to answer ideas in online game thought, potency of equilibria and the cost of anarchy, computational features of equilibria and online game theoretical measures, repeated video games and convergence of dynamics, evolution and studying in video games, coordination and collective motion, community video games and graph-theoretic features of social networks, balloting and social selection, in addition to algorithmic mechanism layout.

Extra resources for Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

Example text

An exploration spike ranging from a few days to a few weeks is conducted before the iterative stage of the project begins. This enables developers to understand the purpose of the system to be developed, define an initial architecture which evolves throughout the lifecycle, and serves as a substitute to the Metaphor practice. The need for exploration should diminish with time, as the workforce gains knowledge. Towards Agile Engineering of High-Integrity Systems 37 Fig. 3. The HIS-XP development process with pipelined iterations 4 Case Study We now report briefly on a case study we carried out to assess the applicability of the HIS-XP process for building safety-related software systems.

Code mutation as proposed by Hamlet [21] and DeMillo et al. [22] has been used previously in studies to compare test effectiveness [23], [24], [25]. It also has the advantage that it subsumes conditional coverage techniques [26]. Mutation has recently been applied to evaluating random testing with C programs [27] with the aim of determining whether faults inserted using the mutation are representative of real faults. The conclusion is that they are but that they are also possibly more difficult to detect.

The tool used to develop the safety case for IADDS does not support away goals; GSN notes were used instead to refer to the supporting arguments. 5 Conclusions Although XP and APs in general were not designed with safety-critical systems development in mind, they can be adapted to that sort of development. The exact capacity of the XP variant proposed in this report for achieving a given software level (as defined in DO-178B) is not known; it is rather unlikely that level A software can be produced in the near future with the modifications made to the process so far.

Download PDF sample

Rated 4.61 of 5 – based on 12 votes