Romain Rossi et al. · 2017 · Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems (Ch. 11), River Publishers
관련도: 중 · 읽은 이유: 실차 기반의 ADAS 검증 환경 구축 시, 실제 테스트 트랙을 대체할 수 있는 하드웨어 구성 및 센서 데이터 주입 기법을 파악하기 위함이다.
실제 자동차를 런닝머신(다이나모미터) 위에 올리고, 전방 카메라에는 LCD 화면을, 통신 모듈에는 가상 차량 데이터를 보여주어 자동차가 마치 실제 도로를 달리고 있는 것처럼 '착각'하게 만드는 시스템이다.
Stephanie Demers, Praveen Gopalakrishnan, Latha Kant · 2007 · MILCOM 2007 - IEEE Military Communications Conference
관련도: 상 · 읽은 이유: 내 논문에 인용하기 위해서, 차후 SITL Sim을 구축할 때 참고하기 위해서
시뮬레이션의 가상 환경과 실제 소프트웨어를 '망글러'와 '매니저'라는 매개체로 투명하게 연결하여, 실험실 안에서 대규모 야전망 테스트를 실제 코드 그대로 수행한다.
Chunqiu Steven Xia, Matteo Paltenghi, Jia Le Tian, Michael Pradel, Lingming Zhang · 2024 · International Conference on Software Engineering
관련도: 상 · 읽은 이유: LLM Fuzzing(Universal Fuzzing) 학습
문법 규칙과 제약 조건을 수만 줄의 코드로 직접 하드코딩하는 대신, 이미 방대한 소스코드를 사전 학습한 대규모 언어 모델에게 타깃 명세서만 요약해 쥐어주면 모델 스스로 문법과 명세를 이해하고 똑똑하게 입력 변이를 수행하며 버그를 찾아낼 수 있다.
Angela Fan, Mitya Lyubarskiy, Beliz Gokkaya, Shubho Sengupta, Mark Harman, Shin Yoo, Jie M. Zhang · 2023 · ICSE-FOSE 2023
관련도: 상 · 읽은 이유: 소프트웨어 공학 도메인에서 LLM을 결합한 최신 하이브리드 기법들의 현황과 발전 방향 파악
소프트웨어 공학은 execution이라는 자동화된 ground truth를 가지므로, 전통적인 소프트웨어 검증 기술을 LLM과 결합하는 하이브리드 접근법을 통해 할루시네이션을 통제하고 신뢰성을 극대화할 수 있다.
Satoshi Nakamoto · 2008 · SSRN Electronic Journal
관련도: 중 · 읽은 이유: 김경훈 교수님 과제, P2P 네트워크 작업 증명을 통한 이중 지불 및 분산 합의 문제 해결 방안 확인
법적 강제력이나 중앙 기관의 보증 없이, 오직 전 세계 참여자들의 연산 자원과 수학적 증명만을 결합하여 신뢰를 자생적으로 창출하는 최초의 분산형 금융 장부 시스템이다.