• Title/Summary/Keyword: Memory Safety

Search Result 225, Processing Time 0.027 seconds

The Effect of Studying Flight Training Materials utilizing Encoding Techniques on Situational Awareness Capabilities of Students in PPL Training

  • Moon, Jeong Yoon;Lee, Jang Ryong
    • Journal of the Korean Society for Aviation and Aeronautics
    • /
    • v.28 no.4
    • /
    • pp.154-163
    • /
    • 2020
  • The pilot's aeronautical decision-making during the flying greatly affects flight safety, and the importance of situational awareness has been greatly emphasized as a prerequisite for making the right decision. This is the reason why more research and interests are needed to help students entering the pilot training program develop excellent situational awareness from the initial stage of training. Situational awareness is closely related to long-term memory activities in human information processing, and pedagogy and cognitive psychology have emphasized the encoding techniques as an effective long-term memory method. This study was conducted to confirm whether pilot students' using the encoding techniques to learn flight education materials in the early stage of their training at domestic universities has a positive effect on improving their situational awareness.

A Study on Defense Technique Against Use-After-Free Attacks Using MTE (MTE 를 활용한 사용 후 해제 공격 방어기법 연구)

  • Yunseong Hwang;Junseung You;Yunheung Paek
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2024.05a
    • /
    • pp.279-282
    • /
    • 2024
  • The Use-after-free (UAF) bug is a long-standing temporal memory safety issue. To prevent UAF attacks, two commonly used approaches are lock-and-key and pointer nullification. Recently, ARM architecture supports the Memory Tagging Extension (MTE) that implemented a lock-and-key mechanism using a 4-bit tag during memory access. Previous research proposed a virtual address tagging scheme utilizing MTE to prevent UAF attacks. In this paper, we aimed to measure a simplified version of the previously proposed virtual address tagging scheme on real machines supporting MTE by implementing a simple module and conducting experiments.

Linux-based Memory Efficient Partition Scheduler using Partition Bitmap (파티션 비트맵을 이용한 메모리 효율적인 리눅스 파티션 스케줄러)

  • Kwon, Cheolsoon;Joe, Hyunwoo;Kim, Duksoo;Kim, Hyungshin
    • KIISE Transactions on Computing Practices
    • /
    • v.20 no.9
    • /
    • pp.519-524
    • /
    • 2014
  • The operating systems in the system architecture, which is integrated several applications and modular electronic devices in the same computing device, demand partitioning technology for safety. Thus, operation system requires partition scheduler for partition scheduling. When we design partition scheduler in embedded system, which has small memory and low performance, such as space system, we must consider not only performance but also memory. In this paper, we introduces a linux-based memory efficient partition scheduler using partition bitmap. This partition scheduler demands small memory space and produce low partition switching overhead. The prototype was executed on a LEON4 processor, which is the Next Generation Multicore Processor (NGMP) in the space sector. In evaluation, this prototype shows accuracy, additional memory space and low partition switching overhead.

Implementation and Performance Analysis of the EVM's Java Dynamic Memory Manager and Garbage Collector (EVM에서의 자바 동적 메모리 관리기 및 쓰레기 수집기의 구현 및 성능 분석)

  • Lee Sang-Yun;Won Hee-Sun;Choi Byung-Uk
    • The KIPS Transactions:PartA
    • /
    • v.13A no.4 s.101
    • /
    • pp.295-304
    • /
    • 2006
  • Java has been established as one of the most widely-used languages owing to its support of object-oriented concepts, safety, and flexibility. Garbage collection in the Java virtual machine is a core component that relieves application programmers of difficulties related to memory management. In this paper, we propose a memory manager and a garbage collector that is implemented on a embedded java virtual machine. The memory manager divide a heap into various-sized cells and manages it as blocks of same-sized cells. So it is possible to allocate and free memory fast. We adopted the 3-color based Mark & Sweep garbage collector as our base algorithm and we propose 4-color based Mark & Sweep garbage collector for supporting multi-threaded program. The proposed garbage collector occurs memory fragmentation but we show through a experiment that the fragmentation ratio is almost fixed according as we create objects continuously.

