Uncategorized 【機能安全技術】フォールト検出(IEC 61508-7)
機能安全に触れる機会があり、技術・手法群についてもとても勉強になりそうであったため、一つずつ理解していきたい
IEC61508-3：2010 附属表A
IEC61508-3：2010 附属表Aにおいて、要求安全度水準に従っ...
Uncategorized Uncategorized Kotlin to Javascript
Reference
最もメインの説明はここ
Kotlin/JS projectとされていますが、実質としてKotlin Multiplatformの１プロジェクトとして規格されていますので、最もベーシックな...
Uncategorized Bスプライン曲線とBazier曲線
B-Spline曲線、Bazier曲線対照表
B-SplineBazier一般曲線表現(Bazier曲線を含む)B-Splineの特殊系関数表現\ \ 基底関数B-Spline basis functionde B...
設計 ソフトウェア設計における機能安全とRisk Assessment
概要
自動運転システム等，物理システムと連携するソフトウェア開発においては，人的被害・生産性への影響，特に人的被害について綿密なRisk Assessmentが求められます．
Risk Assessmentにおいては，ランダム...
Java 【Java】DatagramSocketによるUDP通信
DatagramSocket
java.net.DatagramSocket, DatagramPacketを利用することで簡単にUDP通信を行うことが可能です。まずは例から示します。
UdpSender
public ...
docker 【Docker Compose】network【ハンズオン】
概要
最下部のReferenceに配置した公式サイトを見れば大まかに理解できるわけですが、状況に応じたケーススタディが不足しているように感じたのでまとめてみます
Dockerfile
ncコマンドを使用した疎通確認を行い...
ネットワーク サーバー間ヘルスチェック
概要
サーバー間ヘルスチェックをどのように設計するか悩んだのでまとめます。
要件
サーバーAはサーバーBのrest apiに差分データを随時postするという設計から以下の要件を出ます．
サーバーBはサーバーAから...
Kotlin 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"...
Intellij 【Intellij】ショートカット
最低限のショートカットしか使用していませんでしたが、有効に使えばより作業効率を挙げられそうだったので使えそうなのをまとめてみます。コマンドはWindows版です。
目次
個人的によく使用しているコマンドには★マーク付けます
...
Java 【Java】LinkedBlockingQueue【特徴まとめ】
BlockingQueue
producer - consumer , publish - subscribeパターンの実装を用意するにするためのjava. util.concurrentパッケージのinterfaceです。
...