Dependability and computer engineering concepts for software-intensive systems
"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
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Hershey PA
Engineering Science Reference
[2012]
|
| Schriftenreihe: | Premier reference source
|
| Schlagworte: | |
| Online-Zugang: | DE-706 DE-1049 DE-898 DE-1050 DE-83 URL des Erstveröffentlichers |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- 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