• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.285-290
• /
• 1998

본 논문은 David Harel이 제안한 Statechart based Formalism과 Statemate MAGNUM toolset을 이용하여 월성 원전 2/3/4호기 증기발생기 수위로 인한 원자로 정지를 activity chart 및 Statechart로 모델링하고 K&R C 코드를 자동으로 생산하였다. 이는 종전의 몇몇 소프트웨어 전문가에 의해서 개발될 수 밖에 없었던 원전 필수만전(Safety-critical) 소프트웨어를 정형화된 Computer Aided Software Engineering 도구를 활용하여 소프트웨어 생명주기중 요구사양명세 및 설계까지만 수행하고 그 이하는 모두 자동으로 생산하는 소프트웨어 공학의 핵심기술을 연구한 것이다. 자동으로 생산된 K&R C 코드는 품질이 우수하고 생산성이 높으며 이식성이 뛰어남을 확인할 수 있었다.

• Progress in Medical Physics
• /
• v.15 no.4
• /
• pp.210-214
• /
• 2004

Since production of radioactive isotope for using PET, a lot of neutrons were produced. The produced neutrons were mainly shielded by concrete facility. Secondary photons are generated and emitted from the concrete shielding wall of the PET cyclotron since the proton-generated neutrons are thermalized and absorbed in the concrete wall and emit secondary radiations, i.e., photons. This study calculated neutron dose and photon dose at outside of the accelerator facility using MCNPX code. As results of the calculation, total dose were calculated less than limited dose by law.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1531-1541
• /
• 1999

프로그래밍 언어의 의미를 정형적으로 표기하는 기법인 액션의미론을 기반으로 한 컴파일러 생성기는 프로그래밍언어의 액션의미구조가 주어지면 그 언어의 컴파일러를 자동으로 생성한다. 생성된 컴파일러는 먼저 원시 프로그램을 그에 상응하는 액션 프로그램으로 확장한 후, 목적 프로그램으로 컴파일 한다. 여기서 액션 프로그램은 일종의 중간코드로 쓰이므로, 효율적인 목적코드를 생성하기 위해서 중간코드의 성능향상이 필요하다. 본 논문에서는 액션 프로그램을 부분계산을 통해 효율적인 코드로 자동 변환해 주는 온라인 액션 부분계산기를 설계하고 구현한다. 선행 연구된 오프라인 방식에서 전역분석을 하지 않고는 불가능했던 요약캡슐의 몸통, 펼치기의 몸통에 대한 부분계산이 온라인 방법을 사용하면 가능함을 보이고, 명령형 액션의 부분계산도 추가적으로 수행할 수 있도록 확장한다. Abstract Action Semantics is a framework for formally defining the semantics of programming languages. Action semantics-directed compiler generators take an action semantics definition of a programming language and automatically generate a compiler of the language. The generated compiler first expands a source program into an action denotation of the program, and then compiles it to a target code. In these compiler-generation systems, it is important to statically process the expanded action denotation - used as an intermediate code - as much as possible so that the generated compiler can produce better target code. In this paper, we develop an automatic action-transformation method based on online partial evaluation. The previous off-line method was rather weak because it could not partially evaluate actions inside the body of abstraction and unfolding-action without performing separate global analysis. The proposed online method remedies the problem, thus naturally improves the quality of residual actions. Moreover, we also extend the method to partially evaluate imperative actions.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.5
• /
• pp.1559-1569
• /
• 2000

CHILL96 is recommended as development language for telecommunication systems by ITU-T. In this paper, we describe the design and implementation of CHILL96 compiler using C++ intermediate code. Translation rules from CHILL96 to C++ are designed for code generation. The CHILL96 compiler is composed of four parts such s syntax analyzer, visibility checker, semantic analyzer and code generator, and each part has very close relationship with symbol table and abstract syntax tree. Performance evaluation has been performed for feasibility study. After performance evaluation, we conclude the CHILL96 compiler using C++ intermediate sho good performance compared with other CHILL compilers. In addition to high performance and portability, the CHILL96 compiler using C++ intermediate code helps application developers to maintain and enhance telecommunications software by translating CHILL96 program to C++ program.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.983-986
• /
• 2003

마이크로소프트사는 .NET 플랫폼을 개발하면서 C/C++의 강력함과 자바나 비주얼 베이직의 높은 생산성을 매우 효과적으로 결합한 프로피래밍 언어인 C#을 만들었다. C#은 컴파일 과정을 거치며 자바의 바이트 코드와 같은 중간 언어인 MSIL 코드를 갖는 파일을 출력하게 되는데, C# 이외에도 모든 .NET 언어들은 컴파일과정을 거치면서 MSIL 코드를 얻기 때문에 여러 .NET 언어들을 이용해서 하나의 응용 프로그램을 만들 수 있다. 썬 마이크로시스템즈사의 자바는 현재 가장 널리 사용되는 프로그래밍 언어 중 하나이며, 컴파일러에 의해 플랫폼에 독립적인 바이트 코드를 바이너리 형태로 가지고 있는 클래스 파일을 생성하면 JVM에 의해 운영체제와 하드웨어에 독립적으로 수행이 가능한 차세대 언어이다. 본 논문에서는 임베디드 시스템에서의 적용을 위해 C#을 컴파일 하여 나오는 중간 언어 형태인 MSIL 코드를 자바의 중간언어의 한 종류인 Oolong 코드로 변환해 줌으로서 C#으로 구현된 프로그램이 자바 플랫폼에서 JVM에 의해 실행되도록 하는 MSIL-to-Oolong 번역기 시스템 구현하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.11a
• /
• pp.353-356
• /
• 2000

