「組込みシステム」の記事一覧

• Linuxでのクラッシュログ保存に有効なramoopsの使い方

  2025-05-24 17:33

  科学・技術

  組込みLinuxシステムでクラッシュ時のログ保存に有効なramoopsの設定と活用方法を解説しています。RAM上の予約領域にカーネルパニックやコンソール出力、ユーザーメッセージを保存でき、再起動後にpstoreから取得可能です。記事ではToradexのiMX8モジュールを例に、デバイスツリー設定やカーネル構成、ログ取得手順を詳述。クラッシュ原因や再起動の理由特定に役立ち、信頼性向上に貢献します。

• Dezyneで構築する検証可能な並行制御ソフトウェア

  2025-05-17 09:44

  科学・技術

  Dezyneは、並行制御ソフトウェアを形式的に設計・検証・実装するためのプログラミング言語およびツール群です。状態遷移やメッセージパッシングに基づき、デッドロックや非決定性のないモデルを保証しつつ、構造と動作を統一的に記述可能です。特にサイバーフィジカルシステムや組込み分野に適しており、構成要素間の契約設計によって複雑性の管理を容易にします。オープンソースで提供されています。

• Bradford J. RodriguezによるForth関連出版物の紹介

  2025-05-15 05:24

  科学・技術

  本記事は、Bradford J. RodriguezによるForth言語に関連する多様な論文やプロジェクトをまとめたもので、マルチプロセッシング、リアルタイム制御、組込みシステムなど多岐にわたるテーマを網羅しています。1990年代から2000年代にかけての学会論文や会議発表資料、オリジナルのForthカーネル開発など、Forth愛好家やレトロプログラミングの研究者にとって貴重なリソースです。

• RP2350をUARTでブート：安価なポート拡張の新手法

  2025-05-11 14:26

  科学・技術

  Raspberry PiのマイコンRP2350はPWMチャンネル数の多さが特徴ですが、本稿ではそのUARTブート機能を活用し、2つ目のRP2350をファームウェア不要なポート拡張として使う方法を解説しています。UART経由で簡易的にファームを送信し実行可能なこの仕組みは、複雑なファーム管理や互換性問題を回避できる利点があります。さらにRS-485変換により10メートル以上の距離でも安定通信を実現しています。