• Title/Summary/Keyword: Automated software

Search Result 525, Processing Time 0.028 seconds

A Forward/Reverse API Translator for Real-Time Operating System Based on a Model-Driven Approach (MDA에 기반한 실시간 운영체제 API 정변환/역변환기의 개발)

  • Park, Byeong-Ryul;Maeng, Ji-Chan;Lee, Jong-Bum;Ryu, Min-Soo;Ahn, Hyun-Sik;Jeong, Gu-Min
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.56 no.12
    • /
    • pp.2247-2250
    • /
    • 2007
  • This paper presents an automated API translator for embedded software development based on a model-driven approach. Since MDA(Model Driven Architecture) provides little support for the development of embedded software, we propose a new approach containing its advantages. First, we define #generic APIs# which do not depend on any RTOS#s but provide most of typical RTOS services. We can describe RTOS-related behaviors of target application using these generic APIs in a CIC(Common Intermediate Code). Then, we propose a transformation tool for translating between a CIC using generic APIs and a C-code for specific RTOS. The proposed API translator converts them using XML transformation rule which is defined outside. It indicates that an API translator extends to other RTOS#s by modifying or adding the transformation rule. From the experiment. we validate the proposed method.

Internal Pattern Matching Algorithm of Logic Built In Self Test Structure (Logic Built In Self Test 구조의 내부 특성 패턴 매칭 알고리즘)

  • Jeon, Yu-Sung;Kim, In-Soo;Min, Hyoung-Bok
    • Proceedings of the KIEE Conference
    • /
    • 2008.07a
    • /
    • pp.1959-1960
    • /
    • 2008
  • The Logic Built In Self Test (LBIST) technique is substantially applied in chip design in most many semiconductor company in despite of unavoidable overhead like an increase in dimension and time delay occurred as it used. Currently common LBIST software uses the MISR (Multiple Input Shift Register) However, it has many considerations like defining the X-value (Unknown Value), length and number of Scan Chain, Scan Chain and so on for analysis of result occurred in the process. So, to solve these problems, common LBIST software provides the solution method automated. Nevertheless, these problems haven't been solved automatically by Tri-state Bus in logic circuit yet. This paper studies the algorithm that it also suggest algorithm that reduce additional circuits and time delay as matching of pattern about 2-type circuits which are CUT(circuit Under Test) and additional circuits so that the designer can detect the wrong location in CUT: Circuit Under Test.

  • PDF

Development of Property Mapping Contents between Open BIM Data and Automated Code Checking System (개방형BIM 데이터와 법규 자동화 검토 시스템 간 속성 매핑 체계 개발)

  • Kim, Inhan;Bae, Jongyeon;Choi, Jungsik
    • Korean Journal of Computational Design and Engineering
    • /
    • v.22 no.2
    • /
    • pp.118-128
    • /
    • 2017
  • Many countries have been developing BIM-based building code checking system and studies in the utilization of Industry Foundation Classes (IFC) in building code checking. IFC is the open standard of BIM format. Currently, there is a disadvantage that could not include all of the attribute for the regulations of each country and there is the problem with the interoperability of the different defined IFC approach between BIM software. This study focus on developing, derived object and property by comparing through domestic regulation and IFC2x3 specification provided by the buildingSMART and classified review type depending on the interoperability of derived information. According to classified review type, the IFC data structure was established and property mapping contents were developed by including BIM software compatible information and creating a type of review plan. When the developed property mapping contents are applied into BIM-based building code checking system, checking of the BIM data generated from various fields is made effective and thus improving the interoperability of information.

Implementation of Real-time Dangerous Driving Behavior Analysis Utilizing the Digital Tachograph (디지털 운행기록장치를 활용한 실시간 위험운전행동분석 구현)

  • Kim, Yoo-Won;Kang, Joon-Gyu
    • Journal of the Korea Society of Computer and Information
    • /
    • v.20 no.2
    • /
    • pp.55-62
    • /
    • 2015
  • In this paper, we proposed the method that enabling warning through real-time analysis of dangerous driving behavior, improving driving habits and safe driving using the digital tachograph. Most of traffic accidents and green drive are closely related of driving habits. These wrong driving habits need to be improved by the real-time analysis, warning and automated method of driving habits. We confirmed the proposed that the method will help support eco-driving, safe driving through real-time analysis of driving behavior and warning through the method implementation and experiment.

