Redmine과 Git을 활용한 헬리콥터 능동진동제어시스템 소프트웨어 형상관리

백승길,박중용,Paek, Seung-Kil,Park, Joongyong 한국시스템엔지니어링학회 2017 시스템엔지니어링학술지 Vol.13 No.1

Korea Aerospace Research Institute takes part in the vibration control software development for an Active Vibration Control System (hereafter, AVCS) for helicopters with Korea Aerospace Industries Ltd. in the Light Civil Helicopter (LCH) Project. The vibration control software is being developed per RTCA/DO-178C certification regulation and use of configuration management tools for software outputs is required. Redmine, an open source software is for issue or bug tracking and management software. Git, another open source software is a distributed version control software and is developed for Linux OS development. This paper introduces the functionalities of Redmine and Git, the reason why they are selected for the configuration management tool for the software outputs, and how they are being used for AVCS software development.

32-bit 임베디드 시스템을 이용한 자동변속기용 전자제어시스템의 Software-in-the-loop simulation

장인규(In-Gyu Jang),서인근(Inkeun Seo),전재욱(Jaewook Jeon),황성호(Sung-Ho Hwang) 한국자동차공학회 2007 한국자동차공학회 춘 추계 학술대회 논문집 Vol.- No.-

Drivers are becoming more fatigued and uncomfortable as traffic densities increase, which can lead to slower reaction time, They then face the danger of traffic accidents due to an inability to cope with frequent shifting, To reduce this risk some drivers prefer automatic transmissions (AT) to manual transmissions (MT), The AT is superior drivability and less shifting shock than the MT, so the market-share of AT is increasing, The AT is controlled by Electronic Control Unit (ECU) to obtain better shifting performance, The Transmission Control Unit (TCU) is a product of higher-value-added, so the companies which have advanced technology (BOSCH, SIEMENS VDO, DELPHI, and etc.) tend to evade technology transfer. As the number of ECU used on a car is increasing gradually (for example, engine management unit, transmission control unit, brake control unit, and powertrain control unit), TCU's performance is expected to be faster and more efficient for organic communication and arithmetic processing between the control systems than the performance of 16bit controller. In this paper, the model of automatic transmission vehicle using MATLAB/Simulink is developed for the hardware in-the-loop simulation with an embedded system. The AT control logic developed is loaded to 32-bit Embedded system platform developed on the basis of Freescale's MPC565, and we execute the Software-in-the-loop simulation (SILS) of AT based on Real Time Operating System (RTOS). These test results show that the developed embedded system can be used as AT control unit.

제어 흐름 그래프의 유사 명령어 매칭 기반 그래프 편집 거리를 이용한 자바 프로그램의 유사도 비교 방법

임현일 사단법인 한국융합기술연구학회 2023 아시아태평양융합연구교류논문지 Vol.9 No.11

광범위한 기술 분야에서 소프트웨어가 필수적으로 사용되면서 소프트웨어의 특성을 이해하고 최적화하기 위한 다양한 분석 기술들이 활용되고 있다. 소프트웨어 유사성 분석은 중복 코드 검출, 표절 탐지, 코드 최적화, 악성코드 탐지 등 다양한 분야에 활용된다. 제어 흐름 그래프는 소프트웨어의 동작 특성을 표현할 수 있는 정적인 구조로서 소프트웨어의 구조적 특성을 표현하거나 동작 특성을 이해하는데 널리 활용된다. 본 논문에서는 자바 프로그램의 유사도 분석을 위해 제어 흐름 그래프의 편집 거리를 응용하는 방법을 제안한다. 그래프 편집 거리의 명령어 매칭에 대한 유연성을 개선하기 위해 유사한 명령어에 대한 클래스를 분류하고 명령어의 매칭에 적용하는 방법을 설계한다. 이 방법은 서로 유사한 제어 흐름 구조와 명령어를 가지는 프로그램에 대한 유사도 분석의 신뢰도를 높일 수 있다. 본 논문에서 제안한 방법의 성능을 검증하기 위해 자바 벤치마크 프로그램에 대해 실험을 하고, 결과의 정확도와 신뢰도를 평가하였다. 본 논문에서 제안한 방법은 유사 프로그램의 비교 결과에서 98%의 높은 정확도를 보여주었다. 본 논문에서 제안한 방법은 소프트웨어 유사도 분석 및 소프트웨어의 유사 명령어 매칭을 통해 소프트웨어의 동작 특성을 이해하는데 활용될 수 있을 것이라 기대된다. As software is essentially used in a wide range of technologies, various analysis techniques are employed to understand the characteristics of software and optimize it. Software similarity analysis is utilized in various fields, including duplicate code detection, plagiarism detection, code optimization, and malicious code detection. Control flow graphs are static data structures that express operational and structural characteristics of software. So, they are widely used for representing and understanding software's features. This paper proposes a method for analyzing similarities between Java programs by applying the edit distance of control flow graphs. To enhance the flexibility of matching instructions within control flow graphs, we have designed a method for classifying similar instructions and matching them based on these classes. This method can improve the reliability of similarity analysis results for programs that have similar control flow structures and instructions. We conducted experiments using Java benchmark programs and evaluated the accuracy and reliability of the proposed method. The results indicated that the method achieved a high accuracy rate of 98% in comparison experiments between similar Java programs. It is expected that the proposed method will be useful for analyzing software similarity and understanding the operational characteristics of software by matching similar instructions in programs.

