Posts Tagged with "RAMS"

既に発行済みのブログであっても適宜修正・追加することがあります。
We may make changes and additions to blogs already published.
posted by sakurai on October 26, 2022 #539

図%%.1

On October 22, 2022, a paper by Atsushi Sakurai, CEO of FS Micro Corporation (Head Office: Nagoya, Japan), a leading provider of functional safety (Note 1) consulting services, was formally accepted by RAMS (Note 2) 2023, an international conference on reliability organized by IEEE (Note 3). This is the fourth consecutive year that the author's paper has been accepted to RAMS. The author also received the Best Paper Award at the 14th ISPCE 2017 (Note 4), an international conference hosted by IEEE in 2017.

RAMS 2023 is scheduled for January 23-26, 2023, at the Florida Hotel and Conference Center in Orlando, Florida, USA.

図%%.2

In 2018, the second edition of ISO 26262 (Note 5), the international standard for functional safety in automotive electronics, was published, and the PMHF (Note 6) equation was also revised. At RAMS 2020, the author clarified the mathematical background of the PMHF formula and proposed a new PMHF formula with which optimal values can be calculated.

This paper re-proves the author's PMHF formula by using the newly proposed stochastic constituents. Specifically, the PMHF formula in ISO 26262 Edition 1 is decomposed into stochastic constituents by considering the combined elements of the intended function and the safety mechanism, and the PMHF formula is proved to be the PMHF formula in the case where the intended function and the safety mechanism are repairable. This makes it possible to prevent overestimation of the PMHF, which has been seen in the past. As a result, it is expected to reduce design man-hours and time-to-market for fault-tolerant systems (Note 7), as represented by self-driving systems.

Company name: FS Micro Corporation
Representative: Atsushi Sakurai
Date of establishment August 21, 2013
Capital: 32 million yen
Business description Consulting and seminars on functional safety of ISO 26262 automotive electronic devices
Address of Head Office 460-0011 4-1-57 Osu, Naka-ku, Nagoya, Aichi, Japan
Phone: +81-52-263-3099
E-mail address info@fs-micro.com
URL http://fs-micro.com/

Notes
Note 1: Functional safety is the concept of enhancing safety at the system level by taking various safety measures.
Note 2: IEEE stands for the Institute of Electrical and Electronics Engineers. It is the world's largest conference on electrical and electronic engineering technology in terms of number of participants and participating countries. http://ieee.org/
Note 3: RAMS stands for The 69th Annual Reliability & Maintainability Symposium, an international conference on reliability engineering organized annually by the IEEE Reliability Society. http://rams.org/
Note 4: ISPCE stands for IEEE Symposium on Product Compliance Engineering, an international conference on product safety organized annually by the IEEE Product Safety Society. http://2017.psessymposium.org/
Note 5: ISO 26262 is a functional safety standard for in-vehicle electrical and electronic systems, an international standard that aims to reduce the possibility of dangerous events to an acceptable level occurring during vehicle operation due to malfunctions of in-vehicle electrical and electronic systems.
Note 6: PMHF stands for Probabilistic Metric for Random Hardware Failures. It is one of the design target values for hardware in ISO 26262, which is a time average of the probability of system failure during the vehicle lifetime.
Note 7: Fault-tolerant systems are safety-enhancing systems that can substitute the original function without immediately losing the function in the event of a failure.


左矢前のブログ 次のブログ右矢

posted by sakurai on October 25, 2022 #538

図%%.1

機能安全(注1)コンサルティングを提供するFSマイクロ株式会社(本社:名古屋市)代表取締役社長 桜井 厚の論文が、2022年10月22日、IEEE(注2)主催の信頼性に関する国際学会であるRAMS 2023(注3)に正式採択されました。同著者の論文がRAMSに採択されるのは4年連続となります。また同著者は、2017年にIEEE主催の国際学会である第14回ISPCE 2017(注4)において、最優秀論文賞を受賞しています。

RAMS 2023は、2023年1月23日から26日まで米国フロリダ州オーランドのフロリダホテルアンドカンファレンスセンターにて開催される予定です。

図%%.2

2018年に車載電子機器における機能安全の国際規格であるISO 26262(注5)第2版が発行され、併せてPMHF(注6)式も改訂されました。同著者はRAMS 2020において、このPMHF式の数学的な背景を明らかにし、最適値が算出可能な新しいPMHF式を提案しました。

