電子電機系統之功能安全 (Functional Safety) 國際標準日益受到重視,針對關鍵安全系統 (Safety-Critical System) 的軟體設計與測試議題,在自動化領域被高度關切與要求。依據現有最高要求的技術 (State of art) 是開發者所應盡之產品責任,IEC-61508、ISO-26262對軟體的設計與測試流程皆有詳細說明,本研討會將針對軟體測試驗證流程級產出有系統之介紹。