설계에 의한 신뢰(Trust by design) — 모듈화에 대한 찬사: 사례 연구

집단 적응형 시스템(collective adaptive systems)이 안전하고, 신뢰할 수 있으며, 믿을 수 있는 상태를 유지하도록 보장하기 위해서는 기존에 확립된 형식 방법(formal methods), 특히 확립된 검증 기술(verification techniques)을 초월하는 조치들이 필요합니다. 본 논문에서는 다음과 같은 세 가지 조치를 제안합니다: (1) 개념적 수단: 이벤트의 원인과 결과가 국소적으로 제한되는 실행(runs), (2) 이러한 실행을 존중하고 활용하는 시제 논리(temporal logic)와 같은 검증 기술, (3) 구성 요소의 속성으로부터 시스템 속성을 합성하는 것. 본 논문은 설계에 의한 신뢰(trust by design)를 달성하기 위한 모듈화(modularization)의 이점에 특히 초점을 맞춘 사례 연구를 제시합니다. 향후 연구를 통해 제시된 아이디어들에 대한 완전한 이론을 발전시킬 것입니다.