本論文は、新提案の確率的構成要素を用いることで、同著者の提唱するPMHF式を再度証明したものです。具体的には主機能と安全機構の合体エレメントを考えることで、ISO26262第1版におけるPMHF式を確率的構成要素に分解し、主機能と安全機構が修復可能な場合におけるPMHF式となることを証明しました。そのため、従来見られたPMHFの過剰見積りを防止することが可能となります。これにより、自動運転システムに代表される耐故障システム(注7)の設計工数の削減と市場投入期間の短縮が期待されます。

【お問い合わせ先】
商号      FSマイクロ株式会社
代表者     桜井 厚
設立年月日   2013年8月21日
資本金     3,200万円
事業内容    ISO 26262車載電子機器の機能安全のコンサルティング及びセミナー
本店所在地   〒460-0011
        愛知県名古屋市中区大須4-1-57
電話      052-263-3099
メールアドレス info@fs-micro.com
URL      http://fs-micro.com/

【注釈】
注1:機能安全は、様々な安全方策を講じることにより、システムレベルでの安全性を高める考え方
注2:IEEE(アイトリプルイー)はInstitute of Electrical and Electronics Engineersの略称。電気工学・電子工学技術に関する、参加人数、参加国とも世界最大規模の学会 http://ieee.org/
注3:RAMS(ラムズ)2023はThe 69th Annual Reliability & Maintainability Symposiumの略称。IEEE信頼性部会が主催する、信頼性工学に関する国際学会 http://rams.org/
注4:ISPCE(アイスパイス)はIEEE Symposium on Product Compliance Engineeringの略称。IEEE製品安全部会が主催する、製品安全に関する国際学会 http://2017.psessymposium.org/
注5:ISO 26262とは車載電気・電子システムに関する機能安全規格であり、自動車の運行中に車載電気・電子システムの故障により危険な事象が起きる可能性を、許容できる範囲にまで減少させることを目的とした国際規格
注6:PMHF(ピーエムエイチエフ)はProbabilistic Metric for Random Hardware Failuresの略称。車載電気・電子システムにおいて、車両寿命間にシステムが不稼働となる確率を時間平均した、ISO 26262のハードウェアに関する設計目標値のひとつ
注7:耐故障システムとは、故障した場合に直ちに機能を失うことなく、本来の機能を代替可能な安全性向上のためのシステム


左矢前のブログ 次のブログ右矢

posted by sakurai on October 25, 2022 #537

10/22に最終論文を提出するようにRAMS委員会から返答がありました。10/25に最終論文及びプレゼン資料を登録し、これで正式採択となります。

RAMS 2023は2023年1月にフロリダ州オーランドで開催予定ですが、CDCによる入国制限が今だ継続しており、米国入国が可能かどうかは現段階では不透明です。なお、入国できない場合は録画等で発表予定です。

表537.1 RAMS 2023へのマイルストーン
期限 マイルストーン 状態
2022/8/1 論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2022/9/12022/9/27 第1回論文、プレゼン資料査読コメント受領 受領済
2022/10/9 改訂版論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2022/10/22 最終査読コメント受領 受領済
2022/10/10 学会出席登録締め切り 登録済
2022/10/102022/10/25 最終論文、プレゼン投稿締め切り(名前、所属有り版) 登録済


左矢前のブログ 次のブログ右矢

posted by sakurai on October 6, 2022 #525

レビュー結果に対する応答を行いました。RAMS 2023は2023年1月にフロリダ州オーランドで開催予定ですが、CDCによる入国制限が継続しており、実際に米国入国が可能かどうかは現段階では不透明です。なお、入国できない場合は録画等で発表予定です。

表525.1はRAMS 2023正式採択までのマイルストーンであり、今後適宜更新します。

表525.1 RAMS 2023へのマイルストーン
期限 マイルストーン 状態
2022/8/1 論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2022/9/12022/9/27 第1回論文、プレゼン資料査読コメント受領 受領済
2022/10/9 改訂版論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2022/?/? 最終査読コメント受領
2022/10/10 学会出席登録締め切り 登録済
2022/10/10 最終論文、プレゼン投稿締め切り(名前、所属有り版)


左矢前のブログ 次のブログ右矢

posted by sakurai on September 28, 2022 #519

