堅牢な産業用コンピュータによる信頼性の高い学校セキュリティゲートウェイの実現