サービス終了のお知らせサービス終了のお知らせ いつもYahoo! JAPANのサービスをご利用いただき誠にありがとうございます。 お客様がアクセスされたサービスは本日までにサービスを終了いたしました。 今後ともYahoo! JAPANのサービスをご愛顧くださいますよう、よろしくお願いいたします。
状態遷移設計研究WG | JASA(一般社団法人 組込みシステム技術協会)
1．活動概要(2019年度の事業方針) 状態遷移設計研究WGは、状態遷移設計の漏れ抜けに気づきやすい、という特性を持つ状態遷移表を広く普及、定着させることを目的に活動しています。 2013年度より「状態遷移表のリバースモデリングへの適用」という新たなテーマで活動しています。 このテーマは、派生開発が主流となっている組込みソフトウェアの開発において、既存システムのブラックボックス化により、コードの解析や機能追加などが困難な状態となっている現状を踏まえ、既存のレガシーコードをリバースエンジニアリング手法により解析し、状態遷移の部位を抽出し、状態遷移表を作成するプロセスを研究するものです。 昨年度は、JASA会員へのツール公開(モニター募集)を行い、使用した感想やコメント、評価などを募集しました。 今年度は、モニターとして使用していただいた方々の意見をベースにし、ツールの改修をおこない、さらにJ
状態遷移表によるレガシーコードの蘇生術
近年のソフトウエア開発で問題になっているのが、レガシーコードの存在である。既存システムの改造・追加による派生開発が主流となっているからだ。また、短納期・低コスト、高品質の市場要望から、新規開発のシステム案件はほとんどない。 レガシーコードとは「何年も前に誰かが作り、内容が複雑で解析が困難でかつ、まともな仕様書もないソースコード」と定義されている。また「テストのないコードは、すべてレガシーコードである」という人もいる。このようなソースコードをベースに機能追加や改修を繰り返すと、コードが肥大化して思わぬ箇所でシステムの障害やトラブルが発生することがある。また、システム改修前の調査にも膨大な費用が掛かる。開発当時の関係者が退職していて改修を担当する会社も異なるため、よりどころも相談相手もいない。こうした開発状況が多々見受けられる。 組込みシステム技術協会（JASA）の「状態遷移設計研究会」では、
状態遷移の設計と検証について
たとえば、顧客より次のような要求仕様（機能仕様レベルに近いもの）が発せられた場合を考えてみます。 ＜要求仕様＞ A/C,P/S同時ONエアコンカット条件の追加 制御開始条件 下記条件(1)〜(3)が全て、あるいは(1)(2)(4)が全て成立したとき、制御開始とする。 (1)車速VSP＜PSVSP#、またはIDLE SW ON (2)水温TWN≧TWACPS# (3)A/C SW OFF→ON後、ACSTDY#以内にP/S SW OFF→ONとなった。 (4)P/S SW OFF→ON後、PSSTDY#以内にA/C SW OFF→ONとなった。 制御内容 (1)A/C SWをOFFとみなして制御する。 (2)A/CリレーをディレイなしでOFFする。 制御終了条件 以下の制御解除条件(1)が成立した時、制御終了とし、A/C SWの入力を実際の入力と等しくする。 A/C SW ONの場合はA/C
【ESEC】宇宙科学研が次世代人工衛星のソフト設計にZIPCを活用
キャッツは、2011年5月11日から開催中の「第14回 組込みシステム開発技術展（ESEC）」において、同社の状態遷移表ベースの設計ツール「ZIPC」をJAXA 宇宙科学研究所（以下、宇宙科学研）が採用した事例を展示した。宇宙科学研の次世代小型衛星プラットフォームの姿勢制御系の設計に当たり、現在、軌道上で運用中のオーロラ観測用小型衛星「れいめい」の姿勢制御系の状態遷移表（STM）モデルをサンプルとして利用した。 この記事は会員登録で続きをご覧いただけます登録するとマイページが使えます 今すぐ会員登録（無料） 会員の方はこちら 今なら月額プランも12月31日まで無料 詳しくはこちら ▼日経クロステック有料会員になると… オリジナル記事がすべて読める 専門雑誌7誌の記事も読み放題 雑誌PDFを月100ページダウンロードできる
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
srad.jp