• ETRI Journal
• /
• 제18권4호
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• 시스템엔지니어링학술지
• /
• 제19권1호
• /
• pp.44-55
• /
• 2023

The defense M&S system, which has been classified as a weapon system between requirements determination and project implementation, is being developed by applying the weapon system development procedure of the Defense Acquisition Program Administration. The M&S system abstracts and models the real world to suit the intended use and proceeds with the process of developing it as a software-oriented system. Overseas, the conceptual model development stage is staged before entering the design stage after the requirements analysis. In addition, each step includes verification and validation processes. In Korea, while establishing and applying the weapon system development procedure based on the SE process, the M&S system is also applied in the same way as the general weapon system, limiting appropriate development outputs and verification and validation. In this study, the system development procedure of the M&S system is established and presented based on the relevant standards and SE process of developed countries.

• 융합신호처리학회논문지
• /
• 제12권4호
• /
• pp.286-290
• /
• 2011

유비쿼터스 시대의 핵심 기술인 위치기반기술은 GNSS(Global Navigation Satellite System)를 활용한 기술이다. GNSS는 미국의 GPS, 유럽의 Galileo, 일본의 QZSS, 중국의 Compass, 인도 IRNSS 등을 일컬으며, 국내에서도 다각도의 연구가 계속되고 있다. 이러한 위성항법시스템은 우주 상공에 설치가 되고 나면 위성을 다시 내릴 수 없기 때문에 기능에 대한 수정 및 검증 등의 관리적 측면에서 어려움이 있다. 이에 위성을 올리기 전에 정확하고 구체적인 성능 검증 및 동작 검증 등이 반드시 필요하다. 이를 위해 하드웨어 테스트베드가 구축되기도 하지만 소프트웨어로 성능 및 동작에 대한 시뮬레이션이 수행된다면 비용 및 유연성 부분에서 더 많은 장점을 가질 수 있다. 이런 시뮬레이터들의 가장 핵심은 이론적 위성 신호의 전달과정에 신호가 지상의 수신기에 도달하는 동안 다양한 오류 요소들을 적용해야 하는 것이다. 이에 본 논문에서는 여러 위성군을 대상으로 위성으로부터 지상의 수신기까지 위성 선호가 전파되면서 적용될 수 있는 다양한 오류 요소들을 모델링하여 적용한 결과를 윈도우 기반의 시뮬레이터 설계와 구현 결과로 제시한다.

• 인터넷정보학회논문지
• /
• 제10권6호
• /
• pp.7-17
• /
• 2009

무선통신 프로토콜의 구현에서 MAC 계층은 하드웨어와 소프트웨어를 결합한 시스템-온-칩으로 출시하는 것이 일반적이다. 하지만 이러한 시스템 개발에서 하드웨어의 개발에 많은 시간이 소요되므로 하드웨어의 개발 완료 이전에 소프트웨어의 개발 및 검증하기 위한 환경이 필요하다. 하드웨어와 소프트웨어의 통합 개발에서 하드웨어는 HDL(Hardware Description Level)을 이용한 RTL(Register Transfer Level) 로의 하드웨어 모델링을 통해서, 소프트웨어는 ISS를 통해 시뮬레이션 환경을 제공할 수 있다. 시스템의 개발 복잡도가 점차 증가함에 따라 기존 RTL(Register Transfer Level) 보다 높은 추상 레벨에서의 모델링을 이용하는 ESL(Electronic System Level) 설계가 이루어지고 있다. ESL 설계는 비시간 모델과 시간 모델로 나눌 수 있다. 본 논문에서는 시간 모델이 아닌 비시간 모델 시뮬레이션을 위한 MCU를 설계 및 구현한다. 제안하는 MCU는 비시간 모델에서 정확한 시간이 요구되는 부분 보다는 시스템의 동작을 쉽고 빠르게 검증함으로써 시스템 설계 초기 단계에 시스템의 최적화뿐만 아니라 설계 완료 시점을 앞당길 수 있다. 또한 운영체제를 구동할 수 있는 MCU 모듈을 설계함으로써 MAC 계층의 소프트웨어 부분을 실시간 운영체제 상에서 구현할 수 있는 환경을 제공할 수 있다. 따라서 본 논문에서는 SystemC 기반의 MCU 모듈과 실시간 운영체제 동작을 지원하는 UC/OS-II 모듈을 제안한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• pp.651-654
• /
• 2005

