Dependability and computer engineering [electronic resource] : concepts for software-intensive systems / Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
Publication details: Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), c2012.Description: electronic texts (472 p.) : digital filesISBN:- 9781609607487 (ebook)
- Reliability (Engineering)
- Computer systems -- Reliability
- Computer engineering
- Dependability
- Security in domain-specific areas
- Dependable systems
- Model-based reasoning
- Modeling real-time behavior
- Hybrid systems
- Distributed systems
- Software security
- Testing and verification of software-intensive systems
- Complex control systems
- 620/.00452 22
- TS173 .D47 2012e
- Also available in print.
eBooks
Includes bibliographical references.
1. Towards a holistic approach to fault management : wheels within a wheel / Moises Goldszmidt ... [et al.] -- 2. Exceptions for dependability / Emil Sekerinski -- 3. Network availability for distributed applications / Luigia Petre, Kaisa Sere and Marina Wald�en -- 4. Formal stepwise development of scalable and reliable multiagent systems / Denis Grotsev, Alexei Iliasov and Alexander Romanovsky -- 5. Development of safety-critical control systems in Event-B using FMEA / Yuliya Prokhorova ... [et al.] -- 6. Towards designing FPGA-based systems by refinement in B / Sergey Ostroumov ... [et al.] -- 7. Online testing of nondeterministic systems with the reactive planning tester / J�uri Vain, Marko K�a�aramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Bostr�om ... [et al.] -- 9. Modeling security goals and software vulnerabilities / David Byers and Nahid Shahmehri -- 10. A method for model-driven information flow security / Fredrik Seehusen and Ketil St�len -- 11. Security of dependable systems / Naveed Ahmed and Christian Damsgaard Jensen -- 12. Application security for mobile devices / Gabriele Costa ... [et al.] -- 13. Supporting software evolution for open smart cards by security-by-contract / Nicola Dragoni, Olga Gadyatskya and Fabio Massacci -- 14. SecInvest : balancing security needs with financial and business constraints / Siv Hilde Houmb, Indrajit Ray and Indrakshi Ray --
15. Using model-driven risk analysis in component-based development / Gyrd Braendeland and Ketil St�len -- 16. Uncertainty handling in weighted dependency trees : a systematic literature review / Aida Omerovic, Amela Karahasanovic and Ketil St�len -- 17. Measuring the progress of a system development / Marta (Plaska) Olszewska and Marina Wald�en -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Ka�aniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis.
Restricted to subscribers or individual electronic text purchasers.
"This book 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"--Provided by publisher.
Also available in print.
Mode of access: World Wide Web.
Description based on title screen (IGI Global, viewed July 18, 2011).