사이버-물리 시스템의 과거, 현재 및 미래: 모델에 대한 집중

이 논문은 더 나은 모델을 통해 사이버-물리 시스템(CPSs)의 공학을 개선하는 것에 관한 것입니다. 결정론적 모델은 역사적으로 매우 유용하다는 것이 입증되었으며, 산업 혁명과 디지털 및 정보 기술 혁명의 핵심 요소를 형성한다고 할 수 있습니다. 성공적인 결정론적 모델에는 미분 방정식, 동기 디지털 논리 및 단일 스레드 명령형 프로그램이 포함됩니다. 그러나 사이버-물리 시스템은 이러한 모델을 결합하여 결정론이 보존되지 않도록 합니다. 두 가지 프로젝트는 충실한 물리적 실현을 갖춘 결정론적 CPS 모델이 가능하고 실용적임을 보여줍니다. 첫 번째 프로젝트는 PRET로, 동기 디지털 논리의 타이밍 정밀도가 소프트웨어 수준의 추상화에서 실제로 제공될 수 있음을 보여줍니다. 두 번째 프로젝트는 Ptides(시간적으로 통합된 분산 임베디드 시스템을 프로그래밍하는 것)로, 분산 사이버-물리 시스템을 위한 결정론적 모델이 실제로 충실한 실현을 갖춘다는 것을 보여줍니다. 이러한 프로젝트는 결정론적 CPS 모델이 가능하고 실용적이라는 존재 증명입니다.