sspがタスクの”待ち状態”を持たない3つの理由 - researchmap
インタフェース2012年1月号にリアルタイムOS「TOPPERS/SSP」誕生！の記事，第三回（最終回）があります。 「コラム3 SSPカーネルが待ち状態をサポートしない理由」 について考察しました。 sspがタスクの”待ち状態”を持たない理由の候補を3つ記録します。 1，記憶容量の節約。（空間的制約） タスクの「待ち」がないと，待ちに必要な記憶領域が不要。タスクの切り替えのための領域を固定的に利用すればよい。タスクの「待ち」のための処理が不要なのでプログラムの記憶容量が必要ない。 2，状態遷移を単純にする。（試験制約） システムの試験の網羅性を上げる。 前提条件として， 2.1 タスクの数が優先順位の数より少ない。 2.2 同じ優先順位に割り当てる必要のタスクはない。 2.3 資源の管理が単純で，複雑なことをする予定がない 場合などの制約条件がある。 どんな場合でも「待ち」があるといい，
要求の理由とは何だろうか？ - researchmap
最近，組込みソフト関係の方々と話す機会が増えてきた．USDMで要求を記述するときにはいろいろ工夫が必要になるようだ． そこで，「要求の理由」に着目して，USDMで記述された例[1]を観察してみよう． USDM（Universal Specification Description Manner）では，要求ごとに「理由」が記述できるようになっている． しかし，理由が書けることと，正しく理由が書いてあることには大きな差がある． ◆理由を明確に記述していない例 [要求] pot-330：沸騰行為も保温行為もできないときは温度制御はしない [理由]温度制御行為ができないポットの状態ではヒータをon/offさせると危険だから 非常に分かりずらい表現だ．次のような疑問がわく．そもそも「温度制御行為ができないポットの状態」が「ヒータをon/offできない状態」のことではないのか？ヒータをonすることは危
山本 修一郎 (Shuichiro Yamamoto) - マイポータル - researchmap
1977年名古屋工業大学情報工学科卒業．1979年名古屋大学大学院工学研究科情報工学専攻修了。同年日本電信電話公社入社．2002年（株）NTTデータ 技術開発本部 副本部長．2007年同社初代フェロー，システム科学研究所 所長．2009年東京工業大学 統合研究院 医療情報プロジェクト 特任教授．同年名古屋大学 情報連携統括本部 情報戦略室 教授． 2016年 名古屋大学大学院情報科学研究科 教授。2020年名古屋大学名誉教授．同年電子情報通信学会フェロー．2021年名古屋国際工科専門職大学 工科学部 情報工学科 学科長． ソフトウェア工学，要求工学，ICカードプラットフォーム,ユビキタスコンピューティング，知識創造デザイン，ディペンダビリティ, エンタープライズアーキテクチャ(EA)，デジタル変革(DX)の研究に従事． 情報処理学会業績賞，電子情報通信学会業績賞，逓信協会前島賞など受賞．博
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ちいさいことからこつこつと - researchmap
Competent Assessor人材育成実証実験関連資料 ver1.2 - researchmap
http://researchmap.jp/joxqebp4p-50024/
XDDPへの道 連載は「作業診断試行」 - researchmap
researchmap
XDDPへの道（4）仕様の誤解釈 - researchmap
XDDPへの道（2）CMM - researchmap
XDDPへの道（1）アジャイル - researchmap
XDDPへの道（6)仕様の衝突 - researchmap
要求の理由とは何だろうか？ - researchmap