IoT（モノのインターネット）市場が拡大する中で、エッジ側の機器制御で重要な役割を果たすことが期待されているリアルタイムOS（RTOS）について解説する本連載。第50回は、イタリア発のRTOS「BeRTOS」を紹介する。
「形式手法」を、システムの開発に活用するベンダーやユーザー企業が増えている。仕様の記述で漏れをなくす、従来型のテストでは発見しにくいバグを見つける、などが狙いだ。経済産業省が6月に公開した信頼性ガイドラインにも、推奨手法として掲載された。古くからある形式手法が注目され始めたのは、普及を阻んでいた“扱いにくさ”をカバーするツールが登場し、活用のノウハウが蓄積されたからである。 本記事は日経コンピュータ7月24日号からの抜粋です。そのため図や表が一部割愛されていることをあらかじめご了承ください。本「特集2」の全文をお読みいただける【無料】サンプル版を差し上げます。お申込みはこちらでお受けしています。なお本号のご購入はバックナンバーをご利用ください。 「キャッシュ・メモリーの制御に関する処理で、いくらテストしても原因が特定できなかったバグを形式手法で取り除くことができた」。富士通研究所 ITコア
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 31st International Symposium on Model Checking Software will be held M
http://techon.nikkeibp.co.jp/article/HONSHI/20051213/111571/ 日エレまで形式検証を記事にするとは。えー今まじでそういうモードなの？？ 悪いこととは思わないんだけど…記事をざっと読んだけど、さすがにここまで全面肯定的な記事だと、ちょっと違和感があったりして。 というか気になるのは、単に「次の流行りもの」というノリでしか見られてないんじゃないかという、そんな雰囲気がちょっと見え隠れする事で。 5年前くらいは「コードを書く前に上流で設計しなきゃ！」というノリでUMLが流行り、2〜3年前は「上流設計だけじゃダメ。ちゃんとプロセス管理/プロジェクト管理しなきゃ！」という売り文句でCMMやらPMBOKが流行り…で今度は「プロジェクト管理だけじゃダメ。ちゃんと仕様を検証しなきゃ！」って、なんか結局そんなノリなんじゃないかと（事実、そういう風な記
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く