An Empirical Study of Security for API in Windows Systems (윈도우즈에서 제공되는 기본 API에 대한 안전성 고찰)

  • Choi, Young-Han;Kim, Hyoung-Chun;Oh, Hyung-Geun;Lee, Do-Hoon
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.19 no.2
    • /
    • pp.75-82
    • /
    • 2009
  • In this paper, we test for security targeting on APIs of Windows as that is used by many people worldwide. In order to test APIs in DLL fils of Windows OS, we propose Automated Windows API Fuzz Testing(AWAFT) that can execute fuzz testing automatically and implemented the practical tool for AWAFT. AWAFT focuses on buffer overflows and parsing errors of function parameters. Using the tool, we found 177 errors in the system folder of Windows XP SP2. Therefore, AWAFT is useful for security testing of Windows APIs. AWAFT can be applied to libraries of third party software in Windows OS for the security.

A study on Dirty Pipe Linux vulnerability

  • Tanwar, Saurav;Kim, Hee Wan
    • International Journal of Internet, Broadcasting and Communication
    • /
    • v.14 no.3
    • /
    • pp.17-21
    • /
    • 2022
  • In this study, we wanted to examine the new vulnerability 'Dirty Pipe' that is founded in Linux kernel. how it's exploited and what is the limitation, where it's existed, and overcome techniques and analysis of the Linux kernel package. The study of the method used the hmark[1] program to check the vulnerabilities. Hmark is a whitebox testing tool that helps to analyze the vulnerability based on static whitebox testing and automated verification. For this purpose of our study, we analyzed Linux kernel code that is downloaded from an open-source website. Then by analyzing the hmark tool results, we identified in which file of the kernel it exists, cvss level, statistically depicted vulnerabilities on graph which is easy to understand. Furthermore, we will talk about some software we can use to analyze a vulnerability and how hmark software works. In the case of the Dirty Pipe vulnerability in Linux allows non-privileged users to execute malicious code capable of a host of destructive actions including installing backdoors into the system, injecting code into scripts, altering binaries used by elevated programs, and creating unauthorized user profiles. This bug is being tracked as CVE-2022-0847 and has been termed "Dirty Pipe"[2] since it bears a close resemblance to Dirty Cow[3], and easily exploitable Linux vulnerability from 2016 which granted a bad actor an identical level of privileges and powers.

Automatic Offline Teaching of Robots for Ship Block Welding Applications (선체 블록 용접을 위한 효과적 로봇 오프-라인 자동교시 소프트웨어 개발 연구)

  • Lim, Seang Gi;Choi, Jae Sung;Hong, Sok Kwan;Han, Yong Seop;Borm, Jin Hwan
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.14 no.5
    • /
    • pp.42-52
    • /
    • 1997
  • Computer aided process planning and Offline programming are decisive factors in successful implementation of automated robotic production. However, conventional offline programming procedure has proven ineffective due to time-consuming teaching process for robot programming and due to inefficient system modeling. The paper presents an efficient procedure to semi-automatically generate robot job programs for ship block welding applications. In the research, the teaching positions are automatically determined by predefined rules which are functions of the type and the dimensions of the given welding section of ship block. And a sequence of robot movements and welding conditions such as welding type, welding current, welding speed, and welding torch orientation, are determined by use of Standard Program which is experimentally proved to work well for the welding wection group. Finally, a robot program for the welding section is generated automatically. Based on the algorithm, a offline automatic teaching software is developed. The paper presents also the algorithm and structure of the software.

  • PDF

