Job and Graduation Story

by Wonjun Hwang on 2016-12-23 17:56:52

Date : 2016. 12. 26 (Mon) 10:00 A.M. Locate : EB5. 533 Presenter : Wonjun Hwang Title : Job and Graduation Story Download : https://drive.google.com/open?id=0B4UHhoillqlweHlwVXdJc1huU0E Continue reading →

309 Views

Simultaneous Localisation and Mapping (SLAM): Part I The Essential Algorithms

by Juyeob Kim on 2016-11-25 20:19:28

Date : 2016. 11. 28 (Mon) 10:00 A.M. Locate : EB5. 533 Presenter : Jooyeob Kim Title : Simultaneous Localisation and Mapping (SLAM): Part I The Essential Algorithms Author : Hugh Durrant-Whyte Abstract This tutorial provides an introduction to Simultaneous Localisation and Mapping (SLAM) and the extensive research on SLAM that has been undertaken over the past decade. SLAM is the process by which a mobile robot can build a map of an environment and at the same time use this map to compute it's own location. The past decade has seen rapid and exciting progress in solving the SLAM problem together with many compelling implementations of SLAM methods. Part I of this tutorial (this paper), describes the probabilistic form of the SLAM problem, essential solution methods and significant implementations. Part II of this tutorial will be concerned with recent advances incomputational methods and new formulations of the SLAM problem for large scale and complex ... Continue reading →

341 Views

dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel

by Sihyeong Park on 2016-10-17 20:30:38

Date: 2016.11.24(Mon) 10:00 A.M. Locate: EB5. 533 Presenter: Sihyeong Park Title: dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel Author: Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann Abstract: Because of shrinking structure sizes and operating voltages, computing hardware exhibits an increasing susceptibility against transient hardware faults: Issues previously only known from avionics systems, such as bit flips caused by cosmic radiation, nowadays also affect automotive and other cost-sensitive “ground-level” control systems. For such cost-sensitive systems, many software-based measures have been suggested to harden applications against transient effects. However, all these measures assume that the underlying operating system works reliably in all cases. We present software-based concepts for constructing an operating system ... Continue reading →

258 Views

[Video] Surviving Peripheral Failures in Embedded Systems

by Sihyeong Park on 2016-07-25 19:02:29

Date: 2016. 07. 27. (Wed) 10:00 A.M. Locate:  EB5. 533 Presenter: Sihyeong Park Title: Surviving Peripheral Failures in Embedded Systems Author: Rebecca Smith and Scott Rixner, Rice University Abstract:  Peripherals fail. Yet, modern embedded systems largely leave the burden of tolerating peripheral failures to the programmer. This paper presents Phoenix, a semi-automated peripheral recovery system for resource-constrained embedded systems. Phoenix introduces lightweight checkpointing mechanisms that transparently track both the internal program state and the external peripheral state. These mechanisms enable rollback to the precise point at which any failed peripheral access occurred using as little as 6 KB of memory, minimizing both recovery latency and memory utilization.   2015 USENIX Annual Technical Conference  https://www.usenix.org/conference/atc15/technical-session/presentation/smith Continue reading →

373 Views

전달 세미나 : ATC 2016

by Wonjun Hwang on 2016-07-05 21:50:07

Date : 2016. 07. 6 (Wed) 10:00 P.M. Locate : EB5. 533 Presenter : Wonjun Hwang Seminar Title : Reviews for ATC 2016   Continue reading →

301 Views

dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel

by Sihyeong Park on 2016-03-10 21:30:17

Date: 2016. 03. 16 (Wed) 11:00 A.M. indefinite delay Locate: EB5. 533 Presenter: Sihyeong Park   Title: dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel Author: Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann   Abstract: Because of shrinking structure sizes and operating voltages, computing hardware exhibits an increasing susceptibility against transient hardware faults: Issues previously only known from avionics systems, such as bit flips caused by cosmic radiation, nowadays also affect automotive and other cost-sensitive “ground-level” control systems. For such cost-sensitive systems, many software-based measures have been suggested to harden applications against transient effects. However, all these measures assume that the underlying operating system works reliably in all cases. We present software-based concepts for constructing an ... Continue reading →

454 Views

An Open Source Space Hypervisor For Small Satellites

by Juyeob Kim on 2016-01-04 14:43:14

Date : 2016. 1. 4 (Mon) 3:00 P.M. Locate : EB5. 533 Presenter : Jooyeob Kim   Title : An Open Source Space Hypervisor For Small Satellites Author : Andrew D. Santangelo   Abstract The QuickSAT/Xen using the ARLX extensions is a space hypervisor that will support the virtualization of satellite payloads, systems and software modules on a full range of small satellites including CubeSATs and MicroSATs. ARLX is a set of extensions implemented in version 4.3 of the open source Xen hypervisor utilizing robust automation tools to test and validate the security and related safety of this environment. ARLX implements the ARINC 653 partitioning standard, isolating applications running on the same platform and providing high levels of certified safety and security. QuickSAT™ with the open source stepSATdb data architecture is a satellite design, mission planning, and product lifecycle management framework and environment. It is currently in use on ... Continue reading →

512 Views

[13:00 5, Oct] Analyzing real time performance of embedded system

by Hyungshin Kim on 2015-10-05 09:58:40

Kyungho will give a talk on how to monitor real time performance of embedded system. This is the talk from the ESC 2015, Silicon Valley. Continue reading →

352 Views

Generalized Just-In-Time Trace Compilation using a Parallel Task Farm in a Dynamic Binary Translator

by Wonjun Hwang on 2015-09-20 14:40:52

