Engineering dependable software systems /
Engineering dependable software systems /
edited by Manfred Broy, Doron Peled and Georg Kalus.
- 1 online resource (ix, 365 pages .).
- NATO science for peace and security series. Sub-series D, Information and communication security ; vol. 34 .
- NATO science for peace and security series. Sub-series D, Information and communication security ; v. 34. .
"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. "Published in cooperation with NATO Emerging Security Challenges Division."
Includes bibliographical references and indexes.
A logical approach to systems engineering artifacts and traceability: from requirements to functional and architectural views / Mastering system analysis and design through abstraction and refinement / Data abstraction in VCC / Families of software systems: a model checking approach / A tutorial on runtime verification / Model checking meets probability: a gentle introduction / Risk-driven engineering of requirements for dependable systems / Model-based verification, optimization, synthesis and performance evaluation of real-time systems / Model-driven engineering and model transformation: for fun and profit / Symbolic execution and software testing / Model checking basics / Subject index -- Author index. Manfred Broy -- Michael Butler -- Ernie Cohen -- Stefania Gnesi -- Yliès Falcone, Klaus Havelund and Giles Reger -- Joost-Pieter Katoen -- Axel van Lamsweerde -- Uli Fahrenberg, Kim G. Larsen, Axel Legay and Claus Thrane -- Richard F. Paige and Dimitrios S. Kolovos -- Corina S. Păsăreanu -- Doron Peled --
"Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."--
English.
9781614992073 (electronic bk.) 161499207X (electronic bk.)
016505928 Uk
Computer software--Verification--Congresses.
Computer systems--Verification--Congresses.
Logiciels--Vérification--Congrès.
Systèmes informatiques--Vérification--Congrès.
COMPUTERS--Software Development & Engineering--General.
Computer software--Verification.
Computer systems--Verification.
Electronic books.
Electronic books.
Conference papers and proceedings.
QA76.76.V47 / N38 2012
005.1/4
"Proceedings of the NATO Advanced Study Institute on Engineering Dependable Software Systems, Marktoberdorf, Germany, 31 July - 12 August 2012"--Title page verso. "Published in cooperation with NATO Emerging Security Challenges Division."
Includes bibliographical references and indexes.
A logical approach to systems engineering artifacts and traceability: from requirements to functional and architectural views / Mastering system analysis and design through abstraction and refinement / Data abstraction in VCC / Families of software systems: a model checking approach / A tutorial on runtime verification / Model checking meets probability: a gentle introduction / Risk-driven engineering of requirements for dependable systems / Model-based verification, optimization, synthesis and performance evaluation of real-time systems / Model-driven engineering and model transformation: for fun and profit / Symbolic execution and software testing / Model checking basics / Subject index -- Author index. Manfred Broy -- Michael Butler -- Ernie Cohen -- Stefania Gnesi -- Yliès Falcone, Klaus Havelund and Giles Reger -- Joost-Pieter Katoen -- Axel van Lamsweerde -- Uli Fahrenberg, Kim G. Larsen, Axel Legay and Claus Thrane -- Richard F. Paige and Dimitrios S. Kolovos -- Corina S. Păsăreanu -- Doron Peled --
"Because almost all technical systems are more or less interfaced with software these days, attacks against computer systems can cause considerable economic and physical damage. For this reason, understanding the dependability of such systems, as well as the improvement of cyber security and its development process, are amongst the most challenging and crucial issues in current computer science research. This book contains the lectures from the NATO Advanced STudy INstitute (ASI) Summer School entitled Engineering Dependable Software Systems, held in Marktoberdorf, Germany in July and August 2012. This tow week course for young computer scientists and mathematicians working in the field of formal software and systems was designed to give an in-depth presentation of state-of-the-art topics in the field, as well as promoting international contacts and collaboration and the teaming up of leading researchers and young scientists. The 12 lectures delivered at the school and presented here cover subjects including: model-based testing, formal modeling and verification, decudtively verified software, model checking, performance anlysis, integrating risk analysis, embedded systems and model checking, among others. The book will be of interest to all those whose work involves the development of large-scale, reliable and secure software systems."--
English.
9781614992073 (electronic bk.) 161499207X (electronic bk.)
016505928 Uk
Computer software--Verification--Congresses.
Computer systems--Verification--Congresses.
Logiciels--Vérification--Congrès.
Systèmes informatiques--Vérification--Congrès.
COMPUTERS--Software Development & Engineering--General.
Computer software--Verification.
Computer systems--Verification.
Electronic books.
Electronic books.
Conference papers and proceedings.
QA76.76.V47 / N38 2012
005.1/4