最新記事一覧
IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第40回は、ボーイングやエアバスをはじめ航空機で広く採用されているRTOS「Deos」と「HeartOS」を取り上げる。
()
IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第34回は、分散システム向けRTOSとして約30年展開されてきた「Virtuoso」「OpenComRTOS」「VirtuosoNext」を紹介する。
()
Intelは、機械学習に基づいてソフトウェアコードの異常パターンを自動的に検出するツール「ControlFlag」をオープンソースとして公開した。
()
ファーウェイは、マイクロカーネルと分散アーキテクチャを採用した独自開発のOS「HarmonyOS」を発表。同社が2019年後半に発売する予定のスマートテレビで、HarmonyOSのバージョン1.0を採用する計画。今後3年間で最適化を進めて、ウェアラブル端末や車載情報機器など、より広範なスマートデバイスに採用を広げていく方針だ。
()
AIが一般化してもソフトウェアテストを取り巻く環境は厳しいままなのだろうか？ソフトウェアテストの過去をひもときながら、その未来を予想する。完全自動のテスト、あるいはテストのいらないプログラミングは実現するのだろうか。
()
組み込みソフトウェア開発における「静的解析」「動的解析」を、“なんとなく”行っていないでしょうか。開発効率の向上や品質改善に欠かせないこれらを活用するため、まずはその必要性について解説します。
()
組み込みソフトウェア開発の課題解決に「状態遷移表」を活用しよう。
()
「モデリングはいつ誰が何をどのようにするのか」――今回はソフトウェア開発の現場で、モデリングを実際にどのように実施しているのか見ていきましょう。またUMLやSysMLの使いにくいところを、開発現場ではどのようにカバーしているのかも見ていきます。
()
最終回となる第8回では、匿名認証などに用いられるデジタル署名である「ブラインド署名」や「グループ署名」、相手に情報を与えずに自分が情報を持っていることを証明する「ゼロ知識証明」を紹介します。
()
ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する。
()
障害を起こさないソフトウェア「ディペンダブルソフトウェア」の実現に向け、IPAやITベンダーらが参加する組織が、東証のシステム設計書で形式手法を用いた効果を実証した。
()
自分研編集部が独断と偏見でまとめた、「IT技術書の新刊・近刊情報」をお伝えします。
()
自動車分野向けの機能安全規格「ISO26262」。今回は、「ISO26262 Part.6 ソフトウェア」における“手法”にフォーカスし、車載系での採用事例が多い形式手法「SDL」について詳しく紹介する。
()
static testing / 静的ソフトウェアテスト
()
国内IT企業らが参加するディペンダブル・ソフトウェア・フォーラムは、ソフトウェア開発の形式手法の有効性について、東京証券取引所のソフトウェアを対象に実証実験を行う。
()
自動車向けの機能安全規格ISO 26262の策定作業が最終段階に入った。この規格では、機能安全を実現し、それを証明するために必要となる開発プロセスが定められる。では、その新たな開発プロセスは、従来の開発プロセスとどのように異なり、それを適用する際にはどのようなことが課題になるのだろうか。本稿ではまずこの点を明らかにする。加えて、機能安全を実現する上でポイントとなるマイコンについて、各メーカーの取り組みの様子を紹介する。
()
SysML、VDMなど、新しいモデリング言語／方法論が多数登場した今年のETロボコン。審査員からの渇も含め、今年のトレンドを紹介する。
()
ICの高機能化が進むに従い、その機能を検証する作業が非常に大きな課題となってきている。この課題を解決するものとして期待され、現在、着実に普及しつつあるのが、アサーションベース検証（ABV）である。本稿では、まずこのABVの基本について説明する。続いて、アサーションを記述する上での注意点などを紹介する。さらに、アサーションを利用したもう1つの検証手法であるフォーマル解析についても解説を加える。
()
要求を仕様としてモデル化し、VDMで仕様を記述してきた本連載もいよいよ大詰め！ 今回は“仕様の検証”について詳しく解説する。
()
今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する！
()
今回は「LEGO Mindstorms NXT」を題材に、要求の分析からVDMを前提としたモデリング、UMLの記述までの流れを詳しく解説する。
()
“VDMを開発プロセスの中でどのように活用すべきか”について、「導入」と「運用」に分けて、具体的な施策を示しながら解説する。
()
仕様の“不確かさ”が原因で痛い目を見た。そんな経験をお持ちの皆さん、この機会に形式手法をマスターし、高品質な仕様を作成してみませんか。
()
ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する
()