• 제어로봇시스템학회논문지
• /
• 제17권9호
• /
• pp.908-915
• /
• 2011

As the requirement of user for robot functionality, the function and interface for controlling the robot system is more sophisticated and complicated. Accordingly development process of robot is more complicated and it takes much longer time to develop a robot system. Software development using project management tool is more important in software engineering because of the complexity of software, especially robot system. This paper proposes SEED (Software Engineering Equipment for Development), which is a web-based and integrated software engineering tool to provide independent tools for robot software development. SEED includes the document management tool, the software configuration management tool, the software testing tool on developing robot software and provide a functionality of collaborated and remote development due to WEB-based operations.

• 정보처리학회 논문지
• /
• 제13권5호
• /
• pp.227-235
• /
• 2024

원자력발전소에서 디지털 계측제어 시스템 비중이 높아지면서 원자력발전소에 대한 확률론적 안정성 평가 시 소프트웨어에 대한 신뢰도 평가가 중요해졌다. 원전 소프트웨어 신뢰도 추정을 위한 방법들이 몇 가지 제안 되었지만 해당 방법의 효과적 적용을 지원하는 도구 지원이 미비하였다. 본 연구에서는 소프트웨어 개발 품질 및 검증 품질과 같은 정성적 정보와 통계적 시험 결과와 같은 정량적 정보를 활용하여 원전 소프트웨어 신뢰도를 정량적으로 측정할 수 있는 자동화 도구를 설계하였고 구현하였다. 개발된 도구를 산업용 원자로 보호 시스템 사례에 적용한 결과, 개발된 도구가 원전 소프트웨어의 신뢰성 평가를 효과적으로 지원할 수 있음을 확인하였다.

• International Journal of Safety
• /
• 제8권2호
• /
• pp.31-36
• /
• 2009

In accordance with the development of recent computer technology, railway signaling software became more complex for the intellectualization. Therefore the importance and dependency of railway signaling system on the computer software is getting more increased further, and the testing for the safety and reliability of railway signaling system software became more important. It is started to become influential as very important issue for the reliability and safety of vital embedded software like railway signaling system. The software coding which can have an effect on the safety at the coding level of software shall not be included preferentially, for the safety of software, and must be checked. This thesis suggested an automated testing tool for coding rules on this railway signaling system software, and presented its applied result for railway signaling system software. The testing items in the implemented tool had referred to the international standards in relation to the software for railway system and MISRA-C standards. This automated testing tool for railway signaling system can be utilized at the assessment stage for railway signaling system software also, and it is anticipated that it can be utilized usefully at the software development stage also.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2006년도 추계학술대회 논문집
• /
• pp.947-953
• /
• 2006

ATC on-board equipment require realtime embedded software with high level of safety and reliability. To satisfy these requirements, many techniques are applied to the development of software during the lifecycle. In case of software modeling, object-oriented methodology is widening its niche replacing traditional structured methodology and modeling in UML using a CASE tool is a growing trend. In this paper, we modeled ATC on-board software in UML using Rhapsody, which is a modeling tool for realtime embedded software. We modeled the behavior of ATC on-board equipment based on state machine diagram and validated the model using the animation feature provided in the tool. According to our study, the CASE tool based on UML showed high level of applicability in modeling and verifying the software with complex behavioral characteristics.

• Journal of Platform Technology
• /
• 제10권4호
• /
• pp.11-24
• /
• 2022

