• 대한임베디드공학회논문지
• /
• 제7권1호
• /
• pp.17-24
• /
• 2012

Recently automotive software has been more complex and needs to be reduced its development time. Software testing of its functionalities and performance should be conducted in an early development phase to reduce time to market and the development cost. Software functional testing can be performed through simulating the hardware, but it is not guaranteed that evaluation of real-time performance using simulation has enough accuracy. Real-time performance can be precisely evaluated with hardware-in-the-loop simulation, but it costs time and effort to set up hardware for testing. In this paper, we suggest a testing system that can evaluate functional requirements and real time properties with a general-purpose development board in the early development phase. In addition, we improve reusability of the testing system through modularized and layered architecture. With the proposed testing system we can contribute to building reliable testing system at low cost without difficulty.

• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• Smart Structures and Systems
• /
• 제4권6호
• /
• pp.809-828
• /
• 2008

Real-time hybrid testing is an attractive method to evaluate the response of structures under earthquake loads. The method is a variation of the pseudodynamic testing technique in which the experiment is executed in real time, thus allowing investigation of structural systems with time-dependent components. Real-time hybrid testing is challenging because it requires performance of all calculations, application of displacements, and acquisition of measured forces, within a very small increment of time. Furthermore, unless appropriate compensation for time delays and actuator time lag is implemented, stability problems are likely to occur during the experiment. This paper presents an approach for real-time hybrid testing in which time delay/lag compensation is implemented using model-based response prediction. The efficacy of the proposed strategy is verified by conducting substructure real-time hybrid testing of a steel frame under earthquake loads. For the initial set of experiments, a specimen with linear-elastic behavior is used. Experimental results agree well with the analytical solution and show that the proposed approach and testing system are capable of achieving a time-scale expansion factor of one (i.e., real time). Additionally, the proposed method allows accurate testing of structures with larger frequencies than when using conventional time delay compensation methods, thus extending the capabilities of the real-time hybrid testing technique. The method is then used to test a structure with a rate-dependent energy dissipation device, a magnetorheological damper. Results show good agreement with the predicted responses, demonstrating the effectiveness of the method to test rate-dependent components.

• 인터넷정보학회논문지
• /
• 제4권6호
• /
• pp.1-11
• /
• 2003

이 논문은 유스 케이스 기반 실시간 시스템을 위한 디자인 지향 테스트를 소개한다. 우리는 디자인 스키마를 기능적 컴포넌트의 계층적 디자인 컴포넌트 아키텍처(즉 디자인 컴포넌트)로 분할 하는 실시간 소프트웨어 개발을 위한 확장 유스 케이스에 초점을 둔다. 실행 순차의 다양한 유스 케이스의 액션 단위를 기술하는 관련된 시나리오를 포함하는, 즉 실시간 시스뎀 설계의 동적 특성을 반영하는, 유스 케이스 액션 메트릭스를 제안한다. 실시간 시스템을 제안한 디자인 지향 테스트에 적용 시도를 통해 생산성 향상을 위한 시나리오 순서화를 생성하고 기존의 테스트 케이스 재사용을 진작시킨다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.132-137
• /
• 2015

실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다.

• 전자공학회논문지
• /
• 제53권11호
• /
• pp.130-138
• /
• 2016

본 논문은 무기체계의 오류를 검증할 때 필요한 실시간 시스템 병렬시험 기법에 대해서 제안한다. 이전에 국방분야에서 사용되는 야전시험장비는 무기체계를 순차적으로 검증하는 방식을 사용하였다. 오류를 순차적으로 검증하는 방식은 내부유닛간의 상호 간섭에 의한 부분의 오류검증은 할 수 없었다. 이러한 이유로 인해 본 논문에는 기존에 무기체계 오류 검증 시 사용되는 순차적 시험기법이 아닌 임베디드 장치를 이용한 실시간 시스템 병렬시험 기법을 제안한다. 임베디드 모듈이 탑재된 스위칭 제어카드는 병렬시험을 수행하고 그 결과를 사용자의 제어장치로 전달한다. 이러한 방식은 기존의 방식에 비해 좀 더 정확하게 무기체계 내부의 상호 간섭에 대한 오류 검증을 할 수 있다.

• 대한전기학회논문지
• /
• 제43권4호
• /
• pp.638-647
• /
• 1994

