Communicating Sequential Processes (CSP) 通訊順序進程

CSPは並行システムの挙動を記述・検証するための形式化手法です。自動車業界ではOTA更新システムの安全性検証に活用され、ISO/SAE 21434準拠のための競争条件（Race Condition）排除に不可欠な技術です。