ビット化け(bit flip)の確率
なお、ビット化けは正式名称ではないかもしれないが、データの一部のbitが放射線・電磁波等の影響で意図せずに反転してしまう現象のことを呼称しているとする 一般的なDRAMのビット化け発生頻度 以下の論文では単純にError … 続きを読む
【機能安全技術】エラー検出コード(IEC 61508-7)
機能安全に触れる機会があり、技術・手法群についてもとても勉強になりそうであったため、一つずつ理解していきたい IEC 61508-3：2010 附属表A IEC 61508-3：2010 附属表Aにおいて、要求安全度水準 … 続きを読む
【機能安全技術】フォールト検出(IEC 61508-7)
機能安全に触れる機会があり、技術・手法群についてもとても勉強になりそうであったため、一つずつ理解していきたい IEC 61508-3：2010 附属表A IEC 61508-3：2010 附属表Aにおいて、要求安全度水準 … 続きを読む
Kotlin to Javascript
Reference 最もメインの説明はここ https://kotlinlang.org/docs/js-project-setup.html Kotlin/JS projectとされていますが、実質としてKotlin … 続きを読む
Bスプライン曲線とBazier曲線
\[mathjax\] B-Spline曲線、Bazier曲線対照表 B-Spline Bazier 一般曲線表現(Bazier曲線を含む) B-Splineの特殊系 関数表現 \[B(t) = \ … 続きを読む
ソフトウェア設計における機能安全とRisk Assessment
概要 自動運転システム等，物理システムと連携するソフトウェア開発においては，人的被害・生産性への影響，特に人的被害について綿密なRisk Assessmentが求められます． Risk Assessmentにおいては，ラ … 続きを読む
【Java】DatagramSocketによるUDP通信
DatagramSocket java.net.DatagramSocket, DatagramPacketを利用することで簡単にUDP通信を行うことが可能です。まずは例から示します。 UdpSender public … 続きを読む
【Docker Compose】network【ハンズオン】
概要 最下部のReferenceに配置した公式サイトを見れば大まかに理解できるわけですが、状況に応じたケーススタディが不足しているように感じたのでまとめてみます Dockerfile ncコマンドを使用した疎通確認を行い … 続きを読む
サーバー間ヘルスチェック
概要 サーバー間ヘルスチェックをどのように設計するか悩んだのでまとめます。 要件 サーバーAはサーバーBのrest apiに差分データを随時postするという設計から以下の要件を出ます． サーバーBはサーバーAからの更新 … 続きを読む
jakarta.servlet.ServletException: Circular view path [greeting]: would dispatch back to the current handler URL [/greeting] again. Check your ViewResolver setup!
状況 SpringBoot /greetingにアクセスして、greeting.htmlを表示したい @Controller class MyController { @RequestMapping(“greeting” … 続きを読む