TOPPERSプロジェクト／TOPPERS開発者会議2024

TOPPERS開発者会議2024 開催概要

TOPPERS開発者会議は，TOPPERSプロジェクトの開発成果物の開発，利用に携わる方が集まり，集中的に議論，開発する会議です．

2024年10月20日(日)に，ZoomにてTOPPERS開発者会議2024をオンライン開催いたします．

今回のゲストトークでは「宇宙と組込みシステム」をテーマとして，合同会社 Space Cubics 荘司靖様をはじめとする宇宙関連企業3社の方々を講師としてお招きし，宇宙分野の組込みソフトウェア，システム開発についてご講演頂きます. 講演の後には，TOPPERS プロジェクトとしての今後の宇宙分野への取組みの方向性について，講師の先生方を交えて議論したいと思います．

TOPPERS開発者会議はTOPPERSプロジェクトの会員ではない方にもご参加頂けます．ゲストトークの他にも，マルチコアカーネルの動作検証のためのタイマドライバシミュレータ，超軽量なTOPPERS 最小セットカーネル（TOPPERS/SSP）の活用など，TOPPERS関連の技術的な議論が満載です． TOPPERS 成果物の開発者と直接議論や提案ができる絶好の機会ですので，ぜひご参加下さい．

日　時：2024年10月20日(日) 09:00 ～ 17:30 (食後議論を除く)
場　所：Zoom によるオンライン開催
定　員: 80名(予定)
参加費: 無料

お申し込み(応募期限)

参加申込書にご記入の上，10月18日(金)までに電子メールにてお申し込みください．

プログラム

10月20日（日）

