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

  • 関連の記事

「静的解析」最新記事一覧

アクセル/京都マイクロコンピュータ SOLID Starter Kit for AG903:
組み込み機器向けグラフィックスLSIと統合ソフトウェア開発基盤をセットで提供
アクセルは、同社の組み込み機器向けグラフィックスLSI「AG903」の採用拡大に向け、京都マイクロコンピュータ(KMC)と協業することを発表した。(2017/4/26)

ACCESS テレビ向けソリューション 採用事例:
ACCESSのテレビ向けソリューション、インド全域展開事業者に採用
ACCESSは、同社のテレビ向けソリューションが、携帯通信事業者Reliance Jio Infocomm(Jio)がインド全域で展開するマルチスクリーンサービス「Jio Digital Lifestyle」に採用され、実装されたと発表した。(2017/4/13)

産業向けルネサスマーケットプレイス:
「RZ/G Linux」ボードやソフトを一括提供、ルネサスがマケプレ開設
産業向けプラットフォーム「RZ/G Linux」の普及促進を狙い、ルネサスが周辺情報やサードパーティーによる認証済みソフトを提供するマーケットプレースを開設した。EC機能も備えており、評価版での評価から対象製品の購入までをワンストップで行える。(2017/4/10)

モダンなフロントエンド開発者になるためのSPA超入門(2):
ReactとAngular2の使い方やコードの違いをコンポーネント単位で比較する
フロントエンド開発のアーキテクチャである「SPA(Single Page Application)」について、開発に必要となる各種フレームワークの特徴や作り方の違いなどを紹介する連載。今回は、ReactとAngular2を使い、SPA開発のイメージをつかむとともに、それぞれの違いを明らかにしていく。(2017/4/4)

特選ブックレットガイド:
組み込み開発の視点で見る、「IoTと組み込みセキュリティ」その概念と実装
IoTによる明るい未来、美しい物語が各所で語られているが、IoTはその特性によって管理改善の難しい領域を持つ。それがサイバー攻撃によるリスクである。本稿ではIoTが本質的に持つリスクと危険性、その対策について組み込み開発の視点から解説する。(2017/4/4)

イーソルトリニティ TESSY:
テスト自動化ツール「TESSY」に新機能、RTRT対応に
イーソルトリニティは、組み込みソフトウェア単体テスト自動化ツール「TESSY」への新機能追加を発表した。最新バージョンは、「IBM Rational Test Realtime」で作成したテストケースが利用できる。(2017/4/3)

Embedded Linux&Android Alliance(ELAA):
産業機器にLinuxとAndroidを推進、アドバンテックらが推進団体
アドバンテックが産業用途に向けて組み込みLinuxと対応ボードを推進する団体、「Embedded Linux&Android Alliance(ELAA)」の設立を発表した。(2017/4/3)

老舗の実力でインターネットの安全を当たり前に:
PR:"セキュリティ事業者”IIJは何をしようとしているのか?――キーマンインタビュー
日本初のISP(インターネットサービスプロバイダー)として、長年にわたりネットワーク関連サービスを提供してきたIIJ。近年では、クラウド事業からMVNO事業まで幅広くビジネスを展開している同社が、今あらためて強調するのが「セキュリティ事業」への取り組みだ。国内初のファイアウォールサービスにはじまり、インターネット黎明期からセキュリティサービスを提供してきたIIJが、2016年秋にセキュリティブランド「wizSafe(ウィズセーフ)」を立ち上げた狙いはどこにあるのか、同社のセキュリティ事業を支えるキーマン3人に聞いた。(2017/4/5)

特選ブックレットガイド:
ソフトウェアテストの手法と施策
製造業のための製品・サービス情報サイト「TechFactory」で掲載された主要連載や特集を、PDFの電子ブックレットに再編集してお届けする「エンジニア電子ブックレット」。今回は『ソフトウェアテストの手法と施策』をご紹介します。(2017/3/28)

