• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.8
• /
• pp.1937-1947
• /
• 1996

In the case of developing the real-time system using object-oriented method, k the problem of the timing constraints is certainly considered. we propose the method of modeling the object-oriented real-time system using the OMT methodology and the SDL. And we also present the predictable time table that reflects the constraints of real-time system into dynamic model of OMTs and the predicatable time formula of the sequence, repeat, and parallel routine. The proposed method is applied to the estimate of the maximum process time of the ATMs(Automatic teller machines) and is used to specifying the functional specification for the user interface of the ATMs using the SDL syntax and the object interaction graph.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.573-575
• /
• 1998

실시간 내장형 시스템(real-time embedded system)의 반응 동작(reactive behavior)을 정확하게 분석하기 위해서 상태차트(statechart)에 바탕을 둔 객체 지향 모델링 방법론들이 많이 사용되고 있다. 하지만 이들 방법론들은 경성 실시간 시스템(hard real-time system)이라면 반드시 고려해야할 스케줄링 가능성분석(scheduability analysis)에 필요한 시간에 대한 정보와 시간 제약을 정확히 나타내지 못하는 문제점이 있다. 본 논문에서는 최근 OMG(Object Management Group)에서 객체 지향개발의 기준으로 채택된 UML(Unifies Modeling Language) ver1.1을 사용하여 실시간 내장형 시스템의 반응 동작과 시스템의 시제 동작(temporal behavior)을 모델링하여, 모델링된 시스템이 스케줄링 가능성 분석이 효과적으로 이루어지는 방안을 제안한다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.300-312
• /
• 2000

The application areas of embedded real-time systems are very wide and so are the requirements for real-time processing and reliability of the systems. To develop embedded real-time systems effectively with its real-time and reliability properties guaranteed, an appropriate real-time model is needed. Recently, the research on real-time object-oriented model is active, which graft the concept of object-orientation on real-time systems modeling and development. In this paper, we propose dRTO (dependable Real-Time Object) model, with 5 primitive classes. These allow designers to effectively model the characteristics of real-time systems, i.e., object-orientation, real-time-ness and dependability. The dRTO model has three main features. First, it is able to model and implement the timing constraints imposed on real-time objects as well as interactions among the objects. Second, hardware and software components (including kernel) of embedded systems can be modeled in one frame. Third, it is able to represent fault detection and recovery mechanisms explicitly.

• Electronics and Telecommunications Trends
• /
• v.8 no.4
• /
• pp.55-67
• /
• 1993

전자교환기는 시스템 특성상 규모가 방대하고 실시간 처리를 요구하며, 개발 이후의 사용 기간이 길고 빈번한 기능 변화를 요구하기 때문에 보다 이해하기 쉽고 유지보수가 용이하도록 개발되어야 할 필요성이 높다. 본 논문에서는 전자교환기와 같은 대형 통신시스템을 객체지향 시스템으로 개발하기 위한 분석방법으로 행위를 기반으로 하는 객체 모델링 방법을 제안하였다. 객체 모델링 분석 방법을 적용하면 시스템 변경에 대한 적응성이 향상되며 유사한 통신용 소프트웨어 개발에 있어서 재사용률을 높일 수 있다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.3 no.4
• /
• pp.247-253
• /
• 2008

The TMO may contain two types of methods, time-triggered methods(also called the spontaneous methods of SpMs) which are clearly separated from the conventional service methods (SvMs). The SpM executions are triggered upon design time whereas the SvM executions are triggered by service request message from clients. In this paper, we describes the application environment as the patient monitor telemedicine system with TMO structure. Vital sign information web viewer systems is also the standard protocol for medical image and transfer. In order to embrace new technologies as telemedicine service, it is important to develope the standard protocol between different systems in the hospital, as well as the communication with external hospital systems.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.2
• /
• pp.174-182
• /
• 2002

The object-oriented design methods and their CASE tools are widely used in practice by many real-time software developers. However, object-oriented CASE tools require an additional step of identifying tasks from a given design model. Unfortunately, it is difficult to automate this step for a couple of reasons: (1) there are inherent discrepancies between objects and tasks; and (2) it is hard to derive tasks while maximizing real-time schedulability since this problem makes a non-trivial optimization problem. As a result, in practical object-oriented CASE tools, task identification is usually performed in an ad-hoc manner using hints provided by human designers. In this paper, we present a systematic, schedulability-aware approach that can help mapping real-time object-oriented models to multi-threaded implementations. In our approach, a task contains a group of mutually exclusive transactions that may possess different periods and deadline. For this new task model, we provide a new schedulability analysis algorithm. We also show how the run-time system is implemented and how executable code is generated in our frame work. We have performed a case study. It shows the difficulty of task derivation problem and the utility of the automated synthesis of implementations as well as the Inappropriateness of the single-threaded implementations.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.1049-1064
• /
• 2005

The demands of increasingly complicated software have led to the proliferation of object-oriented design methodologies in embedded systems. To execute a system designed with objects in target hardware, a task set should be derived from the objects, representing how many tasks reside in the system and which task processes which event arriving at an object. The derived task set greatly influences the responsiveness of the system. Nevertheless, it is very difficult to derive an optimal task set due to the discrepancy between objects and tasks. Therefore, the common method currently used by developers is to repetitively try various task sets. This paper proposes Scenario-based Implementation Synthesis Architecture (SISA) to solve this problem. SISA encompasses a method for deriving a task set from a system designed with objects as well as its supporting development tools and run-time system architecture. A system designed with SISA not only consists of the smallest possible number of tasks, but also guarantees that the response time for each event in the system is minimized. We have fully implemented SISA by extending the ResoRT development tool and applied it to an existing industrial PBX system. The experimental results show that maximum response times were reduced $30.3\%$ on average compared to when the task set was derived by the best known existing methods.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.4 no.3
• /
• pp.230-235
• /
• 2009

The TMO may contain two types of methods, time-triggered methods(also called the spontaneous methods of SpMs) which are clearly separated from the conventional service methods (SvMs). The SpM executions are triggered upon design time whereas the SvM executions are triggered by service request message from clients. In this paper, we describes the application environment as the patient monitor telemedicine system with TMO structure. Vital sign information web viewer systems is also the standard protocol for medical image and transfer. We have to design to obtain useful vital sign information, which is generated at parsing data receiver modulor of HIS with TMO structure, that is offered by the central monitor of ICU. In order to embrace new technologies as telemedicine service, it is important to develope the standard protocol between different systems in the hospital, as well as the communication with external hospital systems.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.04a
• /
• pp.429-432
• /
• 2000

일반사용자들이 쉽게 웹을 통하여 컴퓨터 그래픽스, 이미지(CT, MARI) 컴퓨터공학, 지리정보, 수치적 통계, 데이터분석 데이터를 그래픽으로 표현하고자 한다. VRML Visualization Server 구축하여 웹 기반 Visualizer 설계한다. 궁극적으로는 가시화의 실시간 표현에 있다. 모델링 기법에 있어서는 객체지향 그래픽 라이브러인 Visualization Toolkit을 이용하여 데이터의 Surface, Contour, Plane, Streamline, Probe 등을 구현하며, VRML 파일형태로 변환하여 클라이언트 웹으로 보내지게된다. 클라이언트 측 웹은 자신이 원하는 형태의 가시화 항목들을 선택하면 HTTP 에 의해 Visualization Server로 전송되어지고 Server의 ISAP는 전송되어져온 가시화항목을 가지고 가시화하여 VRML화일 형식으로 클라이언트 측으로 보내게된다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.4
• /
• pp.1013-1024
• /
• 1997

In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.