Interface (インターフェース) 2012年 05月号 [雑誌]

• CQ出版 (2012年3月24日発売)

感想・レビュー・書評

[teyamaguさんの感想 · 2019年5月20日]

QEMU,その他シミュレータの特集。あと、藤倉さんによる、形式手法による組み込みソフト開発の連載開始。

[kaizenさんの感想 · 2013年1月8日]

1
形式手法による組込ソフトウェア開発　第１回　藤倉俊幸

下位要求から上位要求に向かってやじるしを引く

要求の形式化

命題論理による要求検証

参考文献
リアルタイムシステムの構造化分析　リアルタイムシステムの仕様書作成手法 Derek J. Haltley

２
現場で役立つプログラミングのちょい技　邑中雅樹

処理の痕跡を残してみる
gcc -save-temps test.c
ファイルtest.i, test.s, test.oができる。

test.iの解説は、#includeファイルの呼び出し関係を示す。
前処理後の状態。

test.sアセンブラ

Mac OSX, iOSはMach-Oフォーマットでbinutilsの支援は限定。

3.
TOPEPRSカーネル用シミュレーション慣用TISEの使い方。本田晋也
Toppers integrated simulation environment