𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 7612 || An Ontological Approach to Systematization of SW-FMEA

✍ Scribed by Ortmeier, Frank; Daniel, Peter

Book ID: 121794296
Publisher: Springer Berlin Heidelberg
Year: 2012
Tongue: English
Weight: 588 KB
Edition: 1
Category: Article
ISBN: 3642336787
DOI: 10.1007/978-3-642-33678-2_15

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems

✍ Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 465 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Network Security Volume 3685 || An Ontology-Based Approach to Information Systems Security Management

✍ Gorodetsky, Vladimir; Kotenko, Igor; Skormin, Victor 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 361 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6351 || Security Analysis of Open Building Automation Systems

✍ Schoitsch, Erwin 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 533 KB

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ag

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 7613 || A Systematic Elaboration of Safety Requirements in the Avionic Domain

✍ Ortmeier, Frank; Daniel, Peter 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 273 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Security Analysis of Smart Grid Data Collection Technologies

✍ Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 779 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 5219 || Formal Security Analysis of Electronic Software Distribution Systems

✍ Harrison, Michael D.; Sujan, Mark-Alexander 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 205 KB

This Book Constitutes The Refereed Proceedings Of The 27th International Conference On Computer Safety, Reliability, And Security, Safecomp 2008, Held In Newcastle Upon Tyne, Uk, In September 2008. The 32 Revised Full Papers Presented Together With 3 Keynote Papers And A Panel Session Were Carefully