Computer Safety, Reliability, and Security: 33rd by Andrea Bondavalli, Felicita Di Giandomenico (eds.)

By Andrea Bondavalli, Felicita Di Giandomenico (eds.)

This publication constitutes the refereed lawsuits of the 33nd foreign convention on machine protection, Reliability, and safety, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised complete papers provided including three functional event studies have been rigorously reviewed and chosen from eighty five submissions. The papers are geared up in topical sections on fault injection concepts, verification and validation options, car structures, assurance types and mitigation strategies, insurance circumstances and arguments, method research, defense and belief, notations/languages for safeguard similar features, protection and security.

Show description

Read Online or Download Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings PDF

Similar international_1 books

Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008. Proceedings

This quantity of the Lecture Notes in desktop technology sequence comprises all papers authorised for presentation on the nineteenth IFIP/IEEE overseas Workshop on dispensed platforms: Operations and administration (DSOM 2008),which was once held September 25-26, 2008 at the island of Samos, Greece. DSOM 2008 used to be the nineteenth occasion in a chain of annual workshops.

e-Infrastructure and e-Services for Developing Countries: 5th International Conference, AFRICOMM 2013, Blantyre, Malawi, November 25-27, 2013, Revised Selected Papers

This booklet constitutes the completely refereed complaints of the fifth overseas convention on e-Infrastructure and e-Services for constructing nations, AFRICOMM 2013, held in Blantyre, Malawi, in November 2013. The 32 revised complete papers awarded have been rigorously reviewed and chosen from ninety four submissions.

Moral Issues in International Affairs: Problems of European Integration

A couple of eminent overseas students have come jointly during this quantity to deal with the query of morality in foreign affairs and to discover the various imperative, normative concerns which come up within the context of eu integration. The essays learn the overall query of morality and deal with particular components of shock within the proposals for extra integration.

8th International Symposium on High-Temperature Metallurgical Processing

This assortment gains contributions masking the advances and advancements of latest high-temperature metallurgical applied sciences and their functions to the parts of: processing of minerals; extraction of metals; training of steel, refractory, and ceramic fabrics; therapy and recycling of slag and wastes; conservation of strength; and environmental safeguard.

Extra info for Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings

Example text

Additionally, we picked MiBench’s [14] automotive benchmark category as a set of real-world application benchmarks. The four benchmarks (qsort, basicmath, bitcount, susan, using the small input data set) each execute more dynamic instructions than all eCos benchmarks combined and represent a more heavyweight workload for our tooling. To determine the “ground truth” for our pruning experiments, we ran FI experiments for all def/use equivalence classes of our benchmarks, resulting in the total (single-CPU) simulation time shown in the last column of Tab.

4 Implementation We implemented a tool set for the outlined fault-space pruning approach in the Fail* [12] FI experimentation framework, configured to run with the Bochs x86 simulator [24]. Ideally, we would simulate faults in a detailed register transfer and gate-level processor model; however, since simulation of realistic benchmarks on low-level models is extremely slow, this work chooses a fast architecture simulator. We extended the tracing plugin of Fail* with the capability to record the additional machine state listed in Tab.

Fig. 6 shows an extract of the results of the the 5th simulation. For the sake of simplicity, we omit input signals of emergency and service brakes from the figure. 7 Conclusion This paper introduced a testing and simulated fault injection framework for timetriggered dependable-systems based on the PS-TTM approach. The environment enables testing and injecting faults at different stages of the design, from platform independent models to platform specific models, what enables an early detection of design flaws in the system.

Download PDF sample

Rated 4.99 of 5 – based on 8 votes