창고

Precise shared cache analysis using optimal interference placement Kartik Nagar, Y.N. Srikant Dept. of Computer Science and Automation, Indian Institute of Science, Abstract : Determining the Worst Case Execution Time (WCET) of programs running on a multi-core architecture is a challenging problem, 이것은 멀티코어가 리얼타임 시스템에서 사용되는 것을 방해하고 있다. The main difficulty in analyzing programs running on multi-c..

Virtual Memory Partitioning for Enhancing Application Performance in Mobile PlatformsGeunsik Lim AbstractMobile devices have limited memory capacity and, unlike server and desktop systems, due to their mobility they do not have a memory slot that can expand the memory capacity. Low memory killer (LMK) and out-of-memory killer (OOMK) are widely used memory management solutions in mobile systems.b..

Engineering of complex avionics systems simulations using a model based approach모델 기반 접근 방식을 사용하여 복잡한 항공 전자 시스템 시뮬레이션 기술Patrice THEBAULT, Thierry SUQUET, Michael DUFFY Airbus Operation S.A.S ※간단히 설명하면, 모델 기반 설계(Model-Based Design) 방식이란 설계하고자 하는 시스템의 명세서(Specification)로 부터 시스템 구성과 알고리즘을 고안한 후, 이에 따라 자동설계도구를 기반으로 모델링(Modeling)과 시뮬레이션(Simulation)을 수행하고, 반복적인 테스팅(Trial and Error)를 통하여 모델을 최적화한 후에, 이..

Medical Cyber Physical SystemsInsup Lee, Oleg Sokolsky Abstruct 본 논문은 MCPS(medical cyber-physical systems)에 대하여 논한다. 의료분야의 소프트웨어 의존도가 늘어 나고 있으며 네트워크를 통해 환자들을 지속적으로 모니터링이 가능해졌다. 이것은 MCPS를 개발이 요구되는 좋은 상황이고 기회이다. Introduction의료 장비 산업은 stand-alone 에서 급속히 임베디드 소프트웨어와 네트워크 연결을 포용하는 방향으로 변화 하고 있다. 환자들은 한명에게 하나의 디바이스 각각 사용이 된다. 우리는 가까운 미래에 분산된 시스템을 통해 동시적으로 환자를 관리하는 시스템을 만나게 될것이다. 임베디드 소프트웨어를 통한 디바이스 제어..

ARINC 653 HYPERVISORSteven H. VanderLeest, DornerWorks, Ltd. AbstractIn this paper we share lessons learned from adding to our prototype both an ARINC 653 CPU scheduler and a simple ARINC 653 serial I/O driver. The paper covers three topics. First, we start with an overview of the ARINC 653 standard, which is important because it reduces development costs, reduces system weight, and lowers certi..

QoS Policies and Architecture for Cache/Memory in CMP PlatformsRavi Iyer, Li Zhao, Ramesh, Fei Guo, Illikkal, Steve ReinhardtIntel Corporation, North Carolina State University, University of Michigan, Ann Arbor ABSTRACTCMP에 다양한 workload들이 동시에 실행되어야 하는 경우가 증가할것으로 예상되고있다. (급격하게 발전하고 있는 가상화 기술이 예이다,.)각각의 workload의 Qos는 플랫폼으로 부터 얻게되고 그 Qos는 공시에 실행되는 워크로드의 동작에 따라 변할 수 있다. (같은 플랫폼을 공유하는 가상화 환경에서는 각VM의..

A Resource Allocation Model for QoS ManagementRagunathan Rajkumar. Chen Lee, John Lehoczky , Dan SiewiorekDepartment of Computer Science Carnegie Jlellon University1997 IEEE Abstract응용프로그램은 satisfy timing할 수 있는 Qos를 만족해야한다.Qos를 만족하기 위해서는 응용 프로그램에게 정당한 자원을 할당해야한다. 본 논문은 응용프로그램의 timeline요구사항을 만족할 수 있는 Qos management를 분석한다. 신뢰성은 있는 배달계획(실행시간?), 암호?와 데이터를 보장 하는 모델을 이들은 Q-Ram이라고 명명한다.다음과 같은 가정을 한다. 하..

Lightweight Memory Tracing Mathias Payer, Enrico Kravina, Thomas R. GrossETH Zurich Abstractmemory tracing은 많은 응용프로그램들과 같이 사용할수 있는 강력한 기술이다. debugging, taint checking, or tracking dataflow현재 방법의 한계는 소프트웨어 방법 만으로 측정하는것은 높은 t실행 오버헤드를 가진다. 왜냐면 하나하나 모든 메모리 접근을 추가적인 코드로 확인해야 하기 때문이다. 즉 원래의 응용 프로그램의 일부가 아닌 코드 가 실행되어야 한다. 그리고 하드웨어로 감시 하는 부분은 작은 구역으로 한계가 있다.( 메모리 폴트가 일어나야 확인이 가능하다.)이 논문은 memTrace를 소개한다...