'길' 이 있는 인간은 생기가 넘친다. [김형신 교수님]
The Forgotten ‘Uncore’: On the Energy-Efficiency of Heterogeneous Cores Vishal Gupta∗ Karsten Schwan∗ Georgia Tech Intel Labs Intel Corporation Abstract HMP? Heterogeneous multicore processors (HMPs)는 서로 다른 성능과 소모특성을 가진 코어로 구성되어 symmetric 멀티코어 보다 높은 에너지 효율을 가지는 것을 목적으로 한다. 기존연구와의 차별성? 본 논문은 HMP의 에너지 효율의 기회와 한계를 조사했다. 기존의 연구는 서버에 집중되어 있지만 본 연구는 사용자 end-user devices의 workload에 집중했다. 본 논문의 기여도 ? 더 나..
Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems Robyn R. Lutz' Jet Propulsion Laboratory California Institute of Technology Pasadena, CA 91109 Abstract 본 논문은 안전이 중요한 임베디드 시스템의 안전관현 소프트웨어 오류의 근본원인을 분석한다. 결과적으로 non-safety-related software errors로 인한 잠재적인 위협이 발생함을 보인다. Safety-related software errors는 일반적으로 다음에서 가장 일반적으로 발생한다. (1) 문서상의 요구사항과 시스템의 정확한 기능을 위한 요구사항의 불일치(2) 시..
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study Miroslav Pajic∗, Zhihao Jiang†, Insup Lee†, Oleg Sokolsky† and Rahul Mangharam∗† ∗Department of Electrical and Systems Engineering University of Pennsylvania abstract Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures that start with formal modeling of the real-time system, fo..
"이해하지 말자" "이해시키지 말자" [현우형]
Partition Configuration for Real-Time Systems With DependenciesJoseph Porter, Csanád Szabó, Institute for Software Integrated Systems Vanderbilt University AbstractWe present an analytical framework for formulating partition conguration problems in real-time systems with dependencies본 논문에서는 리얼타임 시스템의 종속적인 파티션 설정을 을 공식화 하고 분석 하였다. 특히 멀티 레벨의 보안성을 가진 상황에 집중한다. 리얼 타임 테스크의 파티션 설정의 제안조건은 선호도와 충돌이 있기 때문..