Date : 2015. 09. 21. (Monday) 10:00 A.M. Locate : EB5. 533 Presenter : Wonjun Hwang Title : Generalized Just-In-Time Trace Compilation using a Parallel Task Farm in a Dynamic Binary Translator   Author : Igor Böhm Tobias J.K. Edler von Koch Stephen Kyle Björn Franke Nigel Topham Abstract Dynamic Binary Translation (DBT) is the key technology behind cross-platform virtualization and allows software compiled for one Instruction Set Architecture (ISA) to be executed on a processor supporting a different ISA. Under the hood, DBT is typically implemented using Just-In-Time (JIT) compilation of frequently executed program regions, also called traces. The main challenge is translating frequently executed program regions as fast as possible into highly efficient native code. As time for JIT compilation adds to the overall execution time, the JIT compiler is often decoupled and operates in a separate thread independent from the main simulation ... Continue reading →

503 Views

FCRC 2015

by Sihyeong Park on 2015-06-25 15:19:33

Date: 2015. 06. 26. (Fri) 10:00 A.M. Locate: EB5. 533 Presenter: Sihyeong Park Seminar title: FCRC2015   Continue reading →

470 Views

PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms

by Sihyeong Park on 2015-06-01 17:36:28

Date: 2015. 06. 05. (Fri) 10:00 A.M. Locate: EB5. 533 Presenter: Sihyeong Park Seminar title: PALLOC: DRAM bank-aware memory allocator for performance isolation on multicore platforms Authors: Heechul Yun, Mancuso, R., Zheng-Pei Wu, Pellizzoni, R. Abstract: DRAM consists of multiple resources called banks that can be accessed in parallel and independently maintain state information. In Commercial Off-The-Shelf (COTS) multicore platforms, banks are typically shared among all cores, even though programs running on the cores do not share memory space. In this situation, memory performance is highly unpredictable due to contention in the shared banks. In this paper, we propose PALLOC, a DRAM bank-aware memory allocator which exploits the page-based virtual memory system to allocate memory pages of each application to specific banks. With PALLOC, we can dynamically partition banks to avoid bank sharing among cores, thereby improving isolation on COTS multicore ... Continue reading →

466 Views

Partitioned Embedded Architecture based on Hypervisor: the XtratuM approach

by Juyeob Kim on 2015-05-27 20:39:01

Abstract—Partitioned sofware architectures were conceived to fulfill security and avionics requirements where predictability is extremely important. Both, the availability of new processors and an increased necessity of security, have opened new possibilities to use efficiently this approach. Avionic industry has consolidated the Integrated Modular Avionics (IMA) as a solution to manage the software growth in functionality and in efficiency. Now, the aerospace sector is adapting these concepts on its developments. One of the solutions used to achieve partitioned systems is based on virtualisation techniques. In this paper we present XtratuM, a bare-metal hypervisor which implements para-virtualization and dedicated device techniques. XtratuM provides a virtual machine that is ’near’ the native one. It permits to execute a set of partitions, containing each one an operating systems and its applications. Security is based on the temporal and spatial isolation ... Continue reading →

503 Views

Visualizing Sound

by Jinse Kwon on 2015-05-08 13:15:30

Date : 2015. 05. 15 (Fri) 10:00 A.M. Locate : EB5. 533 Presenter : Jinse Kwon   Title : Visualizing Sound Author : Neil Savage ( science and technology writer based in Lowell, MA. )   Abstract   In the movies, people often discover their room is bugged when they find a tiny microphone attached to a light fixture or the underside of a table. Depending on the plot, they can feed their eavesdroppers false information, or smash the listening device and speak freely. Soon, however, such tricks may not suffice, thanks to efforts to recover speech by processing other types of information.   Researchers in the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology (MIT), for instance, reported at last year's SIGGRAPH meeting on a method to extract sound from video images. Among other tricks, they were able to turn miniscule motions in the leaves of a potted plant into the notes of "Mary Had a ... Continue reading →

420 Views

Unifying DVFS and Offlining in Mobile Multicores

by Wonjun Hwang on 2015-05-04 18:49:20

Date: 2015. 05. 08. (Fri) 10:00 A.M. Locate: EB5. 533 Presenter: Wonjun Hwang Seminar title: Unifying DVFS and Offlining in Mobile Multicores Authors: Aaron Carroll and Gernot Heiser Abstract: Energy efficiency is a primary design criterion of the modern smartphone due to limitations in battery capacity. Multi-core processors are now commonplace in these devices, which adds a new dimension, the number cores used, to energy management. In this paper we investigate how the mechanisms of frequency scaling and core offlining interact, and how to use them to reduce energy consumption. We find surprising differences in the characteristics of latest-generation smartphones, specifically in the importance of static power. This implies that policies that work well on one processor can lead to poor results on another.  We propose a simple policy that integrates core offlining with frequency scaling and implement it ... Continue reading →

434 Views

A Virtualized Separation Kernel for Mixed Criticality Systems

by Sihyeong Park on 2015-03-24 20:40:36

Date: 2015. 03. 27. (Fri) 10:00 A.M. Locate: EB5. 533 Presenter: SiHyeong Park Seminar title: A Virtualized Separation Kernel for Mixed Criticality Systems Authors: Ye Li, Richard West, Eric Missimer Abstract: Multi- and many-core processors are becoming increasingly popular in embedded systems. Many of these processors now feature hardware virtualization capabilities, such as the ARM Cortex A15, and x86 processors with Intel VT-x or AMD-V support. Hardware virtualization offers opportunities to partition physical resources, including processor cores, memory and I/O devices amongst guest virtual machines. Mixed criticality systems and services can then coexist on the same platform in separate virtual machines. However, traditional virtual machine systems are too expensive because of the costs of trapping into hypervisors to multiplex and manage machine physical resources on behalf of separate guests. For example, hypervisors are needed to schedule separate VMs on physical ... Continue reading →

466 Views