@techreport{oai:ipsj.ixsq.nii.ac.jp:00081072, author = {川村, 峰大 and 安倍, 昌輝 and 長岡, 拓弥 and 谷川, 郁太 and 原, 築良 and 小倉, 信彦 and 渡辺, 晴美 and Takahiro, Kawamura and Masaki, Anbai and Takuya, Nagaoka and Ikuta, Tanigawa and Chikura, Hara and Nobuhiko, Ogura and Harumi, Watanabe}, issue = {6}, month = {Mar}, note = {組込みソフトウェアの複雑さは,時間,メモリ,環境などの制約に起因することが多い.制約によるソフトウェアの複雑さの問題に対し,我々はアスペクト指向状態遷移言語を提案してきた.本稿では,これまで提案してきた言語を拡張し,タイムスライス毎に状態遷移モデルを割り当てることでタイミング管理を可能にする.タイミング管理を,ポートの競合,ダイナミック点灯の遅延に関する制約問題に適用する., 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.}, title = {アスペクト指向状態言語の組込みソフトウェア制約への適用}, year = {2012} }