Cyber-Physical Systems (Hardcover)

사이버 물리 시스템 및 첨단 모바일 시스템에 대한 연구를 수행하는 소프트웨어 엔지니어링 연구소 기술진의 수석 멤버이며, 동연구소 Critical System Capabilities Directorate의 기술 이사다. 그의 연구는 소프트웨어 엔지니어링, 신뢰할 수 있는 실시간 시스템 그리고 수치 해석의 다양한 방면에 걸쳐 있다. 가장 최근 연구는 사이버 물리 시스템을 포함한 대규모 시스템의 설계 및 분석 원리에 중점을 두고 있다. 이전에는 Architecture-Centric Engineering Initiative의 기술 책임자로서 소프트웨어 아키텍처 분석, 아키텍처 진화, 경제 주도 아키텍처, 아키텍처 역량, 아키텍처 절충 분석, 속성 주도 아키텍처 설계, 스케줄링 이론 그리고 적용 메커니즘에 대한 연구를 이끌었다. 실시간 시스템에서의 연구는 비율 단조 분석(rate-monotonic analysis, RMA)의 개발, RMA의 이론적 기반 확장 및 현실 시스템에의 적용과 관련돼 있다. 초기 연구에는 오일 저장소 시뮬레이션에서 발생하는 유체 흐름 방정식을 풀기 위한 고차원 유한 요소법의 연구가 포함됐다. 많은 논문을 발표했으며, 『A Practitioner's Handbook for Real-Time Analysis』(Springer, 1993), 『Ultra-Large-Scale Systems』(Software Engineering Institute Carnegie Mellon, 2006), 그리고 『소프트웨어 아키텍처 평가』(에이콘, 2009)의 공동 저자다.

카네기멜론대학 소프트웨어 엔지니어링 연구소의 수석 연구원이다. 정보 네트워킹 연구소에서 정보 네트워킹으로 석사 학위를 받았으며, 카네기멜론대학에서 전기 컴퓨터 공학으로 박사 학위를 받았다. 관심 분야는 사이버 물리 시스템, 실시간 시스템, 모델 기반 엔지니어링이다. 최근에는 실시간 분야에서 다중 코어 프로세서 및 혼합 중요도 스케줄링에 집중했으며, 민간 산업계 및 정부 기관을 대상으로 기초 연구 및 응용 연구에 대한 여러 프로젝트를 주도해왔다. 레퍼런스 구현과 실시간 자바 명세의 상용 버전 개발에 참여했다.