2026-03-13T05:45:36Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00081072 2025-01-21T19:30:09Z 1164:1384:6715:6716

アスペクト指向状態言語の組込みソフトウェア制約への適用 An Example of Aspect Oriented State Machine Language for Embedded Software Constraints 川村, 峰大 安倍, 昌輝 長岡, 拓弥 谷川, 郁太 原, 築良 小倉, 信彦 渡辺, 晴美 Takahiro, Kawamura Masaki, Anbai Takuya, Nagaoka Ikuta, Tanigawa Chikura, Hara Nobuhiko, Ogura Harumi, Watanabe 形式手法・設計 組込みソフトウェアの複雑さは，時間，メモリ，環境などの制約に起因することが多い．制約によるソフトウェアの複雑さの問題に対し，我々はアスペクト指向状態遷移言語を提案してきた．本稿では，これまで提案してきた言語を拡張し，タイムスライス毎に状態遷移モデルを割り当てることでタイミング管理を可能にする．タイミング管理を，ポートの競合，ダイナミック点灯の遅延に関する制約問題に適用する． Complications of embedded software development commonly arise out ofconstraint on time, memory, and environment. We have addressed the problem by an aspect oriented language with state transition syntax. In this article, we extend, to handle time constraint, the language by assigning state transition models to each time slice. We also show an example as an application to resolve port confliction and constraint on timing of LED dynamic drive. technical report 情報処理学会 2012-03-08 application/pdf 研究報告ソフトウェア工学（SE） 6 2012-SE-175 1 8 AN10112981 https://ipsj.ixsq.nii.ac.jp/record/81072/files/IPSJ-SE12175006.pdf jpn