상세정보
학술대회
A Method of Logically Time Synchronization for Safety-critical Distributed System
- 발행일
- 201601
- 출처
- International Conference on Advanced Communication Technology (ICACT) 2016, pp.356-359
- 협약과제
- 15MS8800, 오류 없는 시스템 통합을 위한 안전우선 분산 모듈형 SW 플랫폼, 김태호
- 초록
- Legacy real-time and embedded systems have been small scale and standalone. However, recently they are increasingly being connected to create large-scale distributed system. Such distributed embedded system is realized in automotive, medical, and manufacturing automation. Also, there are many researches about software platform for large-scale distributed system. Verification of the application is required in SW platform for safety-critical distributed system. However, the verification complexity increases in practice as several factors such as delay, jitter and error. An equivalent synchronized execution of distributed tasks are required in distributed realtime system. Our method is based on the PALS (Physically Asynchronous Logically Synchronous) which is a complexity-reducing architectural pattern for distributed real-time systems. It allows developers to design, verify and implement a logically synchronous implementation of real-time distributed applications. In this paper, we introduce a logical time synchronization for reducing complexity between distributed nodes in distributed embedded system. It make verification and development of distributed software easier. It is helpful to develop distributed embedded system which requires safety and reliability. This paper is useful for application programmer or system manager who wants to establish distributed embedded system which requires safety and reliability.
- KSP 제안 키워드
- Architectural pattern, Distributed Applications, Distributed Embedded System, Distributed System(DS), Distributed software, Logical time, Manufacturing automation, Real-Time embedded systems, Safety and reliability, Safety-Critical, Small-scale