イーソル eMCOS POSIX:
RTOS「eMCOS」にPOSIX仕様準拠のプロファイル
イーソルがRTOS「eMCOS」のPOSIX仕様準拠プロファイル「eMCOS POSIX」を追加した。ROSやAutowareといったOSSの資産を組み込みシステムで広く容易に活用できる。(2017/3/28)

IoTとAI、ビッグデータ時代のソフトウェアテスト(7):
ソフトウェアテストの試練(後編)―IoTとAI、ビッグデータが愛したテスト
IoTとAI、ビッグデータが一般化した時代に求められるソフトウェアテストとは、どのようなものになるのか、今回は新時代に求められるテストの必要条件とは何かを見ていくことにする。(2017/3/27)

IoTとAI、ビッグデータ時代のソフトウェアテスト(6):
ソフトウェアテストの試練(前編)―IoTとAI、ビッグデータの試練を乗り越える開発
IoTやAI、ビッグデータのソフトウェアテストにどんな試練と障壁が待ち受けていて、その壁は登り越えられるのか。今回から新時代のソフトウェアテストの試練について見ていく。まずはテストに深く関係する「ソフトウェア開発」について振り返る。(2017/3/22)

PALTEK DATA BRICK:
最新FPGA搭載、4K映像や機械学習を高速処理
PALTEKは、ザイリンクス製の最新FPGAを搭載したFPGAコンピューティングプラットフォーム「DATA BRICK」を、ベクトロジーと共同開発した。4Kビデオ処理や機械学習、ビッグデータ分析などの処理を高速かつ低消費電力で実行することができる。(2017/3/21)

豆蔵/東京農工大学 共同研究:
産業用ロボットアームの開発プロセスを最適化する設計手法――新規参入でも短期市場投入が可能に
豆蔵と東京農工大学は、産業用ロボットアームの開発期間を短縮する設計手法の実用化に関する共同研究の成果を発表した。産業用ロボットアーム開発での実機試作回数を大幅に減らし、早期市場投入を支援する。現在、豆蔵はロボット領域への取り組みを強化しており、今回の設計手法を軸とした開発支援やコンサルティングの他、自社ロボットの開発なども視野に入れているという。(2017/3/21)

MATLAB/Simulink Release 2017a:
自動運転と5Gを視野に入れたモデルベース開発環境最新版
The MathWorksが「MATLAB/Simulink」の最新版「Release 2017a」を提供開始した。新たに自動運転と5Gに関する機能を搭載、Live Editorも強化されさまざまなモデルベース開発を支援する。(2017/3/17)

ACCESS NetFront Browser NX:
「Nintendo Switch」で“7回目”の採用となった組み込みソフト
任天堂のゲーム機「Nintendo Switch」には、本製品で「任天堂のゲーム機では7機種目の採用」となる組み込みソフトウェアが採用されている。(2017/3/5)

人工知能ニュース:
マイクロソフトが研究する「信用できるAI」は「FATE」が必要
マイクロソフトの研究部門であるマイクロソフトリサーチ(MSR)は、AI研究について「基礎研究」「タスク完了」「信用できるAI」という3つの方針を掲げている。また方針の1つである「信用できるAI」には「FATE」が必要になるという。(2017/2/28)

特選ブックレットガイド:
ソフトテストの「品質」と「コスト」を両立させるための思考法
製造業のための製品・サービス情報サイト「TechFactory」で掲載された主要人気連載/特集記事を、読みやすいPDF形式の電子ブックレットに再編集してお届けする「エンジニア電子ブックレット」。今回は『ソフトウェアテストのコストと品質』をご紹介します。(2017/2/28)

IoTとAI、ビッグデータ時代のソフトウェアテスト(5):
ソフトウェアテストの手法と施策(後編)「テストの施策」を反省する
何らかの判断でソフトウェアテストの手法が選択できても、「どう実施するか」の施策もまた、重要な要素である。プログラマー個人からチーム、会社レベルまで、どのような施策をもってテストを実施すべきか検討していく。(2017/2/28)