This paper describes the real time Hardware-In-the Loop Simulation(HILS) that is an efective tool for design, testing and performance evaluation of the guidanc eflight system. The real time HILS was performed by using a 3-axis flight motion simulator, real time computer, I/O system and flight control system hardware along with the assumed flight trajectory of the guidance flight system. Also, we proved the validity of the real time HILS is the guidance flight system by comparing its simulation results with the software simulation data and telemetry data.

• ETRI Journal
• /
• 제21권4호
• /
• pp.52-64
• /
• 1999

QoS monitoring is a kind of real-time systems which allows each level of the system to track the ongoing QoS levels achieved by the lower network layers. For these systems, real-time communications between corresponding transport protocol objects is essential for their correct behavior. When two or more entities are employed to perform a certain task as in the case of communication protocols, the capability to do so is called interoperability and considered as the essential aspect of correctness of communication systems. This paper describes a formal approach on modeling and interoperability test case generation of a real-time QoS monitoring protocol. For this, we specify the behavior of flow monitoring of transport layer QoS protocol, i.e., METS protocol, which is proposed to address QoS from an end-to-end's point of view, based on QoS architecture model which includes ATM net work in lower layers. We use a real-time Input/Output finite State Machine to model the behavior of real-time flow monitoring over time. From the modeled real-time I/OFSM, we generate interoperability test cases to check the correctness of METS protocol's flow monitoring behaviors for two end systems. A new approach to efficient interoperability testing is described and the method of interoperability test cases generation is shown with the example of METS protocol's flow monitoring. The current TTCN is not appropriate for testing real-time and multimedia systems. Because test events in TTCN are for message-based system and not for stream-based systems, the real-time in TTCN can only be approximated. This paper also proposes the notation of real-time Abstract Test Suite by means of real-time extension of TTCN. This approach gives the advantages that only a few syntactical changes are necessary, and TTCN and real-time TTCN are compatible. This formal approach on interoperability testing can be applied to the real-time protocols related to IMT-2000, B-ISDN and real-time systems.

• 한국IT서비스학회지
• /
• 제16권3호
• /
• pp.103-111
• /
• 2017

The real time scheduling is a key research area in high performance computing and has been a source of challenging problems. A periodic task is an infinite sequence of task instance where each job of a task comes in a regular period. The RMS (Rate Monotonic Scheduling) algorithm has the advantage of a strong theoretical foundation and holds out the promise of reducing the need for exhaustive testing of the scheduling. Many real-time systems built in the past based their scheduling on the Cyclic Executive Model because it produces predictable schedules which facilitate exhaustive testing. In this work we propose hybrid scheduling method which combines features of both of these scheduling algorithms. The original rate monotonic scheduling algorithm didn't consider the uniform sampling tasks in the real time systems. We have enumerated some issues when the RMS is applied to our hybrid scheduling method. We found the scheduling bound for the hard real-time systems which include the uniform sampling tasks. The suggested hybrid scheduling algorithm turns out to have some advantages from the point of view of the real time system designer, and is particularly useful in the context of large critical systems. Our algorithm can be useful for real time system designer who must guarantee the hard real time tasks.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권4호
• /
• pp.388-401
• /
• 2006

소프트웨어의 생산성을 높이고 신뢰성 있는 실시간 이동형 내장 소프트웨어를 개발하기 위해서는, 소프트웨어를 실시간으로 정확하게 분석하고 시험 검증할 수 있는도구가 필요하다. 이러한 도구는 기본적으로 소스코드 기반의 화이트박스 시험 기능, 실시간 시스템 모니터링과 실행 제어 기능을 필요로 하며, 향후 다양한 시스템 환경과의 연동을 고려하여 재사용성과 이식성을 높일 수 있도록 설계되어야 한다. 본 논문에서는 실시간 이동형 내장 소프트웨어를 시험하기 위한 시험검증 도구의 기능적 요구사항을 식별하고, 식별된 요구사항을 바탕으로 시험검증 도구에 적합한 구조를 설계하였다 또한 시험검증 도구의 확장성과 이식성 제고를 위해 각 기능에 대한 구체적인 구현 기술과 기법을 제시하였으며, 이들 기능의 설계에 디자인 패턴을 적용하였다.