ITmedia総合  >  キーワード一覧  > 

  • 関連の記事

「形式手法」関連の最新 ニュース・レビュー・解説 記事 まとめ

-こちらもご覧ください-
いまさら聞けない 形式手法入門 ― MONOist

リアルタイムOS列伝(40):
出自はデンマークとAda、ボーイングやエアバス採用のRTOS「Deos」と「HeartOS」
IoT(モノのインターネット)市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS(RTOS)について解説する本連載。第40回は、ボーイングやエアバスをはじめ航空機で広く採用されているRTOS「Deos」と「HeartOS」を取り上げる。(2023/11/1)

リアルタイムOS列伝(34):
異色の分散システム向けRTOS「Virtuoso」の30年にわたる系譜
IoT(モノのインターネット)市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS(RTOS)について解説する本連載。第34回は、分散システム向けRTOSとして約30年展開されてきた「Virtuoso」「OpenComRTOS」「VirtuosoNext」を紹介する。(2023/5/8)

機械学習を利用した特異パターン検出システム:
Intel、コードの異常パターンを自動検出する「ControlFlag」をオープンソース化
Intelは、機械学習に基づいてソフトウェアコードの異常パターンを自動的に検出するツール「ControlFlag」をオープンソースとして公開した。(2021/11/2)

組み込み開発ニュース:
組み込みOS業界の黒船となるか、ファーウェイの「HarmonyOS」
ファーウェイは、マイクロカーネルと分散アーキテクチャを採用した独自開発のOS「HarmonyOS」を発表。同社が2019年後半に発売する予定のスマートテレビで、HarmonyOSのバージョン1.0を採用する計画。今後3年間で最適化を進めて、ウェアラブル端末や車載情報機器など、より広範なスマートデバイスに採用を広げていく方針だ。(2019/8/16)

IoTとAI、ビッグデータ時代のソフトウェアテスト(11):
ソフトウェアテストの未来(後編)――テストが開く明日への扉
AIが一般化してもソフトウェアテストを取り巻く環境は厳しいままなのだろうか?ソフトウェアテストの過去をひもときながら、その未来を予想する。完全自動のテスト、あるいはテストのいらないプログラミングは実現するのだろうか。(2017/5/29)

いま求められるソフトウェア静的解析・動的解析 第1回:
組み込みソフトウェア開発者に贈る「静的解析・動的解析」の必要性
組み込みソフトウェア開発における「静的解析」「動的解析」を、“なんとなく”行っていないでしょうか。開発効率の向上や品質改善に欠かせないこれらを活用するため、まずはその必要性について解説します。(2016/5/20)

特選ブックレットガイド:
「状態遷移表」を使うと高品質な開発が可能に!
組み込みソフトウェア開発の課題解決に「状態遷移表」を活用しよう。(2016/3/11)

プロジェクトを成功させるモデリングの極意(3):
UMLやSysMLなどのモデリングは“いつ”“何を”“どうするのか”
「モデリングはいつ誰が何をどのようにするのか」――今回はソフトウェア開発の現場で、モデリングを実際にどのように実施しているのか見ていきましょう。またUMLやSysMLの使いにくいところを、開発現場ではどのようにカバーしているのかも見ていきます。(2015/11/2)

クラウド時代の暗号化技術論(8):
まだまだ広く深い、暗号の世界――匿名認証や電子投票に利用される「ブラインド署名」「グループ署名」「ゼロ知識証明」
最終回となる第8回では、匿名認証などに用いられるデジタル署名である「ブラインド署名」や「グループ署名」、相手に情報を与えずに自分が情報を持っていることを証明する「ゼロ知識証明」を紹介します。(2015/10/20)

電子ブックレット(組み込み開発):
いまさら聞けない 形式手法入門
ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する。(2012/8/28)

形式手法でソフトウェア設計時の修正指摘が可能に、IPAらが活動成果を報告
障害を起こさないソフトウェア「ディペンダブルソフトウェア」の実現に向け、IPAやITベンダーらが参加する組織が、東証のシステム設計書で形式手法を用いた効果を実証した。(2012/4/20)

IT技術書・注目の新刊(2012年4月):
IT技術書新刊・近刊まとめ3
自分研編集部が独断と偏見でまとめた、「IT技術書の新刊・近刊情報」をお伝えします。(2012/4/12)

自動車分野の機能安全規格「ISO26262」とは何か?(5):
ISO26262 Part.6 ソフトウェア開発(手法)
自動車分野向けの機能安全規格「ISO26262」。今回は、「ISO26262 Part.6 ソフトウェア」における“手法”にフォーカスし、車載系での採用事例が多い形式手法「SDL」について詳しく紹介する。(2011/12/21)

