Posts Tagged with "RAMS"

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

AJEに依頼したアブストラクトの修正が返ってきたので反映し、システムに登録しました。今回のIDは#17で、採択の発表は6月2日とのことです。

表964.1 RAMS 2026へのマイルストーン
期限 マイルストーン 状態
2025/4/30 AJEにアブストラクトを修正依頼
2025/4/30 アブストラクト(氏名、所属無し版)投稿締め切り(システム入力)
2025/6/2 アブストラクト採択結果
2025/7/31 初稿論文、プレゼン投稿締め切り(氏名、所属無し版)
2025/9/31 最終論文、プレゼン投稿締め切り(氏名、所属有り版)
2025/10/10 学会出席登録締め切り


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

posted by sakurai on March 13, 2025 #960

AJEに依頼した論文のアブストラクトが返ってきたので、修正し再依頼しました。アブストラクトなのでそれほどやりとりなく、次で完了する予定です。

表960.1 RAMS 2026へのマイルストーン
期限 マイルストーン 状態
2025/4/30 AJEにアブストラクトを修正依頼 修正中
2025/4/30 アブストラクト(氏名、所属無し版)投稿締め切り(システム入力)
2025/6/2 アブストラクト採択結果
2025/7/31 初稿論文、プレゼン投稿締め切り(氏名、所属無し版)
2025/9/31 最終論文、プレゼン投稿締め切り(氏名、所属有り版)
2025/10/10 学会出席登録締め切り


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

posted by sakurai on March 12, 2025 #959

次回RAMS 2026に投稿する論文「Optimizing Fault Tree Analysis for Probabilistic Metrics Using Large Language Models in ISO 26262」を作成しました。アブストラクトをAJEに投稿中です。

表959.1 RAMS 2026へのマイルストーン
期限 マイルストーン 状態
2025/4/30 AJEにアブストラクトを投稿
2025/4/30 アブストラクト(氏名、所属無し版)投稿締め切り(システム入力)
2025/6/2 アブストラクト採択結果
2025/7/31 初稿論文、プレゼン投稿締め切り(氏名、所属無し版)
2025/9/31 最終論文、プレゼン投稿締め切り(氏名、所属有り版)
2025/10/10 学会出席登録締め切り


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

posted by sakurai on March 3, 2025 #957

次回RAMS 2026に投稿する論文「Deriving Accurate Probabilistic Metrics (PMHF) with Imperfect Large Language Models in ISO 26262」を作成しました。アブストラクトを修正中で、AJEに出してから3/EまでにRAMSに投稿予定です。

表957.1 RAMS 2026へのマイルストーン
期限 マイルストーン 状態
2025/4/30 アブストラクト(氏名、所属無し版)投稿締め切り(システム入力)
2025/6/2 アブストラクト採択結果
2025/7/31 初稿論文、プレゼン投稿締め切り(氏名、所属無し版)
2025/9/31 最終論文、プレゼン投稿締め切り(氏名、所属有り版)
2025/10/10 学会出席登録締め切り

過去に掲載した論文の実績と予定をアップデートします。

表957.2 PMHF論文の実績と予定表
No. 学会 論文タイトル 内容 採択/未
1 2017 ISPCE Generalized formula for the calculation of a probabilistic metric for random hardware failures in redundant subsystems PMHF式を初めて冗長系に拡張し提案 ISPCE 2017 最優秀論文賞
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 Identifying and Rectifying the Potential Faults in Probabilistic Metric (PMHF) Formula in ISO 26262 規格第2版のPMHF式の誤りと正確なPMHF式の提案 RAMS 2025最優秀実用論文賞
7 2025 RAMS Point Unavailability and Its Density Processes of Repairable Element with Periodic Inspections in ISO 26262 定期検査する修理可能エレメントのPUAとPUD 採択
8 2026 RAMS Deriving Accurate Probabilistic Metrics (PMHF) with Imperfect Large Language Models in ISO 26262 低信頼LLMを用いた定量FTAの方法
9 2027 RAMS 未定 定量FTAにおける2次安全機構の効果
10 2028 RAMS 未定 PMHF式導出における不稼働度の近似式
11 2029 RAMS 未定 EOTTIの導出
12 2030 RAMS 未定 未定


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

posted by sakurai on February 7, 2025 #944

図%%.1

過去記事に記載のとおり、RAMS 2025は、2025年1月27日から30日まで、米国フロリダ州ミラマービーチのヒルトンサンデスティンホテルで開催されました。弊社代表は2日目に論文発表を行いました。