A Case Study of Educational Content using Arduino based on Augmented Reality

  • Soyoung Kim;Heesun Kim
    • International journal of advanced smart convergence
    • /
    • v.12 no.4
    • /
    • pp.268-276
    • /
    • 2023
  • The representative branch of ICT education is Arduino. However, there are various problems when teaching using Arduino. Arduino requires a complex understanding of hardware and software, and this can be perceived as a difficult course, especially for beginners who are not familiar with programming or electronics. Additionally, the process of connecting the pins of the Arduino board and components must be accurate, and even small mistakes can lead to project failure, which can reduce the learner's concentration and interest in learning Arduino. Existing Arduino learning content consists of text and images in 2D format, which has limitations in increasing student understanding and immersion. Therefore, in this paper analyzes the necessary conditions for sprouting 'growing kidney beans' in the first semester of the fourth grade of elementary school, and builds an automated experimental environment using Arduino. Augmented reality of the pin connection process was designed and produced to solve the difficulties when building an automation system using Arduino. After 3D modeling Arduino and components using 3D Max, animation was set, and augmented reality (AR) content was produced using Unity to provide learners with more intuitive and immersive learning content when learning Arduino. Augmented reality (AR)-based Arduino learning content production is expected to increase educational effects by improving the understanding and immersion of classes in ICT education using Arduino and inducing fun and interest in physical computing coding education.

Development of an Automated Design Algorithm for the Longitudinal Members of Oil Tankers based on H-CSR (H-CSR 기반 유조선 종강도 부재의 설계 자동화 알고리즘 개발)

  • Park, Chan-im;Jeong, Sol;Song, Ha-cheol;Na, Seung-soo;Park, Min-cheol;Shin, Sang-hoon;Lee, Jeong-youl
    • Journal of the Society of Naval Architects of Korea
    • /
    • v.53 no.6
    • /
    • pp.503-513
    • /
    • 2016
  • In order to reduce the green-house gas exhaustion, International Maritime Organization (IMO) has been reinforcing carbon gas regulations. Due to the regulations, a lot of competitions for designing Eco ship in the shipbuilding industry are progressing now. It is faced with the necessity of reducing hull weight by combining automated systems for optimal compartment arrangement with hull structural design. Most researches on optimum structural design method have been consistently in progress and applied to minimize weight and cost of mid-ship section in preliminary ship design stage based on analytical structural analysis method on fixed compartment arrangement. In order to reduce design period and to improve international technical competitiveness by shortening the period of hull structural design and enhancing design accuracy, it has been felt necessity to combine optimized compartment arrangement with optimum design of ship structure based on the international regulations and rules. So in this study, the automated design algorithm for longitudinal members has been developed to combine automated algorithm of compartment arrangement with hull structural design system for oil tanker. The SeaTrust-Hullscan software developed by Korean Register is used to perform ship structural design for mother ship and selected design cases. The effect of weight reduction is verified with comparison of ship weight between mother ship and the cases suggested in this study.

Development of Design System for EPS Cushioning Package of Monitor Using Axiomatic Design (공리적 설계를 이용한 모니터용 EPS 완충 포장 설계 시스템 개발)

  • Yi, Jeong-Wook;Ha, Dae-Yul;Lee, Sang-Woo;Lim, Jae-Moon;Park, Gyung-Jin
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.27 no.10
    • /
    • pp.1644-1652
    • /
    • 2003
  • The monitor product is packed by cushioning materials because the monitor can be broken during transportation. However, the addition of the cushioning material increased the volume of the product. Therefore, it is required that the usage of cushioning material be minimized. In practice, design engineers have followed the ad hoc design with experiences of predecessors. Automation of the design process is very important for the reduction of engineering cost, and can be achieved by an excellent design process and software development. According to Axiomatic design, a design flow is defined and a software system is developed for automated design. At first, a basic model is defined. A user can modify the model from menus and design is carried out according to the input from the user. Finite element models are automatically generated based on the design. A nonlinear finite element analysis program called LS/DYNA3D is linked for the impact analysis. The process of Design of Experiments using orthogonal array is installed to minimize the maximum acceleration in drop test. Therefore, a new design can be proposed by the system. The program is designed according to the Independence Axiom of Axiomatic design. FRs and DPs of the software system are defined and decomposed by zigzagging process. Independent modules can be generated by analysis of the full design matrix and each module is coded as class in Object Oriented Programming (OOP). Design results are discussed.