Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Book Citation Index

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre, Kaisa Sere, Elena Troubitsyna
Indexed In: SCOPUS View 2 More Indices
Release Date: July, 2011|Copyright: © 2012 |Pages: 515
DOI: 10.4018/978-1-60960-747-0
ISBN13: 9781609607470|ISBN10: 1609607473|EISBN13: 9781609607487
Hardcover:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
Hardcover:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
E-Book:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • PDF download
E-Book:
Available
$195.00
Benefits & Incentives
TOTAL SAVINGS: $195.00
Benefits
  • Immediate access after purchase
  • No DRM
  • PDF download
  • Receive a 10% Discount on eBooks
Hardcover +
E-Book:
Available
$235.00
Benefits & Incentives
TOTAL SAVINGS: $235.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Multi-user license (no added fee)
  • Immediate access after purchase
  • No DRM
  • PDF download
Hardcover +
E-Book:
Available
$235.00
Benefits & Incentives
TOTAL SAVINGS: $235.00
Benefits
  • Printed-On-Demand (POD)
  • Usually ships one day from order
  • Immediate access after purchase
  • No DRM
  • PDF download
Article Processing Charge:
Available
$700.00
Benefits & Incentives
TOTAL SAVINGS: $700.00
OnDemand:
(Individual Chapters)
Available
$37.50
Benefits & Incentives
TOTAL SAVINGS: $37.50
Benefits
  • Purchase individual chapters from this book
  • Immediate PDF download after purchase or access through your personal library
Effective immediately, IGI Global has discontinued softcover book production. The softcover option is no longer available for direct purchase.
Description & Coverage
Description:

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, software–the most complex system component–is 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.

Coverage:

The many academic areas covered in this publication include, but are not limited to:

  • Dependability and Security in Domain-Specific Areas
  • Methodologies for Developing Dependable Systems
  • Model-Based Reasoning
  • Modeling Real-Time Behavior
  • Reasoning about Hybrid Systems
  • Security in Distributed Systems
  • Software and Hardware Correctness
  • Software Security
  • Testing and Verification of Software-Intensive Systems
  • Verification of Complex Control Systems
Table of Contents
Search this Book:
Reset
Editor/Author Biographies
Luigia Petre is a university lecturer at Åbo Akademi University, Department of Information Technologies, Turku, Finland. She got her PhD in Computer Science in 2005 on modeling techniques in formal methods. Her research interests include energy modeling, network availability, integration of formal methods, and time and space dependent computing. She has co-organized major conferences in her field such as the Integrated Formal Methods (IFM) 2002 as well as Formal Methods (FM) 2008. She has been in the programme committee of IFM in 2002, 2004, 2005, and 2007. Currently, she is coordinating NODES - a Nordic Dependability Network, concerned with deploying a dependability curriculum for the Nordic countries. She is a researcher in the EC-funded project DEPLOY. She has about 30 refereed publications.
Kaisa Sere is a Professor of Computer Science and Engineering at Åbo Akademi University since 1997. She got her PhD in 1990 on the formal design of parallel algorithms from Åbo Akademi University. Between 1993-97, she was Associate Professor in Computer Science at University of Kuopio. She is the founder and leader of the Distributed Systems Laboratory that contains about 25 researchers. Her current research interests are within the design of dependable distributed systems, especially refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits. Her research has been supported by the Academy of Finland as well as by the EU framework programmes 5 to 7 with several grants. She has organised several summer schools, conferences, and workshops within her research areas. She was the vice chair of the Council of Natural and Engineering Sciences at the Academy of Finland (1.1.2004-1.12.2009). Kaisa Sere has more than 100 refereed publications.
Elena Troubitsyna is an Academy Research Fellow at the Academy of Finland. She got her PhD in Computer Science in 2000 on design methods for dependable systems. Her research interests include application of formal methods to development of dependable fault tolerant systems. She also conducts research on combining formal methods with informal techniques of safety analysis and semi-formal design techniques such as UML. She has worked on applying formal methods to development of an industrial fault-tolerant system within EU IST projects MATISSE, RODIN, and DEPLOY.
Archiving
All of IGI Global's content is archived via the CLOCKSS and LOCKSS initiative. Additionally, all IGI Global published content is available in IGI Global's InfoSci® platform.
Editorial Advisory Board
  • Prof. Ketil Stolen, SINTEF ICT, Norway
  • Prof. Simin Nadjm-Tehrani, Linkoping Univeristy, Sweden
  • Prof. Christian Damsgaard Jensen, Technical University of Denmark, Denmark
  • Prof. Juri Vain, Tallinn University of Technology, Estonia