In this paper, we designed ECC(Elliptic Curve Cryptographic) Processor with Bus-splitting mothod for embedded SoC. ECC SIP is designed by VHDL RTL modeling, and implemented reusably through the procedure of logic synthesis, simulation and FPGA verification. To communicate with ARM9 core and SIP, we designed SIP bus functional model according to AMBA AHB specification. The design of ECC Processor for platform-based SoC is implemented using the design kit which is composed of many devices such as ARM9 RISC core, memory, UART, interrupt controller, FPGA and so on. We performed software design on the ARM9 core for SIP and peripherals control, memory address mapping and so on.

• 융합신호처리학회논문지
• /
• 제10권4호
• /
• pp.274-279
• /
• 2009

시스템수준 설계방법론에서 널리 사용하고 있는 설계흐름도는 시스템명세, 시스템수준의 HW/SW 분할, HW/SW 통합설계, 가상 또는 물리적 프로토타입을 이용한 통합검증, 시스템통합으로 구성된다. 본 논문에서는 SystemVerilog와 SystemC를 기반으로 하여 신속한 기능검증이 가능한 native-code 통합검증환경과 클럭수준 검증까지 가능한 계층화 통합검증환경을 각각 구현하였다. Native-code 통합검증환경은 시스템수준 설계언어인 SystemC를 이용하여 HW/SW 분할단계를 수행한 후, SoC 설계의 HW부분과 SW부분을 각각 SystemVerilog와 SystemC로 모델링하여 상호작용을 하나의 시뮬레이션 프로세스로 검증한다. 계층화된 SystemVerilog 테스트벤치는 임의의 테스트벡터를 생성하여 DUT의 모서리 시험을 포함하는 검증환경으로 본 논문에서는 SystemC를 도입하여 다중 상속을 가지는 통합검증환경의 구성요소를 먼저 설계한 후, SystemVerilog DPI와 ModelSim 매크로를 이용하여 SystemVerilog 테스트벤치와 결합된 통합검증환경을 설계한다. 다중 상속은 여러 기초클래스를 결합한 새로운 클래스를 정의하여 코드의 재사용성을 높이는 장점을 가지므로, 본 논문의 SystemC를 도입한 통합검증환경 설계는 검증된 기존의 코드를 재사용할 수 있는 이점을 가진다.

• 한국통신학회논문지
• /
• 제33권4A호
• /
• pp.387-393
• /
• 2008

본 논문에서는 TDD HSDPA(Time Division Duplex High Speed Downlink Packet Access)와 WiBro(Wireless Broadband Portable Internet) 와 같은 이동통신 규격을 지원하는 SDR(Software Defined Radio) 단말 모뎀 플랫폼을 제안한다. 제안하는 SDR 플랫폼은 DSP, FPGA, 마이크로프로세서 등 프로그래밍 가능한 소자들을 채용하여 HSDPA와 WiBro와 같은 기능을 담당하는 프로그램 등이 하드웨어 플랫폼 상에 다운로드 가능하도록 하였다. 제안하는 플랫폼은 이동통신네트워크의 멀티모드 단말시스템을 위한 물리계층 규격의 기능검증 등에 사용될 수 있다. 본 논문은 먼저 HSDPA와 WiBro 시스템의 물리계층 수신구조를 설명하고, 제안하는 SDR 플랫폼의 하드웨어 구현 방법과 각 모드에 요구되는 기능과 구현한 하드웨어 플랫폼 상에서의 최적화된 신호 흐름의 설계방법을 제시한다. 마지막으로 테스트신호를 이용한 루프백(loopback) 테스트를 통하여 제안한 SDR 플랫폼 상에 동작하는 각 모드 별 링크 성능을 보여준다. 제시된 실험 성능은 컴퓨터 시뮬레이션 성능과 비교하였다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1789-1804
• /
• 1999

