• The KIPS Transactions:PartA
• /
• v.9A no.4
• /
• pp.479-484
• /
• 2002

This paper presents the model that integrates an SDL system and a CORBA system using mapping rules between method and signal for developing embedded systems connected with internet. In order to support communication between the two different systems (SDL and CORBA), it is essential to secure the conversion interface between SDL communication protocol and CORBA communication protocol. In this paper, IDL is adopted for the communication interface and the conversion of the communication protocol between the two systems, and the IDL compiler automatically generates the interface for protocol interoperability. The proposed model adopts middleware on the subpart of the SDL based legacy system, and hence, supports the service on the distributed system, regardless of the environment and location of the server system.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2003.07a
• /
• pp.163-166
• /
• 2003

Laser-Induced Thermal Imaging (LITI) is a laser addressed patterning process and has unique advantages, such as high-resolution patterning with over-all position accuracy of the imaged stripes within 2.5 micrometer and scalability to large-size mother glass. This accuracy is accomplished using real-time error correction and a high -resolution stage control system that includes laser interferometers. Here the new concept of mixed hybrid system which complement the advantages of small molecular and polymeric materials for use as an OLED; our system can realize the easy processing of polymers and high luminance efficiency of recently developed small molecules. LITI process enables to pattern the stripes with excellent thickness uniformity and multi-stacking of various functional layers without using any type of fine metal shadow mask. In this study, we report a full-color hybrid OLED using the multi-layered structure of small molecular/polymeric species.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.67-76
• /
• 2010

Although both functional verification and performance evaluation are necessary for the development of effective and reliable communication systems, they have been often performed independently; by functional modeling with formal language tools and by performance modeling with professional network performance evaluation tools, respectively. Separate and repeated modeling of one system, however, would often result in cost increase and inconsistency between the models. This paper proposes an integrated model design approach in order to overcome this problem that evaluates the performance of a communication protocol designed in SDL with SDL-OPNET model conversion. The proposed technique generates OPNET skeleton code from Tau-generated C code of the SDL model by analyzing the relations between SDL and OPNET models. IEEE 802.2 LLC protocol was used as an example of model conversion to show the applicability and effectiveness of the proposed technique.

• Journal of KIISE:Software and Applications
• /
• v.28 no.4
• /
• pp.317-326
• /
• 2001

본 논문에서는 교환기와 같은 실시간 분산 시스템의 개발을 위한 SDL과 CHILL에 기반한 통합 소프트웨어 개발 방법이 제시된다. 이미 다양한 분야에서 SDL과 CHILL의 도구들이 각각 개발되어 왔지만, 본 논문에서는 이들을 통합할 수 있도록 SDL에서 CHILL로의 자동 코드 생성과 심벌 디버깅 환경에 중점을 둔다. 이는 완벽한 수행과 심벌 추적 정보의 삽입을 위한 자동 코드 생성 단계와 SDL 심벌 디버거와 CHILL 시험 환경을 이용한 실시간 심벌 디버깅 단계로 이루어지며, 첫째 SDL에 기반한 정형명세, 둘째 설계의 검증과 확인, 셋째 자동 코드 생성, 넷째 분산된 실시간 병행 CHILL 프로그램의 디버깅, 그리고 마지막으로 응용 프로그램의 CHILL에 기반한 호스트 통합 시험을 제공한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.570-572
• /
• 2000

현재의 소프트웨어 개발은 구현 중심에서 설계 중심으로 변하고 있다. 설계 중심의 개발은 구현 프로그램의 자동생성을 바탕으로 설계 수준에서 정형화된 명세를 검증함으로써 설계와 구현 사이의 불일치를 없앨 수 있고, 유지보수가 효율적이다. 본 논문에서는 설계 중심의 개발 방법을 구축하기 위한 SDL과 CHILL 의 통합된 개발환경에서 디버깅 환경을 제공하기 위한 도구를 제안하고, 정합, 추적, 제어 언터페이스를 통하여 실행 주인CHILL 프로그램의 수행을 시스템 구현의 전단계 설계 문서인 SDL/GR의 심벌로 디버깅하는 SDL 심벌 디버거를 구현하였다.

• The Journal of the Korea Contents Association
• /
• v.3 no.3
• /
• pp.74-84
• /
• 2003

The Location Service (LCS) feature which provides the terminal UE’s geographical location information has been important issues in IMT-2000 system. The existing location positioning methods are classified into the cell ID based, OTDOA, and network assisted GPS. In this paper, a new hybrid location positioning method which combine three of these methods is proposed. Then the LCS protocol is developed under SDL (Specification and Description Language) development environment after designing a new LCS system architecture and behavior. This protocol design covers the LCS functional model and signaling procedure, system architecture, primitive and data structure, and process SDL diagrams.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.2
• /
• pp.269-277
• /
• 1986

This paper proposes a new algorithmic state machine(ASM) chart and a new hardware description for automatic logic design of VLSI. To describe the behavioral characteristics of the design specification, the conventional ASM chart is modified, and a new hardware description language, SDL, is proposed. The SDL is one-to-one correspondent to the proposed ASM chart symbol, and can be used in a hierachical design of VLSI. As a design example, we obtain a logic circuit diagram of gate lebel utilizing a SDL hardware compiler after drawing an ASM chart and describing in SDL.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06d
• /
• pp.318-321
• /
• 2008

현재의 소프트웨어 개발은 구현 중심의 개발에서 설계 중심의 개발로 바뀌고 있다. 설계 중심의 개발은 구현 프로그램의 시스템 개발 시간을 크게 단축할 수 있고, 정형화된 명세를 검증함으로써 설계와 구현의 일관성을 유지할 수 있으며 유지 보수가 효율적이다. 이러한 설계 중심의 개발에 있어서 SDL(Specification and Description Language)은 표준으로 재정된 기술을 구현하는데 있어 어떠한 기준 명세라 할 수 있다. 하지만 이러한 SDL도 대다수의 사람이 쉽게 알아보기에는 어려움이 있기 때문에 좀 더 높은 범용성을 위해 본 논문에서는 엔지니어들이 보편적으로 많이 사용하는 언어인 c언어를 이용해 SDL을 직접적으로 구현 해 보았는데 점점 더 발전해가는 Wireless LAN의 표준인 IEEE 802.11의 spec에 명시되어 있는 SDL을 기반으로 MAC 부분을 구현하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.12
• /
• pp.3109-3120
• /
• 1996

SDL has been standardized to specify behavioral aspects of communication systems based on the formal description technique, and it is powerful and user friendly in the sense of supporting human communication and understanding, formal analysis andcomparison of behaviors, alternative implementations and design optimization, and its structural decomposition. However, SDL is not sufficient for an efficient handing of entrire system descriptions because the communication systems are generally very complex, and composed from the various interactions among sub-systems. Also, it is very difficult to explicitly verify dynamic views such as liveness and reachability. it leads the demands on analysis scheme to verify dynamic behaviros of specified systems. This paper presents modeling concepts of Petri Nets from SDL and transformation rules to Numerical Petri Nets to provide efficient technqiques for verification of dynamic behaviors, and proposes the reachability garaph that is able to trace all reachable states of a modeled system and reduce an information loss on the reachability tree.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.410-413
• /
• 2000

This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.