Ｗｈａｔ’ｓ Ｎｅｗ〜ソフトの正しさを数学で確認 民生でも始まる形式検証
日経エレクトロニクス 第904号 2005.7.18
| 掲載誌 | 日経エレクトロニクス 第904号（2005.7.18） |
|---|---|
| ページ数 | 1ページ （全1538字） |
| 形式 | PDFファイル形式 （160kb） |
| 雑誌掲載位置 | 42ページ目 |
組み込みソフトウエア分野において，品質を確保するための新たな検証手法が注目され始めた。航空宇宙や鉄道，原子力発電など，ソフトウエアに非常に高い信頼性や安全性が要求される分野やＬＳＩ設計で用いられてきた形式検証と呼ぶ手法が，民生機器の組み込みソフトウエア開発でも使えるようになってきたのだ注１）。ＮＥＣと北陸先端科学技術大学院大学，キャッツと九州大学らが相次いで，形式検証を民生機器でも利用できるよう…
記事の購入（ダウンロード）
購入には会員登録が必要です 会員登録はこちら
価格 330円（税込）
他のIDで購入する
G-Search ミッケ！は雑誌を記事ごとに販売するサービスです。
この記事は「1ページ（全1538字）」です。ご購入の前に記事の内容と文字数をお確かめください。
（注）特集のトビラ、タイトルページなど、図案が中心のページもございます。
Ｎｅｗ Ｐｒｏｄｕｃｔｓ〜＋１．５Ｖで動作
Ｗｈａｔ’ｓ Ｎｅｗ〜ケータイ用燃料電池にメド ドコモが通話時間を３倍に
Ｎｅｗ Ｐｒｏｄｕｃｔｓ〜球状の小型・高感度品
Ｎｅｗ Ｐｒｏｄｕｃｔｓ〜より透明になった高屈折率品
Ｎｅｗ Ｐｒｏｄｕｃｔｓ〜高い帯電防止性能を実現
