Dependability and Computer Engineering: Concepts for Software-Intensive Systems

✍ Scribed by Luigia Petre, Luigia Petre, Kaisa Sere, Elena Troubitsyna

Publisher: IGI Global
Year: 2011
Tongue: English
Leaves: 536
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on software-intensive systems is expressed by the notion of dependability. The complexity of modern software-intensive systems poses the greatest threat to dependability. Furthermore, softwarethe most complex system componentis recognized to be the most error-prone part of the system.

Dependability and Computer Engineering: Concepts for Software-Intensive Systems offers a state-of-the-art overview of the dependability research, from engineering various software-intensive systems to validating existing IT-frameworks and solving generic and particular problems related to the dependable use of IT in our society. It is important to understand how dependability is manifested in software-intensive systems, how it is developed, and how it can be enhanced at various levels in systems and organizations. This book uncovers the existing research on the topic as well as the key challenges associated with the engineering of dependable IT systems in the future.

📜 SIMILAR VOLUMES

Software Engineering for Variability Int

📁 Software Engineering for Variability Intensive Systems: Foundations and Applications

✍ Ivan Mistrik (Editor); Matthias Galster (Editor); Bruce R. Maxim (Editor) 📂 Library 📅 2019 🏛 Auerbach Publications

<p>This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book features academic and industrial contributions that discu

Fundamentals of Dependable Computing for

📁 Fundamentals of Dependable Computing for Software Engineers

✍ Knight, John 📂 Library 📅 2012 🏛 CRC Press 🌐 English

Dependable software systems engineering

📁 Dependable software systems engineering

✍ Alexander Pretschner, Doron A Peled, Thomas Hutzelmann 📂 Library 📅 2017 🏛 IOS Press 🌐 English

Cyber-physical systems closely combine and coordinate subsystems consisting of both computational and physical elements. Such systems have become indispensable in the fields of aerospace, automotive and the automation industries, as well as in consumer appliances. Safety, security and reliability ar

Dependable software systems engineering

📁 Dependable software systems engineering

✍ Esparza, Javier(Editor);Grumberg, Orna(Editor);Sickert, Salomon(Editor) 📂 Library 📅 2016 🏛 Ios Pr Inc; IOS Press 🌐 English

Title Page; Preface; Contents; Probabilistic Model Checking; SMT Solvers: Foundations and Applications; Formal Models for Analyzing Security Protocols: Some Lecture Notes; Parameterized Verification of Crowds of Anonymous Processes; Synthesis of Reactive Systems; Between Testing and Verification: Dy

Software and systems engineering. Softwa

📁 Software and systems engineering. Software testing. Concepts and definitions

📂 Scientific

Software-Intensive Systems and New Compu

📁 Software-Intensive Systems and New Computing Paradigms: Challenges and Visions

✍ Matthias Hölzl, Axel Rauschmayer, Martin Wirsing (auth.), Martin Wirsing, Jean-P 📂 Library 📅 2008 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, s