図%%.2

本論文のタイトルは、"Point Unavailability and its Density Processes with Periodic Inspections in ISO 26262"です。邦題は「ISO 26262における定期検査を伴う点不稼働度とその密度過程」となります。

弊社が2020年のRAMSで提案したPMHFは、不稼働度または不稼働密度関数により定義されます。当時は定期検査の診断率をアーキテクチャ依存の定数と仮定し、不稼働度を導出しました。当時はこれを近似式と認識していましたが、今回診断率を条件付き確率に変更したうえで不稼働度の厳密式を導出しました。さらに誤差評価を行った結果、ASIL-Bの条件において両者にはほとんど差が無いことが分かりました。

また、弊社代表の、昨年2024年の論文がAlfred Stevens/Henry Hartt最優秀論文賞を受賞し、バンケットにおいて賞金として500ドルが授与されました。これは今回新設された賞で、本論文がISO 26262規格の誤りを明らかにしたことが評価されたものです。

図%%.2

プレスリリース


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

posted by sakurai on October 30, 2024 #884

図%%.1

On October 29, 2024, FS Micro Corporation※1 announced that a research paper by President and CEO Atsushi Sakurai has been accepted at RAMS※2, an international conference organized by the IEEE※3 Reliability Society.

This marks the sixth consecutive year that a paper by Atsushi Sakurai has been accepted at RAMS. The paper is scheduled for presentation at RAMS 2025, to be held on January 28, 2025, in Florida, USA.

図%%.2

This paper focuses on the PMHF※4 formula in ISO 26262※5. In ISO 26262, the PMHF is positioned as a critical metric for evaluating the safety of automotive systems, yet its derivation process is not thoroughly explained. Since 2011, Atsushi Sakurai has been addressing this issue and proposed a more accurate formula for the PMHF at RAMS 2020.

In this paper, the behaviors of the two stochastic processes, the PUA※6 and the PUD※7, under periodic inspection are analyzed in detail, and rigorous formulas for these processes are derived. Furthermore, the paper compares the rigorous formulas with the proposed approximate formulas, demonstrating the effectiveness of the approximate formulas in practical PMHF calculations.

The proposed PMHF formula provides higher accuracy while also allowing for improved design constraints. Therefore, this research is expected to make a significant contribution to enhancing the reliability of automotive systems.

図%%.3

Notes
※1: FS Micro Corporation (Headquarters: Nagoya, Japan; President and CEO: Atsushi Sakurai) is a consulting firm specializing in functional safety (a methodology for ensuring that equipment function correctly by implementing various safety measures) for automotive systems.
※2: RAMS (the Reliability and Maintainability Symposium) is an international conference on reliability engineering held annually by the IEEE Reliability Society. The 71st conference will take place in 2025. For more information: https://rams.org/
※3: IEEE is the abbreviation for the Institute of Electrical and Electronics Engineers, the world's largest professional technical organization dedicated to advancing technology. For more information: https://ieee.org/
※4: PMHF stands for Probabilistic Metric for Random Hardware Failures, a key metric under ISO 26262. It represents the time-averaged probability of hazardous system failures over a vehicle’s lifetime.
※5: ISO 26262 is an international standard for functional safety of automotive electronic and electrical systems, aiming to reduce the risk of hazardous events occurring while driving to an acceptable level due to system failures.
※6: PUA or the Point Unavailability, one of the stochastic processes that define the PMHF. It represents the probability that a system is in a failed state at a specific point in time.
※7: PUD or the Point Unavailability Density, another stochastic process that defines the PMHF. It represents the probability density of unavailability.


Contact Information
Company Name:     FS Micro Corporation
Representative:      Atsushi Sakurai
Date of Establishment:  August 21, 2013
Capital:         32 million yen
Business Description:  Consulting services and seminars on functional safety for automotive electronic devices in compliance with ISO 26262
Head Office Address:   4-1-57 Osu, Naka-ku, Nagoya, Aichi 460-0011, Japan
Phone:         +81-52-263-3099
Email:          info@fs-micro.com
URL:          https://fs-micro.com/


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

posted by sakurai on October 29, 2024 #883

図%%.1

2024年10月29日、FSマイクロ株式会社※1は、代表取締役桜井厚による論文が、IEEE※2 信頼性部会主催の国際学会RAMS※3 において採択されたことをお知らせします。

桜井厚の論文がRAMSに採択されるのは今回で6年連続となります。本論文は2025年1月28日に米国フロリダ州で開催されるRAMS 2025にて発表予定です。

