Francesca Saglietti - Böcker
Visar alla böcker från författaren Francesca Saglietti. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 13414 - Lecture Notes in Computer Science
Computer Safety, Reliability, and Security
41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings
Häftad, Engelska, 2022
717 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions.
1 099 kr
Skickas inom 10-15 vardagar
This volume summarizes the results obtained by the groupworking on softwarefault tolerance within the REQUEST(Reliability and Quality of European Software Technology)project of the ESPRIT programme of the European Communities. It should be read by anyone with a professional interest insafety-critical and fault-tolerant computing. A generic model is developed for evaluating the reliabilityof fault-tolerant software systems. Emphasis is put onidentification of problem areas in the development andassessment of fault-tolerant software systems and in thecomponents. Examples of crucial failures are those ofdiverse versions due to a common cause, or failures in theadjudicator which acts on outputs of diverse versions. Thecauses for common failures of versions are similarities inthe solutions of specified problems. Methods were developedto determine similarity among versions by means ofwell-known software engineering methods. Concerningadjudicators, the influences of several factors on failuredetection capability are discussed and guidelines are givenfor optimal design. A methodology is developed to determinedissimilarity on the level of diverse specifications.Cost-based support is given for deciding whether diversityshould be used in a software system or a single programshouldbe enhanced by additional verification effort.
Computer Safety, Reliability, and Security
26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings
Häftad, Engelska, 2007
553 kr
Skickas inom 10-15 vardagar
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.