본 논문에서는 기존 객체행위 설계방법에 의해 개발된 '시각적 실시간 객체모델'의 설계의미를 검증·확인하기 위한 시뮬레이션 기반 지원 시스템을 제안한다. 이 시스템은 실행 가능한 Ada 코드 생성에 의한 객체 프로세스들간의 동적이 상호작용을 시뮬레이션 할 수 있게 하며, 실제 시스템 구현에 앞서 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 한다. 또한, 시뮬레이션에 의해 검증·확인된 명세서로부터 Ada 프로토타잎 코드를 직접 생성시켜 준다. 이 시스템은 Visual C++ 버전4.2로 개발되었다. 그리고, 시뮬레이션 코드로 Ada를 사용하였는데, 이것은 Ada의 병행 행위 및 시간 표현력 등의 실시간 시스템의 표현력에 있어 기존의 언어들에 비해 우수성을 가지고 있기 때문이다. 이 작업은 방법론 기반 시각적 모델과 자동화 된 정형기법 기반 시뮬레이션 시스템의 연결, 그리고 자동화된 명세 검증·확인 기술의 실현이라는 점에서 기여한다.

• 한국지열·수열에너지학회논문집
• /
• 제19권4호
• /
• pp.27-38
• /
• 2023

The Government the Republic of Korea is showing a lot of interest in net zero-energy buildings (NZEBs) to reduce energy consumption of buildings and to promote green growth policy in construction sector. The application of building passive technologies and renewable energies is essential to achieving NZEBs. Green remodeling reinforced the insulation of the exterior walls and roofs of the buildings and replaced high-efficiency windows and doors. In this study, the energy performance before and after green remodeling applied in a detached house was comparatively analyzed for baseline scenario and three different ones, ALT 1, ALT 2 and ALT 3. A building modeling and simulation software (DesignBuilder V7.0) with EnergyPlus (V9.4) calculation engine was used to calculate the energy demand and energy consumption for each scenario. Based on the calculation results of the building's energy demand for baseline, it was determined that the target building required more heating energy than cooling energy. The simulation results also showed that the implementation of building envelope performance improvement technologies (ALT 1) could notably decrease the heating energy consumption of the building. After the remodeling (ALT 1), the source energy consumption per unit floor area was assessed to be reduced by 65.2%, compared to prior remodeling of 338.7 kWh/m² -y. Meanwhile, ALT 2 can achieve energy savings of 67.7% and ALT 3 can achieve savings of 73.1%. Following completion of the remodeling project, actual construction costs, and on-site measurements and verification results will be gathered and compared with the simulation results. Additionally, economic analysis including construction costs and payback period will be conducted using actual site data.

• Journal of Electrical Engineering and Technology
• /
• 제9권5호
• /
• pp.1643-1653
• /
• 2014

This paper presents the design and implementation of a wind-solar hybrid power system for LED street lighting and an isolated power system. The proposed system consists of photovoltaic modules, a wind generator, a storage system (battery), LED lighting, and the controller, which can manage the power and system operation. This controller has the functions of maximum power point tracking (MPPT) for the wind and solar power, effective charging/discharging for the storage system, LED dimming control for saving energy, and remote data logging for monitoring the performance and maintenance. The proposed system was analyzed in regard to the operation status of the hybrid input power and the battery voltage using a PSIM simulation. In addition, the characteristics of the proposed system's output were analyzed through experimental verification. A prototype was also developed which uses 300[W] of wind power, 200[W] of solar power, 60[W] LED lighting, and a 24[V]/80[Ah] battery. The control system principles and design scheme of the hardware and software are presented.