시각장애자들이 음악을 듣고 음악에 대한 공부를 하기 위해서는 점자악보를 통하여서만이 가능하다. 그러나 이러한 점자악보를 만들기 위해서는 점역사를 통한 주문제작 방법 밖에는 없는 실정이다. 국내의 몇 안되는 점역사를 통해서 한곡의 점자악보를 얻기까지는 한달여의 기간과 많은 비용이 든다. 이러한 열악할 환경으로 인하여 시각장애자들이 음악을 공부하거나 전공하기에는 너무나 힘들 실정이다. 본 논문에서는 이러한 시각장애자들이 음악을 접할 수 있고 공부할 수 있도록 시간적, 비용적 측면에서 도움을 주기 위한 점자악보 생성 컴파일러에 대한 구현 내용을 기술한다. 점자악보 생성기는 기존의 컴퓨터에서 음악을 듣기위한 미디 파일을 입력으로 받아들여 점자 편집기에서 점자 변환에 사용되는 아스키 코드로 출력하여 시각장애자가 원하는 곡의 점자악보를 받는데 드는 비용과 시간을 절약할수 있도록 도와준다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.10
• /
• pp.89-96
• /
• 2003

In this paper, a CCSDS(Consultative Committee for Space Data Systems) telecommand(TC) decryptor for the security of geostationary communications satellite was implemented. For the confidentiality of CCSDS TC datalink security, Option-A which implements the security services below the transfer sublayer was selected. Also CFB(Cipher Feedback) operation mode of DES(Data Encryption Standard) was used for the encryption of 56-bit data bits in 64-bit codeblock. To verify Decryptor function, the DES CFB logic implemented on A54SX32 FPGA(Field Programmable Gate Array) was integrated with interface and control logics in a PCB(Printed Circuit Board). Using a function test PC, the encrypted codeblocks were generated, transferred into the decryptor, decrypted, and the decrypted codeblocks were transmitted to the function test PC, and then compared with the source codeblocks. Through LED(Light Emitting Diode) ON operation by driving the relay related to Op-code decoded and the comparison between the codeblock output waveforms measured and those simulated, the telecommand decryptor function was verified.

• Journal of Korea Society of Industrial Information Systems
• /
• v.8 no.1
• /
• pp.92-96
• /
• 2003

본 논문에서는 비대칭 터보부호를 사용 무선 ATM환경에서 ATM셀을 전송할 때 비트 오류확률, 셀 손실확률을 대칭 터보부호와 비교하였다. 일반적으로 터보부호기는 동일한 재귀 컨벌루션코드(Resursive Systematic Convolution Code)로 구성된다. 비대칭 터보부호와 대칭적 터보부호를 비교하기 위한 생성다항식을 Primitive Polynomial과 Non-Primitive Polynomial 의 4가지 조합을 고려하여 시뮬레이션을 수행하였다. Feedback 다항식이 Primitive 다항식인 사용된 터보부호기가 Non-Primitive다항식이 사용된 터보부호기와 비교하여 1.2dB이상 성능 향상을 보였고, Primitive Polynomial과 Non-Primitive Polynomial이 같이 사용된 비대칭 터보부호기는 Non-Primitive Polynomial이 사용된 대칭 터보부호기와 비교하여 0.7dB 성능 향상을 보였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.4
• /
• pp.335-342
• /
• 2021

By using HLS when developing a communication system FPGA, HDL code can be automatically generated from a little modified C/C++ source code used for performance verification, which has the advantage of shortening the development period. In this paper, a method of designing a telemetry standard 106-17 LDPC decoder in C language is proposed using Xilinx's Vivado HLS, and by synthesizing Spartan-7 and Kintex-7 as target devices, throughput and FPGA utilization rate was compared.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.6
• /
• pp.73-79
• /
• 2010

The number of electronic embedded software in vehicle system is ever increasing for years. As a result, the electronic control units have been growing dramatically, and it is required to mutual link between these units. Due to separate API each and every embedded platform, it is difficult to develop and integrate in automotive industry. The AUTOSAR project consists suppliers and manufacturers, and the partnership is a standardized platform to establish and develop an industry standard. On the previous works, we implemented the RTE generated module design based on AUTOSAR architecture. This paper specifically focuses on the testing of the development tool that generates RTE source code. The result satisfied a need for a RTE requirements and AUTOSAR methodology in a vehicle applications.