Engineering Dependable Software Systems

Engineering Dependable Software Systems
Author :
Publisher : IOS Press
Total Pages : 376
Release :
ISBN-10 : 9781614992073
ISBN-13 : 161499207X
Rating : 4/5 (07X Downloads)

Book Synopsis Engineering Dependable Software Systems by : NATO Emerging Security Challenges Division

Download or read book Engineering Dependable Software Systems written by NATO Emerging Security Challenges Division and published by IOS Press. This book was released on 2013-06-19 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced Study Institute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany, in July and August 2012. This two week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, deductively verified software, model checking, performance analysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems.


Engineering Dependable Software Systems Related Books

Dependable Software Systems Engineering
Language: en
Pages: 256
Authors: A. Pretschner
Categories: Computers
Type: BOOK - Published: 2017-10-24 - Publisher: IOS Press

DOWNLOAD EBOOK

Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable
Fundamentals of Dependable Computing for Software Engineers
Language: en
Pages: 438
Authors: John Knight
Categories: Computers
Type: BOOK - Published: 2012-01-12 - Publisher: CRC Press

DOWNLOAD EBOOK

Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive
Dependable Software Systems Engineering
Language: en
Pages: 320
Authors: M. Irlbeck
Categories: Political Science
Type: BOOK - Published: 2015-05-26 - Publisher: IOS Press

DOWNLOAD EBOOK

We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe. This book p
Dependable Software Systems Engineering
Language: en
Pages: 296
Authors: J. Esparza
Categories: Computers
Type: BOOK - Published: 2016-04-19 - Publisher: IOS Press

DOWNLOAD EBOOK

In the last few years we have all become daily users of Internet banking, social networks and cloud services. Preventing malfunctions in these services and prot
Dependable Embedded Systems
Language: en
Pages: 606
Authors: Jörg Henkel
Categories: Technology & Engineering
Type: BOOK - Published: 2020-12-09 - Publisher: Springer Nature

DOWNLOAD EBOOK

This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly wi