IoTとAI、ビッグデータ時代のソフトウェアテスト(4):
ソフトウェアテストの手法と施策(中編) 幸せになれるソフトウェアテストの選び方
ソフトウェアテストの選択はケースバイケースであり絶対な正解はないが、ベターな選択は存在する。そこでテスト手法の詳細を知り、選択基準を見てゆくことにする。(2017/2/21)

IoTとAI、ビッグデータ時代のソフトウェアテスト(3):
ソフトウェアテストの手法と施策(前編) テストの分類
IoTやAI、ビッグデータなどの概念が身近になった昨今、ソフトウェアテストはその複雑さを増している。そんな時代の中で実行力を持つソフトウェアテストの手法と施策を検証していく。(2017/2/10)

Qt 5.8:
メモリフットプリント最大60%削減、組み込みに適したQt 5.8
「Qt」の最新版「5.8」が提供開始された。最新版ではマルチプロセス対応の新機能やステートマシン開発ツールへの統合などが行われた他、カスタマイズ性を高めることで「最大で60%のメモリフットプリントを削減」可能だ。(2017/2/6)

NEC CyberWorkBench:
NECの高位合成ツール「CyberWorkBench」、台湾ファラデーに導入
NECの同社高位合成ツール「CyberWorkBench」が、台湾のファブレスICベンダーであるファラデー(Faraday Technology Corporation)に導入された。(2017/1/30)

山浦恒央の“くみこみ”な話(91):
タダでソフト開発の生産性と品質を上げる方法(1):意外に使える無料のソースコード測定ツール「SourceMonitor」
「“くみこみ”な話」の新シリーズが開幕。テーマは「タダでソフト開発の生産性と品質を上げる方法」です。第1回は、ソースコードを簡単に分析し、計測するフリーツール「SourceMonitor」を紹介します。(2017/1/25)

特選ブックレットガイド:
IoTセキュリティ、製造側はどこまで注意するべきなのか?
攻撃手段の差異化とその脅威が知れ渡るにつれ、重要度を増している「IoTセキュリティ」ですが、デバイスの製造側としてはどこまでを注意すべきなのでしょうか?慶応大学 徳田先生の講演を紹介します。(2017/1/24)

Synopsys Coverity:
サポート言語に「Fortran」を追加、静的解析機能をさらに強化
Synopsys(シノプシス)は、Fortranで開発されたソースコードの欠陥や異常を特定するための静的解析ツールを手掛けるForcheckからの技術資産買収を完了した。(2017/1/23)

IoTとAI、ビッグデータ時代のソフトウェアテスト(2):
ソフトウェアテストのコストと品質(後編)―現場と「上」で一緒に考える
ソフトウェアテストの最大の問題である、「テストにかけるコスト」と「得られる品質」のバランスをどのように取るのか。この関係について、開発現場と経営者的視線である「上から目線」の双方から考えていく。(2017/1/23)

コネクテッドカーのクラッキング対策に:
DNPのアプリ改ざん対策ソフトウェア「CrackProof」が自動車業界で採用
大日本印刷のクラッキング対策ソフトウェア「CrackProof」がコネクテッドカーを推進する自動車業界で採用された。遠隔操作によるドアの解錠や走行データの抜き取り、データ改ざんなど、ネットワークにつながった自動車のクラッキング対策を実現する。(2017/1/17)

特選ブックレットガイド:
ビッグデータと深層学習の組み合わせは「究極の人工知能」を生み出すのか?
製造業からも無視できない存在感を発している「人工知能」ですが、その進化は急激なものであり、現状把握すらも容易ではありません。東京大学の杉山教授がアカデミックな観点から「人工知能研究の現状と今後の展望」を解説した講演を紹介します。(2017/1/17)

富士ソフト Visual Verification Suite:
通信/航空宇宙業界向けのRTL開発用統合EDAツール
富士ソフトは、米Blue Pearl Softwareと販売店契約を締結し、同社のEDAツール「Visual Verification Suite」の日本国内での販売を開始した。(2017/1/17)