09:00 - 10:30	議論1: TECSの最新研究 TECS/Rust における，排他制御の数の最適化吉村凪生様（埼玉大学） TECS/Rust に対し，排他制御を考慮したコード生成を実現する拡張を提案する．TECS/Rust は昨年提案したTECSの Rust対応のためのフレームワークである．このフレームワークが生成していたコードには余分な排他制御が含まれていたため，余分なオーバヘッドが生じていた．コールフローを利用したアプローチを採用し，排他制御を適切なコンポーネントにのみ適用することで，TECS/Rustによる開発物のパフォーマンスの向上を実現する． ZigによるASP3カーネルの実現越野仁様（名古屋大学） C言語と同様の静的型付き言語であり，モダンな言語が持つ仕様を組み合わせたプログラミング言語であるZigを用い作成されたASP3カーネルを，より最新に近いバージョンで動作するよう変更作業を行っている．破壊的変更が続いているものの，プリプロセッサやマクロを用いないシンプルな言語であり，コンパイル時に評価することを明示するcomptimeをはじめ，開発者の意図しない挙動をコンパイル時に防ぐ仕組みが複数存在しており，次世代の組込みシステム向け言語として期待ができる． TECS のデータ授受に関する考察大山博司様（オークマ株式会社） TECS のデータ授受について改めて考察し，TECSの結合の延長として，非同期メッセージ通信セルを挿入する方式を提案する．また，データ（関数）単位での結合を可能とする，新しい結合方式を提案する．
10:30 - 10:40	休憩
10:40 - 12:00	議論2： TOPPERS 仕様に関する議論マルチコア対応のタイマドライバシミュレータ高田広章様（名古屋大学，TOPPERSプロジェクト会長）このセッションでは，TOPPERS/HRMP3カーネル向けに実装中のマルチコア対応のタイマドライバシミュレータについて紹介する．タイマドライバシミュレータは，元々は，タイマの振舞いに依存したカーネルのテストを行うために開発したものであるが，これを用いるとカーネルの時間の進み方をコントロールできるため，シミュレーション環境にも有用である．このセッションでは，マルチコア対応のタイマドライバシミュレータの概要について説明した後，実装方針や実装の難しさについても紹介する．
12:00 - 12:50	昼休憩
12:50 - 13:00	オープニング
13:00 - 14:30	ゲストトーク1 （宇宙と組込みシステム）宇宙機で使う Zephyr RTOS の紹介荘司靖様（合同会社 Space Cubics） Space Cubicsでは，ロケット，衛星，ランダー，国際宇宙ステーション向けのさまざまな宇宙機用コンピュータを設計しています．その多くに Zephyr RTOS を採用しています． Zephyr プロジェクトは，Linux Foundation の 1プロジェクトです．Linux が対応できない MCU をターゲットとした OS, Zephyr RTOS, を開発しています． Zephyr RTOS は，Linux で培った Know How を RTOS として再実装しているという観点で見ることもできる．長年 RTOS を開発してきた TOPPERS の開発者の方々と議論しながら色々学ばせて頂きたい．
14:30 - 14:40	休憩
14:40 - 16:10	ゲストトーク2,3 （宇宙と組込みシステム）人工衛星開発のための C2A フレームワークとその開発体験坂本優太様（ArkEdge Space Inc.） ArkEdge Space では、自社の人工衛星に搭載するソフトウェアのために C2A というフレームワークを開発して使用しています。 C2Aは元々東大中須賀・船瀬研究室という、ソフトウェア業界とはやや縁遠い場で開発されてきたものですが、人工衛星という特殊な要件のために作られたことによって、結果的にマイクロカーネル的な特徴を有しているといった興味深い特徴があります。またそれだけでなく、一部での Rust の採用や、C2A のための開発環境・デバッグツールの開発などを通して、人工衛星のソフトウェア開発の体験を向上する活動を行っています。これらの事例を紹介しつつ、ユーザの開発体験のために OS やその周辺レイヤからできることや、Rust の活用についてなどの議論ができると幸いです。宇宙機向けリアルタイムOSの高信頼性検証長山卓也様（日本電気通信システム株式会社）ロケットや人工衛星などの宇宙機に搭載するリアルタイムOS(RTOS)には、高い信頼性を求められている。高い信頼性を確保するためには、そのRTOS をどのように検証しているかを明らかにする必要がある。このため、民間航空機や原子力など信頼性が重視される分野で適用されている技術標準や、過去に宇宙機で発生した不具合事例を参考にRTOSに特化した検証要求を JAXA指導のもと整備した。この検証要求をTOPPERS/HRPのRTOSに対し検証作業を繰り返すことにより改良を重ね「リアルタイムOSの高信頼性検証ガイドライン」としてまとめたので、その必要性、策定に係る活動、利用効果を紹介する。
16:10 - 16:20	休憩
(16:20 - 17:20)	議論3: TOPPERS/SSPカーネル（最小セットカーネル） ATmega328PへのTOPPERS/SSPの実装とSSPカーネルの活用について伊与田健敏様（創価大学）省メモリーマイコンへの搭載を目的として作られたSSPカーネルを， ROM32Kバイト，RAM2Kバイト，さらにハーバードアーキテクチャである ATmega328Pに実装した際の問題点と解決方法について報告する．さらに，SSPカーネル特有の待ち状態が無いタスクを用いたプログラムの組み方について説明・議論していくことによって，SSPカーネルに対しての認識を新たにするきっかけとしたい．
17:20 - 17:30	クロージング
(17:30 - 20:00)	食後議論事前に議題を定めず，有志による自由討議を予定しています．特に議論したい事項がある方は，事前に参加者用 slack 等でご提案下さい．

今年も参加者MLの代わりにSlackを使用します．
Slackへの参加方法は，申込み受領メールにてお知らせしますので，各自ご登録お願いします．
TOPPERS開発者会議について，ご質問，ご要望がございましたら， TOPPERS事務局にメールにてお問い合わせください．

TOPPERS開発者会議2024申込書

------------------------------------------------------------------------------------------
To:
Subject: TOPPERS開発者会議2024参加申込書

TOPPERS開発者会議2024に参加を申し込みます．

■参加者情報
氏　名：
ふりがな：
メールアドレス：
所　属：
参加種別：団体正会員，個人正会員，準会員，特別会員，非会員
　　　　　（該当するものだけ残してください)

■セッション内容に関する質問
各セッションで質問したいことがありましたら，事前にお知らせください．
もちろん，当日チャット等にて質問いただくのでも構いません．過去の開発者会議情報はこちらをご覧ください．

------------------------------------------------------------------------------------------

Newsletterのバックナンバーはこちら

Tweets by ToppersJP