【 8月31日(月) ウェビナー開催】  最悪実行時間検証の課題と解析ツールについてウェビナーを実施します。

ソフトウェアの開発において、信頼性の担保をどのように考えていますか？
最悪実行時間の計測をどのように行っていますか？

ツールを使えば「早く・正確に」最悪実行時間を解析することが可能です！
スマートフォン、スマートシティなど世の中がどんどん便利に進化しているように、ソフトウェアの信頼性担保の世界も数年前とは変化しています。

そこでソフトウェアの信頼性向上に有効な静的解析ツールをご紹介します。 
ウェビナー形式開催のため、ご自宅からでもお気軽に参加が可能です。
是非この機会にご参加ください！

テーマ　：　高い信頼性と効率的な解析を　　 ～AbsInt社製最悪実行時間解析ツールのご紹介～

日　程　：　2020年8月31日(月)　14時～15時

対　象　：　ソフトウェアエンジニア

形　式　：　オンラインセミナー形式で開催

参　加　：　事前登録必須(参加費無料)
https://zoom.us/webinar/register/WN_YesECRx1SuSCHf7JI-TS7Q

内　容　：　ソフトウェアの最悪実行時間は、昔からソフトウェアの信頼性を担保する重要な要素です。　
しかし、真の最悪実行時間が発生するケースは非常に稀で、計測、設定した最悪実行時間の信頼性の担保は大きな課題となっています。
また、実機による動的解析に多くの時間を要することも課題です。
AbsInt社製の最悪実行時間解析ツールは、マイコンモデルを実装し、形式手法を用いて高度な静的解析技術を備えることで、皆様に新しい解を提供します。