CID 프로젝트의 연구원들은 무한한 데이터를 사용한 계산에 대한 이해를 발전시켜 엔지니어링 애플리케이션에서 효율적이고 신뢰할 수 있는 소프트웨어를 구축하기 위한 기반을 마련
- 점점 더 많은 애플리케이션에서 컴퓨터를 사용하고 있으나 많은 상황에서 컴퓨터 프로그램은 예를 들어 반올림 오차로 인해 부정확성이 나타날 수도 있음
- 부정확한 실수가 발생하면 예상치 못한 결과를 초래할 수 있음 (예를 들어 최초의 아리안 5호 로켓이 이러한 부정확성으로 인해 발사에 실패)
- 이러한 부정확성은 수학 이론과 컴퓨터 프로그램의 구현 사이에 분리가 있을 때 발생
EU가 자금을 지원하는 CID 프로젝트를 통해 지겐 대학교는 이러한 부정확성을 해결하는 데 필요한 도구를 개발하려는 국제적인 노력을 주도
- 동 프로젝트는 서로 다르지만 관련된 분야의 연구자들이 매우 생산적이고 환영받는 환경에서 상호 작용할 수 있는 훌륭한 공간을 제공
동 프로젝트에는 엔지니어링 애플리케이션의 올바른 기능을 공식적으로 증명할 수 있는 도구를 개발하는 것을 목표로 유럽 전역과 전 세계의 20개 파트너 대학 및 연구 기관이 참여
※ 한국에서는 KAIST가 EU 외부 펀딩 8만 5,500유로를 통해 참여
- 소프트웨어는 일반적으로 다양한 시나리오에 대해 테스트되나, 여전히 취약점이 존재할 수 있고, 사고나 악의적인 행위로 인해 의도하지 않은 결과를 초래할 수 있으므로 소프트웨어가 확실하게 안전하다는 것이 보장되지는 않음
- 이러한 단점을 극복하기 위해 동 프로젝트는 무한정밀 데이터로 전환
- 이는 물리적으로 불가능해 보이지만 신중하게 설계하면 일반 컴퓨터가 실제로는 모든 데이터가 유한한 물리적 표현을 갖고 있음에도 불구하고 데이터 구조가 실제로 무한한 것처럼 동작하도록 일반 컴퓨터를 프로그래밍할 수 있음
- 무한 데이터 구조를 사용하면 부동 소수점이나 배정밀도 숫자를 기반으로 하는 표준 계산 모델에 편재하는 반올림 오류가 제거됨
무한한 데이터로 컴퓨팅함으로써 동 프로젝트는 프로그래밍 언어 지원과 무한한 데이터로 프로그램의 정확성을 보장하는 방법을 개발
- 이는 새로운 애플리케이션을 통합할 수 있는 수학적 모델의 문을 염
- 동 프로젝트는 엔지니어링 애플리케이션에 사용되는 다양한 알고리즘을 살펴봄으로써 컴퓨터의 도움으로 해결하기가 본질적으로 어렵거나 불가능한 문제가 무엇인지를 이해하고 이러한 문제가 더욱 쉬운 문제와 어떻게 다른지 규명하고자 하였음
- 연구자들은 일부 문제가 너무 복잡해서 이용가능한 간단한 절차가 없다는 사실을 발견
- 이를 아는 것은 소프트웨어 개발자에게 더 이상 대안을 찾는 데 시간을 소비할 필요가 없다는 것을 의미하므로 이는 중요한 성과임
① CID 프로젝트
- 펀딩 : EXCELLENT SCIENCE MSCA
- 기간 : 04.01.~2023.03.31.
- 예산 : 약 146만 유로 (EU 지원 약 96만 유로)
- 총괄 : UNIVERSITAET SIEGEN (독일)
