[논문 리뷰] QDLC -- The Quantum Development Life Cycle

Nivedita Dey, Mrityunjay Ghosh외 2명|arXiv (Cornell University)|2020. 10. 15.

Cloud Computing and Resource Management인용 수 4

한 줄 요약

이 논문은 양자 소프트웨어 개발을 체계화하기 위해 양자 워터폴 모델로 구조화된 양자 개발 생애주기(QDLC) 모델을 제안한다. 이는 근접한 양자 시스템에서의 하드웨어 제약과 노이즈 문제에도 불구하고, 표준화된 방법론 부족으로 인한 문제를 해결하고, 비용 효율적인 양자 애플리케이션 개발을 가능하게 한다.

ABSTRACT

The magnificence grandeur of quantum computing lies in the inherent nature of quantum particles to exhibit true parallelism, which can be realized by indubitably fascinating theories of quantum physics. The possibilities opened by quantum computation (QC) is no where analogous to any classical simulation as quantum computers can efficiently simulate the complex dynamics of strongly correlated inter-facial systems. But, unfolding mysteries and leading to revolutionary breakthroughs in quantum computing are often challenged by lack of research and development potential in developing qubits with longer coherence interval, scaling qubit count, incorporating quantum error correction to name a few. Putting the first footstep into explorative quantum research by researchers and developers is also inherently ambiguous - due to lack of definitive steps in building up a quantum enabled customized computing stack. Difference in behavioral pattern of underlying system, early-stage noisy device, implementation barriers and performance metric cause hindrance in full adoption of existing classical SDLC suites for quantum product development. This in turn, necessitates to devise systematic and cost-effective techniques to quantum software development through a Quantum Development Life Cycle (QDLC) model, specifying the distinguished features and functionalities of quantum feasibility study, quantum requirement specification, quantum system design, quantum software coding and implementation, quantum testing and quantum software quality management.

연구 동기 및 목표

• 양자 소프트웨어 개발을 위한 표준화된 개발 방법론 부족으로 인해 양자 계산 연구 및 응용 개발의 체계적 진전이 저해되는 문제를 해결한다.
• 큐비트의 공명 유지, 노이즈, 측정 붕괴와 같은 양자 특유의 과제를 다루는 데에 부적절한 기존의 고전적 SDLC 모델의 한계를 극복한다.
• 가능성 분석, 요구사항 명세, 시스템 설계, 코드 작성, 테스트, 품질 관리에 이르기까지 단계별로 구성된 체계적인 양자 소프트웨어 개발 프레임워크를 제공한다.
• 양자 오류 수정 및 최적화 기법을 통합하여 이론적 양자 알고리즘에서 실제 배포 가능한 양자 애플리케이션으로의 전환을 촉진한다.
• 노이즈가 있는 중규모 양자(NISQ) 시대의 근접한 양자 개발을 지원하기 위해 확장 가능하고 모듈화되며 비용 효율적인 개발 생애주기를 제공한다.

제안 방법

• 고전적 SDLC와 유사하지만, 양자 특유의 제약 조건에 맞게 조정된 체계적이고 단계 기반의 접근 방식으로, 양자 워터폴 모델을 제안한다.
• 전용 단계를 도입한다: 양자 가능성 연구, 양자 요구사항 명세(하드웨어 및 소프트웨어), 양자 시스템 설계, 양자 코드 작성 및 구현, 양자 상태 복원을 통한 양자 테스트, 양자 소프트웨어 품질 관리(QSQM).
• 측정에 의한 파동함수 붕괴로 인한 고전적 디버깅의 한계를 극복하기 위해, 가능한 한 비붕괴 상태 분석을 허용하는 양자 상태 복원 및 검증 도구의 강조.
• 회로 깊이와 폭을 줄여 런타임과 자원 오버헤드를 최소화하기 위해 컴파일 및 하드웨어 매핑 수준에서 최적화 기법을 통합한다.
• 향후 고장 내성 양자 컴퓨터(FTQC) 설계를 위한 오버헤드 추정 및 설계 결정 지원을 위해 개발 생애주기 내에 양자 오류 수정(QEC) 분 析를 통합한다.
• 후행 QEC 성능 분석과 자원 사용량 및 정확도 간의 트레이드오프 평가를 통해 양자 회로의 반복적 개선을 지원한다.

실험 결과

연구 질문

• RQ1 양자 하드웨어의 고유한 제약 조건을 고려할 때, 체계적이고 확장 가능하며 비용 효율적인 양자 소프트웨어 개발 생애주기를 어떻게 확립할 수 있는가?
• RQ2 고전적 SDLC와 양자 특화 개발 모델 간의 핵심 차이점은 무엇이며, 큐비트의 분해와 측정 붕괴와 같은 양자 특유의 과제를 어떻게 수용할 수 있는가?
• RQ3 NISQ 시대의 하드웨어-소프트웨어 공동 설계를 이끌기 위해 양자 가능성 및 요구사항 분석은 어떻게 체계화할 수 있는가?
• RQ4 양자 상태를 붕괴시키지 않고도 효과적으로 양자 프로그램을 테스트하고 검증할 수 있는 기법은 무엇인가?
• RQ5 알고리즘 컴파일에서 전체 하드웨어 배포에 이르기까지 추상화 계층 전반에서 양자 소프트웨어 품질 관리는 어떻게 구현할 수 있는가?

주요 결과

• 제안된 QDLC 모델은 양자 R&D 분야에서 표준화된 방법론 부족 문제를 해결하기 위해 단계별로 구성된 체계적인 프레임워크를 제공한다.
• 양자 테스트는 양자 상태 복원 및 검증 도구를 통해 가능해지며, 파동함수 붕괴로 인한 고전적 디버깅의 한계를 우회한다.
• 컴파일 및 회로 매핑 단계에서의 최적화 기법은 회로 깊이와 폭을 크게 줄여 런타임 효율성을 향상시키고 자원 오버헤드를 감소시킨다.
• 후행 양자 오류 수정(QEC) 성능 분석을 통해 논리 큐비트의 정밀도와 물리적 자원 비용 간의 정보 기반 트레이드오프를 가능하게 한다.
• QDLC 모델은 오류 내성과 확장 가능성을 초기 단계부터 통합함으로써 근접한 NISQ 응용과 장기적인 고장 내성 양자 계산(FTQC) 개발을 모두 지원한다.
• 이 모델은 알고리즘 설계에서 배포에 이르기까지 체계적인 전환을 가능하게 하여, 표준화되고 반복 가능한 프로세스를 통해 양자 계산 분야의 연구 및 개발를 강화한다.