抄録
A-020
MARTE Profile によるリアルタイムシステム向け性能検証手法の提案
○磯田　誠・徳永雄一（三菱）
近年，組込みシステムをネットワーク接続して運用することで，システム単体での限界を克服する取り組みが盛んである．ネットワークを介したリアルタイム動作の検証が必要だが，従来手法では専門知識が必要という課題がある．本稿では，設計担当者が作成したUMLモデルを活用した性能モデリング・検証手法を提案する．