Dependability and computer engineering : concepts for software-intensive systems

Saved in:
Bibliographic Details
Other Authors Petre, Luigia, 1974-, Sere, K. 1954-, Troubitsyna, Elena, 1970-
Format Electronic eBook
LanguageEnglish
Published Hershey, Pa. : IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA), 2011.
Subjects
Reliability (Engineering)
Computer systems > Reliability.
Computer engineering.
elektronické knihy
electronic books
Online AccessFull text
ISBN9781609607487
1609607481
9781621989295
1621989291
9781609607470
9781609607494
Physical Description1 online resource (electronic texts (472 pages))

Cover

Table of 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.

Similar Items