대기행렬 이론 기반 SDN 제어 평면 및 응용 평면의 트래픽 성능 분석 모델

이승운,노병희 한국차세대컴퓨팅학회 2019 한국차세대컴퓨팅학회 논문지 Vol.15 No.4

Software Defined Networking (SDN) is the future network paradigm of decoupling control and data functions. In SDN structure, it is hard to address scalability in case of large-scale networks because single controller managed thousands of switches in a centralized fashion. Most of previous studies have focused on horizontal scalability, where distributed controllers are assigned to network devices. However, they have abstracted the control plane and the application plane into a single controller. The layer of the common SDN architecture is divided into data plane, control plane, and application plane, but the control plane and application plane have been modeled as a single controller although they are logically separated. In this paper, we propose a analytical traffic model considering the both application plane and control plane based on queuing theory. This model can be used to address scalability issues such as controller placement problem without complicated simulations. 소프트웨어 정의 네트워킹(SDN)은 네트워크 장치의 데이터 기능과 제어기능을 분리한 미래 네트워킹 기술이다. 네트워크 장치들이 하나의 컨트롤러에 의해 중앙 제어되는 SDN의 구조는 대규모의 네트워크로의 확장성을 보장하기가 쉽지 않다. 선행연구들은 다수의 컨트롤러를 배치하는 수평적 확장성에 초점을 두어왔다. 이 연구들은 제어 평면과 응용 평면을 하나의 컨트롤러로 추상화하고 있다. 보편적인 SDN 아키텍처의 계층은 데이터 평면, 제어 평면, 응용 평면으로 나뉘는데 응용평면과 제어평면은 논리적으로 분리되어 있음에도 두 평면을 하나의 컨트롤러로 간주하였다. 따라서 본 논문에서는 대기행령 이론을 바탕으로 제어 평면과 응용 평면을 분리하여 반영한 트래픽 성능 분석 모델을 제안한다. 이 모델을 사용하면 복잡한 시뮬레이션 대신 간단하게 컨트롤러 배치 문제 등과 같은 확장성 문제에 활용할 수 있다.

함정 전투체계 무장통제 소프트웨어 표준 아키텍처에 관한 연구

이재근(Jae-Geun Lee) 한국컴퓨터정보학회 2021 韓國컴퓨터情報學會論文誌 Vol.26 No.11

무장통제 소프트웨어는 무장체계와 연동하여 함정 전투체계 내 무장 운용을 지원하는 기능을 수행한다. 무장통제 소프트웨어는 무장체계에 의존적이므로 연동 정보 변화에 따라 소프트웨어 수정이 필연적으로 이뤄지는 특성을 가진다. 소프트웨어의 수정은 신뢰성 시험과 같은 검증 단계를 반드시 거쳐야 하므로 개발 비용의 상승을 초래한다. 본 논문에서는 기존 무장통제 소프트웨어의 수정 요소를 최소화하기 위해 무장통제 소프트웨어 표준 아키텍처를 설계하였다. 연동 정보관리를 위해 휘처 모델(Feature Model)로 공통요소와 가변요소를 구분하였고 디자인패턴 중 전략 패턴(Strategy Pattern)을 적용하여 소프트웨어 구조를 개선하였다. 소프트웨어 평가 실험을 통해 제안한 아키텍처가 기존 무장통제 소프트웨어보다 개발 비용이 감소하고 변경용이성과 재사용성이 향상된 것을 확인하였다. The Weapon Control Software performs the function of supporting weapon operation within the Naval Combat System in connection with the Weapon System. As Weapon Control Software depends on an Weapon System, it has the characteristic that software modification is unavoidable with the change in Interface information. Modification of software causes an increase in development costs since it must take verification step such as software reliability test. In this paper, We design the standard architecture of weapon control software to minimize the modification elements of existing weapon control software. For Interface information management, Feature Model were applied to make a division between common factor and variable factor. In addition, Strategy Pattern were applied to improve the software design. Software evaluation test results show that new architecture provides better modifiability and reuse than existing software as well as the cost of development decrease.

군용항공기 비행제어 소프트웨어 품질인증 절차에 관한 연구

허진구 ( Jin Goo Heo ) 한국품질경영학회 2013 품질경영학회지 Vol.41 No.3