図%%.2

本論文はISO 26262※4 のPMHF※5 公式に関する研究です。ISO 26262において、PMHFは車載システムの安全性を評価する重要な指標として位置づけられていますが、その導出過程は十分に説明されていません。桜井厚は2011年からこの課題に取り組み、RAMS 2020においてPMHFのより精度の高い式を提案しました。

本論文では、定期検査下での2つの確率関数であるPUA※6およびPUD※7の挙動を詳細に分析し、その厳密な公式を導出しています。さらに、厳密式と既提案の近似式を比較検証し、近似式が実際のPMHF計算においても有効であることを示しました。

提案するPMHF式はより精度が高い式でありながら、設計制約の改善が見込めます。そのため、本研究を通じて、提案するPMHF式が自動車の信頼性向上に大きく貢献することが期待されます。

図%%.3

【注釈】
※1:FSマイクロ株式会社 (本社:名古屋市、代表取締役:桜井厚)は車載システムの機能安全(様々な安全方策を実施することにより、機器が正しく動作することを担保する方法論)に関するコンサルティングを提供する会社です。
※2:IEEEはInstitute of Electrical and Electronics Engineers(電気電子技術者協会)の略称で、技術の進歩を推進する世界最大の専門技術組織です。詳しくはhttps://ieee.org/
※3:RAMS(the Reliability and Maintainability Symposium)は信頼性・保守性シンポジウムの略称で、IEEE信頼性部会が毎年主催する信頼性工学に関する国際会議です。第71回の会議は2025年に開催されます。詳しくはhttps://rams.org/
※4:ISO 26262は車載電気電子システムの機能安全に関する国際規格で、システムの故障により車両の運転中に危険な事象が発生するリスクを許容できる水準まで低減することを目的としています。
※5:PMHFはProbabilistic Metric for Random Hardware Failures(ハードウェアのランダム故障に対する確率的指標)です。これはISO 26262におけるハードウェアの設計目標値の一つで、車両寿命間のシステム故障の時間平均確率を表します。
※6:PUAはPoint Unavailability(点不稼働度)の略で、PMHFを定義する確率過程の一つです。特定の時点でシステムが故障状態にある確率です。
※7:PUDはPoint Unavailability Density(点不稼働度密度)の略で、PMHFを定義する確率過程の一つです。点不稼働度の確率密度を示します。


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


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

posted by sakurai on October 17, 2024 #878

RAMS論文委員会の査読に対するレビューが完了し、指摘事項は無く、最終版(名前、所属有り)を10/17までに登録するようにという指示が来たので、早速登録しました。

これにより後は採択通知を待つのみです。

表878.1 RAMS 2025へのマイルストーン
期限 マイルストーン 状態
2024/5/3 アブストラクト投稿締め切り(システム入力) 投稿済
2024/6/10 アブストラクト採択結果 採択済
2024/7/15 論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2024/9/1
2024/9/15
第1回論文、プレゼン資料査読コメント受領 投稿済
2024/10/4 学会出席登録締め切り 登録済
2024/10/4
2024/10/17
最終論文、プレゼン投稿締め切り(名前、所属有り版) 登録済


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

posted by sakurai on September 17, 2024 #869

RAMSポータルに例年どおりプログラム表が掲載されました。

表869.1 RAMS 2025プログラムマトリクス
図%%.1

会場となるヒルトンのボールルームの写真です。

図%%.2
図869.1 ヒルトンのボールルーム

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

posted by sakurai on September 16, 2024 #868

査読はポアソン分布との関係を記載するようにということだったので、指数分布の前にポアソン分布の記述を追加しAJEの査読も済み、RAMSに修正版を投稿しました。合わせて学会参加登録も完了しました。

過去記事のとおり、2項分布の極限を取るとポアソン分布となります。ポアソン分布は故障率一定の条件において、一定の時間間隔に何回故障等のイベントが起こるかの分布ですが、イベント間隔はその無記憶性から指数分布となります。

表868.1 RAMS 2025へのマイルストーン
期限 マイルストーン 状態
2024/5/3 アブストラクト投稿締め切り(システム入力) 投稿済
2024/6/10 アブストラクト採択結果 採択済
2024/7/15 論文、プレゼン投稿締め切り(名前、所属無し版) 投稿済
2024/9/1
2024/9/15
第1回論文、プレゼン資料査読コメント受領 投稿済
2024/10/4 学会出席登録締め切り 登録済
2024/10/4 最終論文、プレゼン投稿締め切り(名前、所属有り版)


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


ページ: