AIBR プレミアム
拓海先生、最近、うちの若手が『モデル検査』をやれと言ってきて困っています。要するに何をする技術なのか、まずは簡単に教えていただけますか。
素晴らしい着眼点ですね！モデル検査はソフトや回路が設計どおりに動くかを自動で確かめる技術です。難しい言葉を避けると、設計図どおりに家が建つかをチェックする検査員のようなものですよ。大丈夫、一緒にやれば必ずできますよ、まずは要点を三つにまとめますね。まず目的、次にスケールの課題、最後に解決の方法です。
要点三つ、わかりました。で、若手が言うには『CTL』という論文の手法が良いらしいのですが、CTLというのは何の略ですか、経営的に言うと何が変わるんでしょうか。
素晴らしい着眼点ですね！CTLはComputation Tree Logic（CTL、計算木論理）で、未来のいくつもの可能性を木の枝に例えて検査する論理です。経営視点だと、製品の異なる使われ方それぞれに対して安全性や性能が保たれるかを一括で確認できる、という変化ですよ。次にこの論文の肝は、それをクラウドと大規模データ技術で分散実行する点です。
クラウドに分散させるとコストばかりかかるのではないですか。うちのような中小企業が本当に導入すべき投資なのか、投資対効果が分かる言葉で教えてください。
素晴らしい着眼点ですね！投資対効果で見ると三つの観点で検討できます。第一に初期投資を抑えつつ大量の計算を短時間で終えられるため、開発期間短縮で工数削減が期待できる点。第二にバグや欠陥を早期に見つけることで市場投入後の修正コストを下げられる点。第三に検証を並列化することで、従来不可能だった規模の検査が現実的に行える点です。具体的なコスト試算は段階的にやればリスクは限定できますよ。
これって要するに、検査作業を雇った人間の代わりにクラウドの臨時の作業員を並列で雇うことで、短時間で多数のケースを確認して不具合を早く見つける、ということですか。