Purpose; This study investigates software qualification procedures based on the FA-50 flight control software to satisfy high reliability and flight safety, Methods: We studied software qualification categories. standard/specification and developed country case. We proposed procedure to satisfy not only flight safety but also international standard, Results: The proposed software qualification procedure satisfied flight safety and airworthiness based on the testing resull of the FA-50 flight control software. Conclusion: This paper showed an appropriate qualification procedures of the flight control software in domestic circumstance through the FA-50 flight control software qualification.

전동차용 종합제어장치 소프트웨어 개발

최병욱(Byoung-Wook Choi),박종헌(Jong-Hun Park) 한국조명·전기설비학회 2011 조명·전기설비학회논문지 Vol.25 No.12

TCMS is the most important controller in the subway train for reliable train control and service oriented flexibility. TCMS software charges communications and control of train and maintains control devices so we use QNX for real-time control. This paper introduces overall software development of TCMS using various diagrams. Software implementation details in TC and CC are explained using deployment diagram through train configuration. Driving control process among many processes is focused to present implement details which controls train by driver or automatic train operation and handles commands to control deriving devices in cars. Reliable operation of train and easy maintenance process is achieved through the same hardware in train control computer and car control computer.

State Control Using StateChart Diagram and Observer Pattern

Sang Beom Ha,Cheol-Jung Yoo,Jihyun Lee 보안공학연구지원센터 2016 International Journal of Software Engineering and Vol.10 No.9

Statechart diagram models the dynamic nature of a system used for defining different states of an object during its lifetime. States change by events, so statechart diagrams are useful to model a system that reacts to certain events. The industrial robot software application that controls movements of an industrial robot, a kind of reactive systems should provide well-designed state control. In addition, the hardware devices of an industrial robot currently on offer are frequently changed, and the changes on hardware devices require changes on the parts of the relevant industrial robot software application that control the movements. The industrial robot software application thus should be modifiable, so that it can be adapted to fulfill various needs of industries. To tackle these problems, this paper proposes a state control technique using statechart diagram and observer pattern applied to developing an industrial robot software application. Through applying the observer pattern according to state control information captured using statechart diagram, maintainability and reusability of an industrial robot software application were improved.

Proposal of Automated Performance Testing Tool for Vital Software in Train Control System

Hyun-Jeong Jo,Jong-Gyu Hwang,Kang-Mi Lee 제어로봇시스템학회 2010 제어로봇시스템학회 국제학술대회 논문집 Vol.2010 No.10

In accordance with the development of recent computer technology, the dependency of train control system on the computer software is being increased further, and accordingly, the testing for the safety and reliability of train control system software became more important. Hence, the safety assurance of the vital software running on the train control system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware"s safety, not so much systematic approaches to evaluate software"s safety. In this paper, we suggested an automated tool for performance testing in train control system, and presented its result of implementation. The testing items in the implemented tool had referred to the international standards in relation to the software for train control system, such as IEC 61508 and IEC 62279. In these international standards, "performance testing" for train control system S/W has to be recommended highly.

무인기 비행제어 소프트웨어 검증 방법에 관한 연구

곽준혁,최두열,장승규,정은식,조인제 한국항공우주학회 2012 한국항공우주학회 학술발표회 논문집 Vol.2012 No.4

본 논문에서는 무인기 핵심 SW 기술 확보를 위해 다양한 기종에 적용 가능한 무인기 공통 탑재 SW의 표준 플랫폼을 위한 다기종 무인기용 표준 소프트웨어 개발의 일환으로 무인기 비행제어 소프트웨어 검증 방법에 관한 연구를 수행하였다. 무인기 WBS 비행제어 소프트웨어는 Safety-Critical 소프트웨어로서 DO-178B Level A 수준에 준하는 개발 프로세스 절차를 통하여 개발되었고, 이를 위해 적용된 소프트웨어 검증방법에 대해 살펴보았다. 소프트웨어 그 자체 분석을 위한 정적분석 도구(QAC)와 DO-178B Level A 수준에 준하는 MC/DC 커버리지를 위한 동적분석 도구(VectorCast)를 이용한 검증방법, 그리고 비행제어 소프트웨어 전체 컴포넌트를 통합하여 In-house 도구를 이용한 소프트웨어 통합 테스트 수행에 대해 연구하였다. In this paper, a study on development of UAV flight control software verification method as standard software development for various model of UAV for standard platform of UAVs common software to apply to various models in order to obtain a new main software technology of UAV. The UAV WBS flight control software as Safety-Critical software was developed through development process is based on DO-178B Level A, and overviewed about software verification method applied for it. Verification methods using dynamic analysis tool (VectorCast) for MC/DC coverage is based on DO-178B Level A and static analysis tool (QAC) for software itself, and studied about software integration test execution using In-house tool merging the whole component of flight control software.