| Description |
1 online resource (electronic texts (472 pages)) |
| Contents |
1. Towards a holistic approach to fault management : wheels within a wheel / Moises Goldszmidt [and others] -- 2. Exceptions for dependability / Emil Sekerinski -- 3. Network availability for distributed applications / Luigia Petre, Kaisa Sere and Marina Waldén -- 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 [and others] -- 6. Towards designing FPGA-based systems by refinement in B / Sergey Ostroumov [and others] -- 7. Online testing of nondeterministic systems with the reactive planning tester / Jüri Vain, Marko Kääramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Boström [and others] -- 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 [and others] -- 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én -- 18. Dependability assessment of two network supported automotive applications / Ossama Hamouda, Mohamed Kaâniche and Karama Kanoun -- 19. Quantitative reasoning about dependability in event-B : probabilistic model checking approach / Anton Tarasyuk, Elena Troubitsyna and Linas Laibinis |
| Summary |
"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 |
| Analysis |
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 |
| Bibliography |
Includes bibliographical references |
| Notes |
Title screen (IGI Global, viewed July 18, 2011) |
| Subject |
Reliability (Engineering)
|
|
Computer systems -- Reliability
|
|
Computer engineering.
|
|
TECHNOLOGY & ENGINEERING -- Quality Control.
|
|
Computer engineering
|
|
Computer systems -- Reliability
|
|
Reliability (Engineering)
|
| Form |
Electronic book
|
| Author |
Petre, Luigia, 1974-
|
|
Sere, K. (Kaisa), 1954-
|
|
Troubitsyna, Elena, 1970-
|
| ISBN |
9781609607487 |
|
1609607481 |
|
9781621989295 |
|
1621989291 |
|
