Dependability and computer engineering  concepts for software-intensive systems /  [electronic resource] : 
Luigia Petre, Kaisa Sere and Elena Troubitsyna, editors. 
 - Hershey, Pa. :  IGI Global (701 E. Chocolate Avenue, Hershey, Pennsylvania, 17033, USA),  c2012. 
 - electronic texts (472 p.) :  digital files. 
<br/><br/>Includes bibliographical references. 
<br/><br/>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. 
<br/><br/> Restricted to subscribers or individual electronic text purchasers. 
<br/><br/> "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. 
<br/><br/>
<br/><br/><br/>Mode of access: World Wide Web. 
<br/><br/><label>ISBN: </label>9781609607487 (ebook) 
<br/><br/><label>Standard No.: </label>10.4018/978-1-60960-747-0  doi 
<br/><br/><label>LCCN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Reliability (Engineering)<br/>Computer systems--Reliability.<br/>Computer engineering.
<br/><br/><label>Subjects--Index Terms: </label>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 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>TS173  / .D47 2012e 
<br/><br/><label>Dewey Class. No.: </label>620/.00452