リコー RICOH TotalFlow BatchBuilder V2:
少量多品種の印刷業務を効率化する商業印刷向けソフトウェア
リコーがオンデマンド印刷の普及によって浮上している、小ロット化や短納期化といった問題を解決するソフトウェアを販売する。(2017/1/17)

Forcheckの技術資産買収完了:
Synopsysが静的解析機能強化、Fortranに対応
Synopsysは、ソフトウェア会社Forcheckからの技術資産買収を完了した。買収により得た技術資産を、Synopsys製の静的解析ツール「Coverity」に追加/統合することで、解析機能がさらに強化される。(2017/1/16)

ユビキタス Ubiquitous QuickBoot:
高速起動ソリューションがルネサス最新SoCに対応、車載向けに機能強化
ユビキタスのLinux高速起動ソリューション「Ubiquitous QuickBoot」が、ルネサスの「R-Car H3」「R-Car M3」に対応。セキュアブートなど車載向け機能強化も果たした。(2017/1/12)

特選ブックレットガイド:
「ゲンバ」への音声認識導入を失敗させる2つの原因
ハンズフリー作業によって生産効率を上げる「音声認識」ですが、製造業への相性は良いものの失敗する事例も後を絶ちません。失敗の2大要因とその対応策を探ります。(2017/1/10)

トレンドマイクロ ウイルスバスター for Home Network:
家庭内のスマート家電をネットワーク経由でセキュリティ強化
トレンドマイクロは、家庭内にある複数台のスマート家電を、外部からの攻撃や侵入から防ぐことができるホームネットワークセキュリティ製品「ウイルスバスター for Home Network」を発売した。(2017/1/10)

IoTとAI、ビッグデータ時代のソフトウェアテスト(1):
ソフトウェアテストのコストと品質(前編)―「テストの究極の問題」を考える
言うまでもなくソフトウェアテストは重要だが、IoTやAIなどの新しい概念によってソフトウェア自体の在り方が変わりつつある中、旧来からのテストを踏襲するだけでは成果は得られない。新時代のソフトウェアテストについて、考察する。(2017/1/10)

TechFactory通信 編集後記:
なぜ「ラズパイ」が産業機器向けに伸びているのか
登場から4年、既に1000万台以上を出荷したシングルボードコンピュータがあります。元は教育用として企画されましたが、最近では産業機器向けとしても需要が高まり愛知県でも生産を開始しています。(2016/12/28)

DevOps時代のテスト自動化カンファレンス(後編):
「三権分立」で1年に200リリースを達成した楽天トラベル、150人規模のチームで実現できた秘訣とは
2016年12月6日に開催されたセミナー「DevOps時代のテスト自動化カンファレンス〜はやく、いいものを届けよう〜」のレポート第3弾では、楽天トラベルにおけるDevOpsとテスト自動化の取り組みを中心に、最適な開発ライフサイクル実現のヒントを紹介する。(2016/12/27)

SOLIZE Engineering PhiSystem:
仏MBSE用ソフトウェアの新製品が国内で販売開始
SOLIZEは、同社の子会社SOLIZE Engineeringが、仏SHERPA Engineeringが開発したモデルベースシステムズエンジニアリング向けのソフトウェア「PhiSystem」の取り扱いを開始したことを発表した。(2016/12/27)

山浦恒央の“くみこみ”な話(90):
猫でも分かるソフトウェアのテスト網羅(7):C2カバレッジは「裸の王様」
「制御パステスト」をテーマとする「猫でも分かるソフトウェアのテスト網羅」シリーズの第7回(最終回)では、前回に引き続き、パス・カバレッジの王者である「C2カバレッジ」の弱点を解説します。(2016/12/21)

特選ブックレットガイド:
組み込みエンジニア「転職に前向き」が7割超える
ひとくちに「組み込みエンジニア」と言っても専門性の高さもあり、人材の流動性はあまり高くないという印象もありますが、過半数が「転職経験あり」と回答しています。また、7割が転職に前向きな意志を示しており、組み込みエンジニアも自身のキャリア組み立てに関心が高い様子です。(2016/12/20)

