九州工業大学博士学位論文 学位記番号:情工博甲第274号 学位授与年月日:平成25年3月25日第1章 序論||第2章 障害分析の重要性と必要要件||第3章 既存の障害分析手法と先行研究||第4章 分析対象の概念モデル||第5章 逸脱要因の抽出||第6章 非正常系分析マトリクス||第7章 障害分析手法ESIM||第8章||第9章 適用実験||第10章 まとめ||第11章 今後の課
В статье рассмотрены основные изменения технического состояния автомобильной техники на эксплуатацио...
Our society is faced with an increasing dependence on computing systems, not only in high tech consu...
九州工業大学博士学位論文 学位記番号:情工博甲第316号 学位授与年月日:平成28年9月23日第1章 諸言||第2章 目視検査をモデルとした提案手法の着眼点||第3章 コーナー特徴の分散に基づく欠陥検...
目前现役和在售的嵌入式电子设备大多处于不设防状态,系统安全面临威胁。针对工业嵌入式设备自身防护能力较弱的特点,以PLC为例说明嵌入式设备存在的漏洞风险。设计了石化液位控制系统,演示了工业病毒利用漏洞进...
当前许多嵌人式系统的设计和开发采用体系结构和构件的技术,将环境对系统的要求与系统的功能分离,将系统的功能分解到各相对独立的构件,构件间的接口既要满足逻辑功能的连接,又要满足实时性要求.软硬件协同设计方...
ソフトウェアサイエンス研究会 (SS), 2005年10月13-14日, 新座市, 埼玉県, 日本本稿は,組込みシステムとその動作環境の情報フローをダイアグラムに表現し,そのダイアグラムを用いて組込み...
Embedded systems are becoming pervasive in diverse application domains,such as automotive, avionic, ...
本論文では, 信頼性の高いリアルタイム組込みシステムを効率的に設計するための一手法を提案する.提案手法では, システムの仕様Sを並行周期EFSM群で記述する.EFSM内の状態遷移にはデータ処理時間や入...
中文摘要：嵌入式系统硬件功能的软件模拟是开发工具的必备功能，也是进行软件正确性测试的有力手段。本文提出了软件模拟嵌入式中断系统的一些基本构想和实施方案，具体对外部中断、定时中断进行了仿真。通过初步设计...
安全仪表系统的安全性,可用性越来越受到重视,根据IEC61508和IEC61511的要求,安全仪表系统需要采用特殊技术来保障其安全性。本文给出了IOO2D和2OO3两种安全仪表系统体系结构的失效分析,...
The ultimate goal of the research presented in this paper is analysis, modeling, and prediction of f...
飞机或汽车上使用的电子设备和控制系统都是分布式的、容错的计算机系统,它们是由各种功能模块组合构成的。模块化结构提供的基本服务就是在不同的组件之间进行信息通信,相对于安全至上的应用来说,把这种结构统称为...
This paper describes an analysis method with failure scenario matrix for specifying unexpected obsta...
介绍了两种提高嵌入式Linux操作系统实时性方法及其在实际中的应用.可抢占式内核利用改变中断的调度机制和自旋锁的运行方法使Linux的内核变成可抢占式的.低延迟内核在长耗时的任务中插入调度点使其他的任...
組込みソフトウェアの開発においては,システムの障害などを処理する非正常系が,開発規模の約7割を占めている.筆者らが既に提案している組込みソフトウェアの非正常系分析手法において,HAZOP(Hazard...
В статье рассмотрены основные изменения технического состояния автомобильной техники на эксплуатацио...
Our society is faced with an increasing dependence on computing systems, not only in high tech consu...
九州工業大学博士学位論文 学位記番号:情工博甲第316号 学位授与年月日:平成28年9月23日第1章 諸言||第2章 目視検査をモデルとした提案手法の着眼点||第3章 コーナー特徴の分散に基づく欠陥検...
目前现役和在售的嵌入式电子设备大多处于不设防状态,系统安全面临威胁。针对工业嵌入式设备自身防护能力较弱的特点,以PLC为例说明嵌入式设备存在的漏洞风险。设计了石化液位控制系统,演示了工业病毒利用漏洞进...
当前许多嵌人式系统的设计和开发采用体系结构和构件的技术,将环境对系统的要求与系统的功能分离,将系统的功能分解到各相对独立的构件,构件间的接口既要满足逻辑功能的连接,又要满足实时性要求.软硬件协同设计方...
ソフトウェアサイエンス研究会 (SS), 2005年10月13-14日, 新座市, 埼玉県, 日本本稿は,組込みシステムとその動作環境の情報フローをダイアグラムに表現し,そのダイアグラムを用いて組込み...
Embedded systems are becoming pervasive in diverse application domains,such as automotive, avionic, ...
本論文では, 信頼性の高いリアルタイム組込みシステムを効率的に設計するための一手法を提案する.提案手法では, システムの仕様Sを並行周期EFSM群で記述する.EFSM内の状態遷移にはデータ処理時間や入...
中文摘要：嵌入式系统硬件功能的软件模拟是开发工具的必备功能，也是进行软件正确性测试的有力手段。本文提出了软件模拟嵌入式中断系统的一些基本构想和实施方案，具体对外部中断、定时中断进行了仿真。通过初步设计...
安全仪表系统的安全性,可用性越来越受到重视,根据IEC61508和IEC61511的要求,安全仪表系统需要采用特殊技术来保障其安全性。本文给出了IOO2D和2OO3两种安全仪表系统体系结构的失效分析,...
The ultimate goal of the research presented in this paper is analysis, modeling, and prediction of f...
飞机或汽车上使用的电子设备和控制系统都是分布式的、容错的计算机系统,它们是由各种功能模块组合构成的。模块化结构提供的基本服务就是在不同的组件之间进行信息通信,相对于安全至上的应用来说,把这种结构统称为...
This paper describes an analysis method with failure scenario matrix for specifying unexpected obsta...
介绍了两种提高嵌入式Linux操作系统实时性方法及其在实际中的应用.可抢占式内核利用改变中断的调度机制和自旋锁的运行方法使Linux的内核变成可抢占式的.低延迟内核在长耗时的任务中插入调度点使其他的任...
組込みソフトウェアの開発においては,システムの障害などを処理する非正常系が,開発規模の約7割を占めている.筆者らが既に提案している組込みソフトウェアの非正常系分析手法において,HAZOP(Hazard...
В статье рассмотрены основные изменения технического состояния автомобильной техники на эксплуатацио...
Our society is faced with an increasing dependence on computing systems, not only in high tech consu...
九州工業大学博士学位論文 学位記番号:情工博甲第316号 学位授与年月日:平成28年9月23日第1章 諸言||第2章 目視検査をモデルとした提案手法の着眼点||第3章 コーナー特徴の分散に基づく欠陥検...
Add to ORKG