tag:blogger.com,1999:blog-19350560.post4946655156625375503..comments2023-02-19T17:29:34.422+09:00Comments on Embedded Software Manufactory: 組込み機器におけるギャランティとベストエフォートsakaihttp://www.blogger.com/profile/13883404163009530229noreply@blogger.comBlogger2125tag:blogger.com,1999:blog-19350560.post-16627439442207247662007-05-24T10:12:00.000+09:002007-05-24T10:12:00.000+09:00Zackyさん、コメントありがとうございます。確かに050から始まるIP電話のコールを取っても、一般...Zackyさん、コメントありがとうございます。<BR/><BR/>確かに050から始まるIP電話のコールを取っても、一般回線との違いは感じられないですね。ベストエフォートでもユーザーにレスポンスの悪さを感じさせないようなシステムが増えてくるであろうということもわかります。<BR/><BR/>ところで、記事では触れませんでしたが、応答性とは別の問題でベストエフォート型はソフトウェアの複雑性が増す傾向があるように思います。自由度をできるだけ許容したいのですからその傾向があるのはわかります。<BR/><BR/>そのせいかどうかはわかりませんが、このところIP電話のネットワーク上のトラブルがニュースに流れています。<BR/><BR/>自由度が高いが故に、ソフトウェアの複雑度が増しプログラムのすべてのパスを網羅するテストを行うことが難しいのだと思います。<BR/><BR/>信頼性をギャランティするためには、複雑度を抑えるような取り組み(重要な回線は独立させてシンプルな構造にするなど)が必要なのだと思います。実際、NTT東日本のルータの故障時にも110や119などの緊急回線は通じたのだと聞きました。<BR/><BR/>P.S.<BR/>複雑でも網羅性の高いテストを実施する方法として形式手法があり、フェリカなどでは実績を上げているようです。sakaihttps://www.blogger.com/profile/13883404163009530229noreply@blogger.comtag:blogger.com,1999:blog-19350560.post-29207869698395796342007-05-23T23:03:00.000+09:002007-05-23T23:03:00.000+09:00ベストエフォート型とギャランティ型で、コストが極端に違う場合は? またはベストエフォートでうまく通信...ベストエフォート型とギャランティ型で、コストが極端に違う場合は? またはベストエフォートでうまく通信できない場合が実用的にほとんどない場合には?<BR/><BR/>今の IP 電話とか、そういう状態だと思います。ギャランティであることに価値がそれほど見いだせないということでしょう、残念ながら。zacky1972https://www.blogger.com/profile/11836148725650539966noreply@blogger.com