eT-Kernel Compact:
最新ARMv8-MアーキテクチャをサポートしたリアルタイムOS
イーソルは、同社が提供するリアルタイムOS「eT-Kernel」がARM Cortex-Mファミリー向けの最新ARMv8-Mアーキテクチャをサポートしたことを発表した。(2016/12/20)

イーソル eT-Kernel:
イーソルのRTOS開発プロセスが「IEC 62304」認証を取得
イーソルのRTOS開発プロセスが、医療機器用ソフトウェアの安全規格である「IEC 62304:2006」の認証を得た。あわせてIEC 63304の要求を満たしたRTOSの提供も開始した。(2016/12/20)

テクマトリックス Lattix 10:
アーキテクチャチェック機能を強化したソフトウェア構造可視化ツールの最新版
ソフトウェアの構造と依存関係をDSM(Dependency Structure Matrix)を使って可視化する、米Lattixのアーキテクチャ分析ツール「Lattix 10」をテクマトリックスが販売開始した。(2016/12/14)

特選ブックレットガイド:
「センサー」「仮想化」「フォグ」の視点からIoTを再考する
IoTがその現実性について語られるようになった今だからこそ、その基本概念を再考する機運が高まっています。「センサー」「仮想化」「フォグ」などの観点から、IoTを再考してみましょう。(2016/12/13)

図研 Visual Risk:
制御システム製品開発に「リスクベース・デザイン」を導入するツール
構想設計段階で行うリスクアセスメントとその対策を盛り込んだ設計プロセスである「リスクベース・デザイン」を支援するツール「Visual Risk」を図研が販売する。(2016/12/9)

特選ブックレットガイド:
ロボット開発に学ぶ、モノづくりへのOSS活用
モノづくりにおけるOSS(オープンソースソフトウェア)への関心は高まる一方ながら、上手に活用されている例は少ないのが現状です。OSSによるロボティクス領域の形成と発展をサポートする東京 オープンソースロボティクス協会の取り組みを通じ、「モノづくりへのOSS活用ポイント」を探ります。(2016/12/6)

IoTセキュリティ:
コネクテッドカーとIoTデバイスのセキュリティに“コロンブスの卵”
アズジェントは、イスラエルのベンチャー企業・Karamba Security(以下、カランバ)のセキュリティソフトウェアを販売する。コネクテッドカー向けの「Carwall」とIoTデバイス向けの「IoTwall」で「“コロンブスの卵”的な発想の転換により、困難と思われていたIoTセキュリティの要件を効率よく実現した」という。(2016/11/30)

特選ブックレットガイド:
「ディープラーニング」が製造業にもたらすインパクト
人工知能やディープラーニングといった言葉が注目を集めていますが、それはITの世界にとどまるものではなく、製造業においても導入・検討されています。製造業にとって人工知能やディープラーニングがどのようなインパクトをもたらすかを解説します。(2016/11/29)

特選ブックレットガイド:
「モーター制御」を題材としたリアルタイムシステムアーキテクチャ考察
「モーターを制御する」 組み込みエンジニアであれば一見簡単なテーマに思えますが、その原理や課題、現状を再確認すると、リアルタイムシステムアーキテクチャの今後の方向性を示していることが分かります。(2016/11/22)



多くの予想を裏切り、第45代アメリカ合衆国大統領選挙に勝利。貿易に関しては明らかに保護主義的になり、海外人材の活用も難しくなる見込みであり、特にグローバル企業にとっては逆風となるかもしれない。

携帯機としても据え置き機としても使える、任天堂の最新ゲーム機。本体+ディスプレイ、分解可能なコントローラ、テレビに接続するためのドックといった構成で、特に携帯機としての複数人プレイの幅が広くなる印象だ。

アベノミクスの中でも大きなテーマとされている働き方改革と労働生産性の向上。その実現のためには人工知能等も含むITの活用も重要であり、IT業界では自ら率先して新たな取り組みを行う企業も増えてきている。