|
" Dependability and computer engineering "
Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
615462
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Dependability and computer engineering : concepts for software-intensive systems /\ Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors.
|
| Publication Statement
|
:
|
Hershey, Pa. :: IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),, c2012.
|
| Page. NO
|
:
|
electronic texts (472 p.) :: digital files.
|
| ISBN
|
:
|
9781609607487
|
|
|
:
|
9781609607470
|
|
|
:
|
9781609607494
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Contents
|
:
|
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é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 ... [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üri Vain, Marko Kääramees and Maili Markvardt -- 8. Development of controllers using Simulink and contract-based design / Pontus Boström ... [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é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.
|
| Abstract
|
:
|
"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.
|
| Subject
|
:
|
Reliability (Engineering)
|
| Subject
|
:
|
Computer systems-- Reliability.
|
| Subject
|
:
|
Computer engineering.
|
| Added Entry
|
:
|
Petre, Luigia,1974-
|
|
|
:
|
Sere, K., (Kaisa),1954-
|
|
|
:
|
Troubitsyna, Elena,1970-
|
| Added Entry
|
:
|
IGI Global.
|
| |