'실시간 시스템 설계' 핵심 모델 연구"자율주행, 항공·우주 제어 현장에서 핵심 분석 도구로 활용"국제전기전자학회(IEEE) 실시간 시스템 심포지엄(RTSS)에서 '가장 영향력 있는 논문상 2025'을 수상한 신인식 KAIST 전산학부 교수(KAIST 제공) /뉴스1김종서 기자 ETRI '상용화 단기기술지원사업' 중소·중견기업 기술경쟁력 강화뇌 기억 형성 조절 핵심…IBS, '성장호르몬' 숨겨진 역할 규명