请选择 进入手机版 | 继续访问电脑版

科研迷论坛

 找回密码
 立即注册

QQ登录

只需一步,快速开始

搜索
查看: 5|回复: 1

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings-[1]-[2005]-[pdf]-[Jose Antonio Fonseca (auth.), Rune Winther, Bjørn Axel Gran, Gustav Dahll (eds.)]

[复制链接]

该用户从未签到

0

主题

0

小红花

125

学币

管理员

Rank: 9

积分
0
发表于 2020-1-25 22:17:51 | 显示全部楼层 |阅读模式
★★★如何下载★★★1、VIP学者回复帖子后可以看到下载链接,免费下载!点击这里成为VIP学者!
2、普通用户回复帖子后可以看到下载链接,回复将花费5学币点击这里获取学币!


免费下载30页预览文件

书籍信息:
书名: Computer Safety, Reliability, and Security: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
语言: English
格式: pdf
大小: 5.4M
页数: 405
年份: 2005
作者: Jose Antonio Fonseca (auth.), Rune Winther, Bjørn Axel Gran, Gustav Dahll (eds.)
版次: 1
系列: Lecture Notes in Computer Science 3688
出版社: Springer-Verlag Berlin Heidelberg

简介

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.
The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.




目录
Front Matter....Pages -
CMMI RAMS Extension Based on CENELEC Railway Standard....Pages 1-12
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems....Pages 13-23
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems....Pages 24-36
Defining and Decomposing Safety Policy for Systems of Systems....Pages 37-51
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment....Pages 52-66
Control and Data Flow Testing on Function Block Diagrams....Pages 67-80
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software....Pages 81-93
Automatic Analysis of a Safety Critical Tele Control System....Pages 94-107
A Formal Model for Fault-Tolerance in Distributed Systems....Pages 108-121
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier....Pages 122-135
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control....Pages 136-150
On the Effectiveness of Run-Time Checks....Pages 151-164
A Technique for Fault Tolerance Assessment of COTS Based Systems....Pages 165-178
Finding Upper Bounds for Software Failure Probabilities – Experiments and Results....Pages 179-193
Justification of Smart Sensors for Nuclear Applications....Pages 194-207
Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain....Pages 208-221
Public-Key Cryptography and Availability....Pages 222-232
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems....Pages 233-245
Safety Interfaces for Component-Based Systems....Pages 246-260
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts....Pages 261-274
Are High-Level Languages Suitable for Robust Telecoms Software?....Pages 275-288
Functional Apportioning of Safety Requirements on Railway Signalling Systems....Pages 289-302
Automatic Code Generation for PLC Controllers....Pages 303-316
The TACO Approach for Traceability and Communication of Requirements....Pages 317-329
An IEC 62061 Compliant Safety System Design Method for Machinery....Pages 330-343
Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs....Pages 344-356
The Application of an Object-Oriented Method in Information System Security Evaluation....Pages 357-367
Towards a Cyber Security Reporting System – A Quality Improvement Process....Pages 368-380
Security Research from a Multi-disciplinary and Multi-sectoral Perspective....Pages 381-389
Problem Frames and Architectures for Security Problems....Pages 390-404
Back Matter....Pages -

电子书下载地址(Ebook download address)回复可见:
游客,如果您要查看本帖隐藏内容请回复

回复

使用道具 举报

  • TA的每日心情
    郁闷
    2 小时前
  • 签到天数: 10 天

    [LV.3]偶尔看看II

    2

    主题

    0

    小红花

    9896

    学币

    VIP学者

    Rank: 9

    积分
    153
    发表于 2020-6-24 17:29:19 | 显示全部楼层
    每天进步一点点
    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 立即注册

    本版积分规则

    关闭

    站长推荐上一条 /1 下一条

    Archiver|手机版|小黑屋|科研迷论坛 ( 闽ICP备17033831号-3 ) hello xym!!

    GMT+8, 2020-7-4 09:28 , Processed in 0.045266 second(s), 8 queries , Redis On.

    Powered by Discuz! X3.4

    Copyright © 2001-2020, Tencent Cloud.

    快速回复 返回顶部 返回列表