Modeling and Simulation of a Shape Memory Release Device (형상기억합금을 이용한 분리장치의 모델 및 모사에 관한 연구)

  • Lee, Yeung-Jo
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.10 no.3
    • /
    • pp.99-108
    • /
    • 2006
  • Aerospace applications use pyrotechnic devices with many different functions. Functional shock, safety, overall system cost issue, and availability of new technologies, however, question the continued use of these mechanisms on aerospace applications. Release device is an important example of a task usually executed by pyrotechnic mechanisms. Many aerospace applications like satellite solar panels deployment or weather balloon separation need a release device. Several incidents, where pyrotechnic mechanisms could be responsible for spacecraft failure, have been encouraging new designs for these devices. The Frangibolt is a non explosive device which comprises a commercially available bolt and a small collar made of shape memory alloy (SMA) that replace conventional explosive bolt systems. This paper presents the modeling and simulation of Frangiblot by the change of bolt size and notch geometry. This analysis may contribute to improve the Frangibolt design.

Acoustic Signal Classifier Design using Dictionary Learning (딕셔너리 러닝을 이용한 음파 신호 분류기 설계)

  • Park, Sung Min;Sah, Sung Jin;Oh, Kwang Myung;Lee, Hui Sung
    • Journal of Auto-vehicle Safety Association
    • /
    • v.8 no.1
    • /
    • pp.19-25
    • /
    • 2016
  • As new car technology is developing, temporal interaction is needed in automotive. Rhythmic pattern is one of the practical examples of temporal interaction in vehicle. To recognize rhythmic pattern and its input medium, dictionary learning is applicable algorithm. In this paper, performance and memory requirement of the learning algorithm is tested and is sufficiently good for use this acoustic sound.

Ti-50.lat.% Ni 합금의 변태거동에 미치는 시효처리의 영향

  • 박성범;류부형;우흥식
    • Proceedings of the Korean Institute of Industrial Safety Conference
    • /
    • 2003.10a
    • /
    • pp.107-112
    • /
    • 2003
  • 형상기억합금(shape memory alloy; SMA)은 소성가공을 통하여 원하는 형태로 변형시킨 이후에도(현재로서는 최대 10%미만의 변형) 일정조건의 열을 가하면 원래의 형상으로 복원되는 합금을 말한다. 형상기억효과는 고상(solid state)에서의 금속조직이 오스테나이트(austenite: 이하 A 또는 B2상)로부터 마르텐사이트(martensite: 이하 M 또는 B19'상)로, 다시 역으로 마르텐사이트에서 오스테나이트로의 변태에 기인되는 것으로 밝혀지고 있으며 이러한 변태는 온도유기변태(temperature induced transformation)와 응력유기변태(stress induced transformation)로 분류할 수 있다.(중략)

  • PDF

Moving Object Surveillance System based on Image Subtraction Technique (영상 Subtraction을 이용한 이동 물체 감시 시스템)

  • 이승현;류충상
    • Journal of the Korean Society of Safety
    • /
    • v.12 no.3
    • /
    • pp.60-66
    • /
    • 1997
  • In this paper, a moving object surveillance system, which can extract moving object in real-time, using image subtraction method is described. This technique based on the novelty filter having the structure of neural network associative memory. Digital arithmetic and timing control parts were composed of hardwired controller to treat two-dimensional massive image information. SRAMS having 20 ns access time were used for the image buffer that has high speed write/read property. Image extraction algorithm is discussed and supported by simulation and experiments.

  • PDF

Data Protocol and Air Interface Communication Parameters for Radio Frequency Identification (RFID의 프로토콜 및 인터페이스 파라미터)

  • Choi, Sung-Woon
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2007.11a
    • /
    • pp.323-328
    • /
    • 2007
  • This paper introduces radio frequency identification(RFID) information technologies for item management such as application interface of data protocol, data encoding rules and logical memory functions for data protocol, and, unique identification for RF tags. This study presents reference architecture and definition of parameters to be standardized, various parameters for air intreface communications, and, application requirements profiles.

  • PDF

CAD System Development for Geometric Design and Motion Analysis of Tangential Cam (접선 캠의 형상설계 및 운동해석을 위한 CAD시스템 개발)

  • 조성철;송정섭
    • Journal of the Korean Society of Safety
    • /
    • v.10 no.3
    • /
    • pp.42-46
    • /
    • 1995
  • To purpose of this study is to model design and motion analysis of tangential cam mechanism using personal computer system. The CAD(Computer Aided Design) system used in this study was constructed with CPU(Central Processing Unit) 80486, RAM(Random Access Memory) 8M, CGA graphic card. By using developed program for tangential cam mechanism, we designed tangential cam models and analysed displacement, velocity, acceleration of follower.

  • PDF