An Excellent Addition to Your Library! Released: July 2011

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre (Åbo Akademi University, ), Kaisa Sere (Åbo Akademi University, Finland) and Elena Troubitsyna (Åbo Akademi University, Finland)

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 depend- ability. The complexity of modern software-intensive systems poses the greatest threat to dependability. Further- more, 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.

Topics Covered: • Dependability and Security in • Security in Distributed Systems Domain-Specific Areas • Software and Hardware Correctness • Methodologies for Developing • Software Security Dependable Systems • Testing and Verification of • Model-Based Reasoning Software-Intensive Systems • Modeling Real-Time Behavior • Verification of Complex Control Systems ISBN: 9781609607470; © 2012; 515 pp. • Reasoning about Hybrid Systems Print: US $195.00 | Perpetual: US $295.00 | Print + Perpetual: US $390.00

Market: This premier publication is essential for all academic and research library reference collections. It is a crucial tool for academicians, researchers, and practitioners and is ideal for classroom use.

Luigia Petre is a university lecturer at Åbo Akademi University, Department of Information Technologies, , Finland. She got her PhD in in 2005 on modeling techniques in . 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 depend- ability curriculum for the Nordic countries. She is a researcher in the EC-funded project DEPLOY. She has about 30 refereed publications.

Publishing Academic Excellence

www.igi-global.com at the Pace of Technology Since 1988 An Excellent Addition to Your Library! Section 1: Modeling for Dependability Chapter 11 Security of Dependable Systems Ahmed Naveed (Technical University of Denmark, Denmark) Chapter 1 Jensen Christian Damsgaard (Technical University of Denmark, Denmark) Towards a Holistic Approach to Fault Management: Goldszmidt Moises (Microsoft Corporation, USA) Malek Miroslaw (Humboldt-Universität zu Berlin, Germany) Section 4: Applied Security Nadjm-Tehrani Simin (Linköping University, Sweden) Narasimhan Priya (Carnegie Mellon University, USA) Salfner Felix (Humboldt-Universität zu Berlin, Germany) Chapter 12 Ward Paul A. S. (University of Waterloo, Canada) Application Security for Mobile Devices1 Wilkes John (Google Inc., USA) Costa Gabriele (Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Italy) Lazouski Aliaksandr (Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Italy) Martinelli Fabio (Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Italy) Chapter 2 Mori Paolo (Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Italy) Exceptions for Dependability Sekerinski Emil (McMaster University, Canada) Chapter 13 Supporting Software Evolution for Open Smart Cards by Security-by-Contract Chapter 3 Dragoni Nicola (Technical University of Denmark, Denmark) Network Availability for Distributed Applications Gadyatskya Olga (University of Trento, Italy) Petre Luigia (Åbo Akademi University, Finland) Massacci Fabio (University of Trento, Italy) Sere Kaisa (Åbo Akademi University, Finland) Waldén Marina (Åbo Akademi University, Finland) Chapter 14 SecInvest: Section 2: Ensuring Dependability Houmb Siv Hilde (Secure-NOK AS, Norway) Ray Indrajit (Colorado State University, USA) Ray Indrakshi (Colorado State University, USA) Chapter 4 Formal Stepwise Development of Scalable and Reliable Multiagent Systems Grotsev Denis (Kazakh National University, Kazakhstan) Section 5: Analysis of Risks and Dependability Iliasov Alexei (Newcastle University, UK) Romanovsky Alexander (Newcastle University, UK) Chapter 15 Using Model-Driven Risk Analysis in Component-Based Development Chapter 5 Brændeland Gyrd (University of Oslo, Norway) Development of Safety-Critical Control Systems in Event-B Using FMEA Stølen Ketil (University of Oslo, Norway) Prokhorova Yuliya (Åbo Akademi University, Finland) Troubitsyna Elena (Åbo Akademi University, Finland) Laibinis Linas (Åbo Akademi University, Finland) Chapter 16 Kharchenko Vyacheslav (National Aerospace University KhAI, Ukraine) Uncertainty Handling in Weighted Dependency Trees: Omerovic Aida (SINTEF & University of Oslo, Norway) Karahasanovic Amela (SINTEF & University of Oslo, Norway) Chapter 6 Stølen Ketil (SINTEF & University of Oslo, Norway) Towards Designing FPGA-Based Systems by Refinement in B Ostroumov Sergey (Åbo Akademi University, Finland) Troubitsyna Elena (Åbo Akademi University, Finland) Chapter 17 Laibinis Linas (Åbo Akademi University, Finland) Measuring the Progress of a System Development Kharchenko Vyacheslav (National Aerospace University KhAI, Ukraine) Olszewska Marta (Pląska) (Åbo Akademi University, Finland & Turku Centre for Computer Science (TUCS), Finland) Waldén Marina (Åbo Akademi University, Finland & Turku Centre for Computer Science (TUCS), Chapter 7 Finland) Online Testing of Nondeterministic Systems with the Reactive Planning Tester Vain Jüri (Tallinn University of Technology, Estonia) Kääramees Marko (Tallinn University of Technology, Estonia) Chapter 18 Markvardt Maili (Tallinn University of Technology, Estonia) Dependability Assessment of Two Network Supported Automotive Applications Hamouda Ossama (Université de Toulouse, France) Kaâniche Mohamed (Université de Toulouse, France) Chapter 8 Kanoun Karama (Université de Toulouse, France) Development of Controllers Using Simulink and Contract-Based Design Boström Pontus (Åbo Akademi University, Finland) Huova Mikko (Tampere University of Technology, Finland) Chapter 19 Marta (Pląska) Olszewska (Åbo Akademi University & Turku Centre for Computer Quantitative Reasoning About Dependability in Event-B: Science, Finland) Tarasyuk Anton (Åbo Akademi University, Finland & Turku Centre for Computer Science, Finland) Linjama Matti (Tampere University of Technology, Finland) Troubitsyna Elena (Åbo Akademi University, Finland) Heikkilä Mikko (Tampere University of Technology, Finland) Laibinis Linas (Åbo Akademi University, Finland) Sere Kaisa (Åbo Akademi University, Finland) Waldén Marina (Åbo Akademi University, Finland)

Section 3: Security Fundamentals

Chapter 9 Modeling Security Goals and Software Vulnerabilities Byers David (Linköping University, Sweden) Shahmehri Nahid (Linköping University, Sweden)

Chapter 10 A Method for Model-Driven Information Flow Security Seehusen Fredrik (SINTEF, Norway) Stølen Ketil (SINTEF, University of Oslo, Norway) Order Your Copy Today!

Name: ______c Enclosed is check payable to IGI Global in

Organization: ______US Dollars, drawn on a US-based bank c c c c Address: ______Credit Card Mastercard Visa Am. Express

City, State, Zip: ______3 or 4 Digit Security Code: ______

Country: ______Name on Card: ______

Tel: ______Account #: ______

Fax: ______Expiration Date: ______

E-mail: ______