表519.1に弊社代表の投稿した論文の実績と予定を示します。

表519.1 PMHF論文の実績と予定表
No. 学会 論文タイトル 内容 採択/未
1 2017 ISPCE Generalized formula for the calculation of a probabilistic metric for random hardware failures in redundant subsystems PMHF式を初めて冗長系に拡張 採択
2 2020 RAMS Generic Equations for a Probabilistic Metric for Random Hardware Failures According to ISO 26262 PMHF式を初めて理論的に導出 採択
3 2021 RAMS A Framework for Performing Quantitative Fault Tree Analyses for Subsystems with Periodic Repairs 理論的に導出したPMHFのFTA構成法 採択
4 2022 RAMS Formulas of the Probabilistic Metric for Random Hardware Failures to Resolve a Dilemma in ISO 26262 LFMと整合するPMHF式の導出 採択
5 2023 RAMS Stochastic Constituents for the Probabilistic Metric for Hardware Failures 確率構成要素を用いたIFRモデルの証明 レビュー修正中採択
6 2024 RAMS Inaccuracies in the probabilistic metric (PMHF) formula of ISO 26262 2nd editionの誤りと正確なPMHF式
7 2025 RAMS 未定 Q(t)の導出
8 2026 RAMS 未定 EOTTIの導出


左矢前のブログ 次のブログ右矢

posted by sakurai on September 27, 2022 #518

本日(2022/9/27)レビュー結果を受領しました。

表518.1はRAMS 2023正式採択までのマイルストーンであり、今後適宜更新します。

表518.1 RAMS 2023へのマイルストーン
期限 マイルストーン 状態
2022/8/1 論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2022/9/12022/9/27 第1回論文、プレゼン資料査読コメント受領 受領済
2022/10/9 改訂版論文、プレゼン投稿締め切り(名前、所属無し版)
2022/?/? 最終査読コメント受領
2022/10/10 学会出席登録締め切り 登録済
2022/10/10 最終論文、プレゼン投稿締め切り(名前、所属有り版)

今年のRAMSはレビューが遅れ、当初9/1までにレビュー結果を受領する予定が、途中で確認したところ9/Mとのことでした。実際にはさらに遅れ、本日9/27に受領しました。ところが改訂版の締め切りは10/9と延期していないようです。

ただし、レビュー結果のコメントは2件とも非常に評価が高く、それは良かった点です。レビュー#1はコメントが無いようです。

Review # 2
Comments for the AUTHOR:
Paper is well written and acceptable.
(以下省略)

Review # 3
Comments for the AUTHOR:
The paper is very well-written, synthetic and interesting. It provides new developments concerning the probabilistic metric for random hardware failures formula present in the first two editions of the standard ISO 26262 on functional safety of electrical and/or electronic systems within road vehicles.
(以下省略)


左矢前のブログ 次のブログ右矢

RAMS 2023(2)

posted by sakurai on August 3, 2022 #494

記事#482の続きです。

RAMS 2023のプログラムが発表されました。弊社の投稿した論文の枠は、E01(Reliability Modeling 1, グリーンで表示), 2023/1/23の10:15からとのことです。

図%%.1
図494.1 RAMS 2023プログラムマトリクス


左矢前のブログ 次のブログ右矢

RAMS 2023採択へのマイルストーン

posted by sakurai on July 30, 2022 #493

表493.1はRAMS 2023正式採択までのマイルストーンであり、今後適宜更新します。

表493.1 RAMS 2023へのマイルストーン
期限 マイルストーン 状態
2022/8/1 論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2022/9/1 第1回論文、プレゼン資料査読コメント受領
2022/?/? 改訂版論文、プレゼン投稿締め切り(名前、所属無し版)
2022/?/? 最終査読コメント受領
2022/10/10 学会出席登録締め切り 登録済
2022/10/10 最終論文、プレゼン投稿締め切り(名前、所属有り版)

プレゼン資料投稿済みとなっていますが、実際には投稿システムの不具合により、論文のみの投稿となっています。⇒投稿システムが改修されたため、プレゼン資料もあわせて投稿しました(8/3)。

左矢前のブログ 次のブログ右矢

確率コントリビューション(6)

posted by sakurai on July 7, 2022 #491

ストレートフォワード

