找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Safe Comp 95; The 14th Internation Gerhard Rabe Conference proceedings 1995 Springer-Verlag London 1995 Diversity.Standards.automation.comp

[復(fù)制鏈接]
查看: 54155|回復(fù): 49
樓主
發(fā)表于 2025-3-21 16:04:28 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Safe Comp 95
副標(biāo)題The 14th Internation
編輯Gerhard Rabe
視頻videohttp://file.papertrans.cn/861/860459/860459.mp4
圖書封面Titlebook: Safe Comp 95; The 14th Internation Gerhard Rabe Conference proceedings 1995 Springer-Verlag London 1995 Diversity.Standards.automation.comp
描述Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require- and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho- logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP ‘
出版日期Conference proceedings 1995
關(guān)鍵詞Diversity; Standards; automation; computer; design; formal method; formal methods; modeling; reliability; req
版次1
doihttps://doi.org/10.1007/978-1-4471-3054-3
isbn_softcover978-3-540-19962-5
isbn_ebook978-1-4471-3054-3
copyrightSpringer-Verlag London 1995
The information of publication is updating

書目名稱Safe Comp 95影響因子(影響力)




書目名稱Safe Comp 95影響因子(影響力)學(xué)科排名




書目名稱Safe Comp 95網(wǎng)絡(luò)公開度




書目名稱Safe Comp 95網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Safe Comp 95被引頻次




書目名稱Safe Comp 95被引頻次學(xué)科排名




書目名稱Safe Comp 95年度引用




書目名稱Safe Comp 95年度引用學(xué)科排名




書目名稱Safe Comp 95讀者反饋




書目名稱Safe Comp 95讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

0票 0.00%

Perfect with Aesthetics

 

1票 100.00%

Better Implies Difficulty

 

0票 0.00%

Good and Satisfactory

 

0票 0.00%

Adverse Performance

 

0票 0.00%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 20:14:40 | 只看該作者
板凳
發(fā)表于 2025-3-22 01:53:53 | 只看該作者
地板
發(fā)表于 2025-3-22 07:41:09 | 只看該作者
5#
發(fā)表于 2025-3-22 11:34:48 | 只看該作者
6#
發(fā)表于 2025-3-22 16:04:24 | 只看該作者
Safety Analysis for Requirements Specifications: Methods and Techniquest domains that make up such systems. The effective management of the interactions between the entities of these domains is essential to obtain high —levels of safety. In this paper, we present a method for conducting safety analysis of requirements specifications that accommodates different domains.
7#
發(fā)表于 2025-3-22 20:21:58 | 只看該作者
A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System, designed and produced with the appropriate attention to safety is not trivial. In PES, failures due to design mistakes may dominate random hardware failures, so it is crucial to identify hazards early in the design process, then to take appropriate design measures to mitigate the hazards. Hazard a
8#
發(fā)表于 2025-3-22 22:14:28 | 只看該作者
An Automated Code-Based Fault-Tree Mitigation Techniquebased technique to mitigate the potential for non-root nodes to cause hazardous outputs. This methodology reads in source code and user-defined hazards, builds the fault-tree, and then feeds the fault-tree, code, and user-defined operational profile to a mitigator routine that estimates the frequenc
9#
發(fā)表于 2025-3-23 02:32:59 | 只看該作者
Formal Support for the Safety Analysis of Requirement ModelsSynchronous Calculus of Communicating Systems) to model and analyse control systems. In particular, we discuss the interplay between traditional hazard analysis techniques and formal methods and their associated analyses in the context of an integrated model. Also a process model with tool supports
10#
發(fā)表于 2025-3-23 06:17:57 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-5 02:24
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
丽江市| 秀山| 德阳市| 河南省| 通州市| 太原市| 澜沧| 晋中市| 两当县| 德清县| 石河子市| 弋阳县| 全州县| 卓尼县| 佛教| 湖州市| 图们市| 绿春县| 仁怀市| 福泉市| 西昌市| 双流县| 阆中市| 郸城县| 通榆县| 漾濞| 龙山县| 海林市| 鄂伦春自治旗| 盈江县| 商城县| 丰镇市| 商南县| 临邑县| 邢台县| 六盘水市| 怀宁县| 两当县| 化隆| 岢岚县| 仁化县|