情報システム用語事典:
静的テスト(せいてきてすと)
static testing / 静的ソフトウェアテスト (2011/11/7)

東証の業務ソフトで形式手法の有効性を実証へ DSF
国内IT企業らが参加するディペンダブル・ソフトウェア・フォーラムは、ソフトウェア開発の形式手法の有効性について、東京証券取引所のソフトウェアを対象に実証実験を行う。(2011/7/21)

ISO 26262 準拠に向けての課題を探る:
「機能安全」の導入で何が変わるのか?
自動車向けの機能安全規格ISO 26262の策定作業が最終段階に入った。この規格では、機能安全を実現し、それを証明するために必要となる開発プロセスが定められる。では、その新たな開発プロセスは、従来の開発プロセスとどのように異なり、それを適用する際にはどのようなことが課題になるのだろうか。本稿ではまずこの点を明らかにする。加えて、機能安全を実現する上でポイントとなるマイコンについて、各メーカーの取り組みの様子を紹介する。(2010/10/1)

ETロボコン2009、挑戦記(9):
UMLと形式手法のハイブリッド仕様が鍵となるか
SysML、VDMなど、新しいモデリング言語/方法論が多数登場した今年のETロボコン。審査員からの渇も含め、今年のトレンドを紹介する。(2009/12/9)

その基本から、記述ノウハウ、フォーマル解析への展開まで:
アサーション活用の手引き
ICの高機能化が進むに従い、その機能を検証する作業が非常に大きな課題となってきている。この課題を解決するものとして期待され、現在、着実に普及しつつあるのが、アサーションベース検証(ABV)である。本稿では、まずこのABVの基本について説明する。続いて、アサーションを記述する上での注意点などを紹介する。さらに、アサーションを利用したもう1つの検証手法であるフォーマル解析についても解説を加える。(2009/9/1)

誰でも使える形式手法(5):
VDMを用いた仕様記述・検証 〜 仕様検証編 〜
要求を仕様としてモデル化し、VDMで仕様を記述してきた本連載もいよいよ大詰め! 今回は“仕様の検証”について詳しく解説する。(2009/2/20)

誰でも使える形式手法(4):
VDMを用いた仕様記述・検証 〜 仕様記述編 〜
今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する!(2009/1/21)

誰でも使える形式手法(3):
VDMを用いた仕様記述・検証 〜 モデリング編 〜
今回は「LEGO Mindstorms NXT」を題材に、要求の分析からVDMを前提としたモデリング、UMLの記述までの流れを詳しく解説する。(2008/11/19)

誰でも使える形式手法(2):
VDMはソフトウェア開発でこう使う!
“VDMを開発プロセスの中でどのように活用すべきか”について、「導入」と「運用」に分けて、具体的な施策を示しながら解説する。(2008/10/20)

誰でも使える形式手法(1):
ライトウェイトな形式手法で高品質な仕様をこの手に!
仕様の“不確かさ”が原因で痛い目を見た。そんな経験をお持ちの皆さん、この機会に形式手法をマスターし、高品質な仕様を作成してみませんか。(2008/9/17)

品質向上技術解説:
いまさら聞けない 形式手法入門
ソフトウェアの品質向上手段として注目されている形式手法。今回は、厳密な仕様定義を目的とした「形式仕様記述」を中心に、分かりやすく解説する(2007/1/19)


サービス終了のお知らせ

この度「質問!ITmedia」は、誠に勝手ながら2020年9月30日(水)をもちまして、サービスを終了することといたしました。長きに渡るご愛顧に御礼申し上げます。これまでご利用いただいてまいりました皆様にはご不便をおかけいたしますが、ご理解のほどお願い申し上げます。≫「質問!ITmedia」サービス終了のお知らせ

にわかに地球規模のトピックとなった新型コロナウイルス。健康被害も心配だが、全国規模での臨時休校、マスクやトイレットペーパーの品薄など市民の日常生活への影響も大きくなっている。これに対し企業からの支援策の発表も相次いでいるが、特に今回は子供向けのコンテンツの無料提供の動きが顕著なようだ。一方産業面では、観光や小売、飲食業等が特に大きな影響を受けている。通常の企業運営においても面会や通勤の場がリスク視され、サーモグラフィやWeb会議ツールの活用、テレワークの実現などテクノロジーによるリスク回避策への注目が高まっている。