항공기 소프트웨어를 개발하는 도구는 도구에서 생성된 결과물에 오류가 있으면 항공기 소프트웨어에 에러를 유입할 수 있기 때문에 항공기 소프트웨어와 동일한 수준의 안전성이 요구된다. 본 논문은 한화시스템의 A661UAGEN 도구를 통해 ARINC 661 표준 UA 정의 파일과 CDS 설정 파일을 생성 시에 도구의 입력과 출력 파일에 대한 유효성 확인을 통해 항공기 소프트웨어의 일부가 되는 도구 산출물의 신뢰성을 확보하는 방법에 대해 기술한다. A661UAGEN 도구의 입력인 XML 파일에 대한 스키마 정의를 통해서 XML 데이터의 구조와 내용이 유효한지를 확인하는 방법을 제시하였다. 그리고 출력인 바이너리 데이터는 자료 구조의 유효 값에 대한 마스크 데이터를 생성하여 유효성을 확인하는 방법을 제시하였다. 이와 같이 A661UAGEN 도구의 입력과 출력에 대한 유효성 확인을 통해 항공기 소프트웨어에 통합되는 바이너리 DF와 CF의 신뢰성을 향상시켜 항공기 소프트웨어 개발자가 도구를 활용하여 OFP를 개발 시에 안전성을 보장할 수 있도록 하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2056-2062
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway 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, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection supporting tool. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• 전기학회논문지P
• /
• 제58권2호
• /
• pp.95-100
• /
• 2009

Recent advances in computer technology have brought more dependence on software to railway systems. Hence, the safety assurance of the vital software running on the railway 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 analysis tool for S/W change impact in railway system, and presented its result of implementation. The analysis items in the implemented tool had referred to the international standards in relation to the software for railway system, such as IEC 61508 and IEC 62279. In these international standards, 'change impact analysis' for railway system S/W has to be required mandatorily. The proposed tool can be utilized at the assessment stage and also the software development stage.

• 인터넷정보학회논문지
• /
• 제11권1호
• /
• pp.143-151
• /
• 2010

내장형 시스템의 요구사항이 증가함에 따라 내장형 시스템에서 동작하는 프로그램의 복잡도가 증가하고 있다. 이는 최적의 성능을 발휘하는 소프트웨어의 작성을 어렵게 만드는 요인이 된다. 본 논문은 내장형 시스템에 적합한 호스트/타겟 구조의 프로파일링 도구를 제안한다. 제안하는 도구는 교차 개발환경을 사용하는 내장형 시스템에 적합하도록 호스트에서 작성한 프로그램에 로그를 발생시키는 소스를 삽입하여 타겟 시스템에서 실행한다. 발생된 프로파일링 로그는 통신으로 호스트 시스템에 전송하고 전송한 로그 데이터는 호스트 시스템에서 분석하여 XML 형태로 저장하고 보고서를 생성한다. 보고서는 GUI 기반의 그래픽 뷰어를 통해 개발자에게 제공한다. 제안하는 도구는 자원이 적은 타겟 시스템의 로드를 줄이고 생성하는 로그 XML은 XSLT를 이용하여 다른 형태로 변환하기 용이하다. 또한 제안하는 도구는 이클립스 플러그인 기반으로 이클립스의 다양한 기능을 그대로 사용할 수 있는 장점을 가진다.

• 한국생산제조학회지
• /
• 제7권5호
• /
• pp.15-28
• /
• 1998

Recently may investigations have been studied on the high-speed machining by using machine tools. A CNC machine tool makes some tool path errors caused by software acceleration/deceleration. The faster a cutting feedrate is, the bigger the tool path errors are. Some known methods reduce these kinds of errors, but they make the total cutting time increased. This paper presents a feed-forward algorithm that can be generated by distorting the original tool path, and reduces the tool path errors and the total cutting time. The algorithm to generate a new tool path is represented as following; 1)calculating each distance of software acceleration/deceleration between two adjacent blocks, 2) estimating the distorted distance which is the adjacent-ratio-constant(k1, k2) multiply the distance of software acceleration/deceleration, 3) generating a 3-degree Bezier curve approximating the distorted tool path, 4) symmetrically transforming the Bezier curve about the intersection point between two blocks, and 5) connecting the transformed Bezier curve with the original tool path. The algorithm is applied to FANUC 0M. The study is to promote the high-precision machining and to reduce the total cutting time.

• 전기학회논문지P
• /
• 제58권2호
• /
• pp.108-115
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway 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, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection module and checklists supporting module. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.