Design and Safety Assessment of Critical S...

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

143,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

Explaining how to improve safety-critical systems to reduce risks to people and the environment, this book introduces fundamental concepts and reviews issues related to the design, development, and assessment of safety-critical systems. The text covers the most well-known notations, techniques, and procedures, and supplies many in-depth examples from a range of industrial sectors. It also provides access to a website with additional information and code for the examples presented.

Über den Autor

Marco Bozzano is a senior researcher in the Embedded Systems Unit of Fondazione Bruno Kessler, Italy. He has strong expertise in the application of formal methods, and he has published a number of papers in the area of formal verification of safety critical systems.

Adolfo Villafiorita is a senior researcher at Fondazione Bruno Kessler. He has many years of experience in the application of formal methods in technology transfer projects and in the development of security and safety-critical applications. He is a contract professor at the University of Trento.

Inhaltsverzeichnis

Introduction. Dependability, Reliability and Safety Analysis. Development of Safety Critical Systems. Techniques for Safety Assessment. Formal methods for Safety Assessment. Formal Methods for Certification. Bibliography.

Details

Erscheinungsjahr:	2010
Fachbereich:	Hardware
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9781439803318
ISBN-10:	1439803315
Sprache:	Englisch
Einband:	Gebunden
Autor:	Bozzano, Marco Villafiorita, Adolfo
Hersteller:	Auerbach Publications
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	240 x 161 x 21 mm
Von/Mit:	Marco Bozzano (u. a.)
Erscheinungsdatum:	12.11.2010
Gewicht:	0,614 kg