そもそもIFとSM1のコンビネーションの確率全体を求め、以下の

 ①IF⇒IF
 ②IF⇒SM1
 ③SM1⇒IF
 ④SM1⇒SM1

①~④の和から①と④を引いたのですが、各々を求められるのであれば、DPFの対象は異なるエレメントのフォールトの組み合わせなので、②と③の和で良いはずです。

従って、②のPMHFは記事#489を参照して、 $$ M_\text{PMHF,DPF,IF⇒SM1}=\img[-1.35em]{/images/withinseminar.png}\\ \tag{491.1} $$

また③のPMHFも同様に $$ M_\text{PMHF,DPF,SM1⇒IF}=\img[-1.35em]{/images/withinseminar.png}\\ \tag{491.2} $$ 従って、PMHFのDPF部分は、(491.1)及び(491.2)を加えて $$ \require{cancel} \begin{eqnarray} M_\text{PMHF,DPF}&=&M_\text{PMHF,DPF,IF⇒SM1}+M_\text{PMHF,DPF,SM1⇒IF}\\ &\approx&\img[-1.35em]{/images/withinseminar.png}\\ \end{eqnarray} \tag{491.3} $$ これは過去記事で求めた、(222.9)のPMHF値のDPF項と完全に一致します。

さらに、2021年論文のようにLFMと互換性のあるPMHFを考えるのであれば、IFのMPFフォールトはレイテントにならずに直ちに修理されると考えると、DPFのケースは③のみとなります。従って、PMHFは $$ \begin{eqnarray} M_\text{PMHF,DPF}&=&\img[-1.35em]{/images/withinseminar.png}\\ \end{eqnarray} \tag{491.4} $$

となります。ただし、非冗長系においてはIFのフォールトは即時修理され、レイテントとならないことから$K_\text{IF,MPF}=0$となるので、これを代入すれば、$K_\text{MPF}=K_\text{SM,MPF}$となり、(491.4)は、

$$ \begin{eqnarray} M_\text{PMHF,DPF}&=&\img[-1.35em]{/images/withinseminar.png}\\ \end{eqnarray} \tag{491.5} $$ となります。

なお、本稿はRAMS 2023に投稿中のため一部を秘匿していますが、論文公開後の2023年2月頃に開示予定です。

確率コントリビューションの稿 完■


左矢前のブログ 次のブログ右矢

確率コントリビューション(5)

posted by sakurai on June 27, 2022 #490

過剰確率の調整

しかしながら前稿の注※確率調整で示すように、ユニオンエレメントに関して解いて得られたPMHF(488.6)は余分な場合を2パターン含みます。余分な場合とはユニオンが2回フォールトする時、

 ①IFのフォールトに引き続いてIFがフォールトする
 ②SM1のフォールトに引き続いてSM1がフォールトする

となる場合が含まれるため、そのPMHFを差し引く必要があるからです。

すると、①のPMHFは(489.5)であり、 $$ M_\text{PMHF,DPF,IF⇒IF}=\img[-1.35em]{/images/withinseminar.png}\\ \tag{490.1} $$ また②のPMHFも同様に(489.8)であるため、 $$ M_\text{PMHF,DPF,SM⇒SM}=\img[-1.35em]{/images/withinseminar.png} \tag{490.2} $$ 従って、PMHFのDPF部分は、(488.6)から(490.1)及び(490.2)を差し引いて、 $$ \begin{eqnarray} M_\text{PMHF,DPF}&=&M_{\text{PMHF,DPF,IF}\cup\text{SM}}-M_\text{PMHF,DPF,IF⇒IF}-M_\text{PMHF,DPF,SM⇒SM}\\ &=&\img[-1.35em]{/images/withinseminar.png}\\ \end{eqnarray} \tag{490.3} $$ これは過去記事で求めた、(222.9)のPMHF値のDPF項と完全に一致します。このように、得られた方程式に対して別の角度から整合性のある解釈ができることは、大変に面白いだけでなく方程式の妥当性を裏付けるものと考えます。

また、確率コントリビューションの考えから1st editionの式を出発点として、2nd editionの式ではなく、2020年論文の式が導出されることも大変興味深い事実です。

なお、本稿はRAMS 2023に投稿中のため一部を秘匿していますが、論文公開後の2023年2月頃に開示予定です。


左矢前のブログ 次のブログ右矢


ページ: