Research ＆ Consultation
～形式手法によるマルチタスク設計体験セミナー～
モデル検査ツールLTSAを使用したタスク設計を体験する無料セミナーです。


RTOSを利用したマルチタスクシステムを構築する際には、タスク設計が重要になります。このセミナーでは、 形式手法を利用してタスクのすべての動作パタンを生成することで、タスク設計の正しさを確認する方法を紹介します。

★ こんな方を対象にしております ★

・ 製品の信頼性向上に興味のある方
・ RTOSの動きを学習したい方
・ ソースコードにする前に設計検証したい方
・ 要求仕様書からテストケースを作成したい方
・ マルチタスクシステムを設計する方

■形式手法によるマルチタスク設計体験セミナー概要
日程 2005年12月15日（木） 13:00 ～ 17:00 (開場 12:00～)
会場 イーソル株式会社 本社（ハーモニータワー 22F）
東京メトロ 大江戸線、丸の内線「中野坂上駅」より徒歩1分
講師 藤倉 俊幸　（弊社　RCSグループ）
受講について 実際にLTSAを操作していただきます。

※お申し込み後にLTSAのダウンロードとインストール手順を説明した
pdfファイルを送付いたします。
当日はLTSAがインストール済みのノートPCをお持ちください。

なお、お持ち込みいただいたPCの盗難･破損についてはイーソル（株）は責任を負いかねますのでご了承ください。
申し込み方法 貴社名、ご所属、役職、お名前、ご連絡先のE-Mailアドレス、電話番号をご記入の上、こちらへメールにてご連絡ください。

※満席になり次第締め切らせていただきますので、予めご了承ください。
※ご記入いただきました個人情報は、セミナーの受講とセミナー案内の目的の為に利用するとともに、ご希望に応じて弊社の製品やサービスに関する各種ご案内をさせていただく場合があります。ご本人の同意を得ることなく弊社以外の第三者に提供することはありません。本セミナー以外に関するご案内を希望されない場合は、お申込みのメールに希望しない旨お書き添えください。 ご不明な点はお問い合わせください。