• 로봇학회논문지
• /
• 제14권4호
• /
• pp.340-347
• /
• 2019

Due to advances in machine intelligence and increased demands for autonomous machines, the complexity of the underlying software platform is increasing at a rapid pace, overwhelming the developers with implementation details. We attempt to ease the burden that falls onto the developers by creating a graphical programming framework we named Splash. Splash is designed to provide an effective programming abstraction for autonomous machines that require stream processing. It also enables programmers to specify genuine, end-to-end timing constraints, which the Splash framework automatically monitors for violation. By utilizing the timing constraints, Splash provides three key language semantics: timing semantics, in-order delivery semantics, and rate-controlled data-driven stream processing semantics. These three semantics together collectively serve as a conceptual tool that can hide low-level details from programmers, allowing developers to focus on the main logic of their applications. In this paper, we introduce the three-language semantics in detail and explain their function in association with Splash's language constructs. Furthermore, we present the internal workings of the Splash programming framework and validate its effectiveness via a lane keeping assist system.

• 대한공업교육학회지
• /
• 제33권2호
• /
• pp.232-247
• /
• 2008

최근 기업들은 B2B EC와 같은 웹 기반 분산 환경에서 적기 협력을 필요로 한다. 특히 시간 제약을 필요로 하는 긴급 협조 요청이나 긴급 메시지는 즉시 처리 하여야 한다. 본 논문에서는 웹 기반 분산 시스템 환경에서 기업사이의 적기 협력을 위한 시간 제약 조건을 사건, 데이터, 행위 관점에서 분석하였고, 시스템 설계자들이 시간 제약 조건과 이의 위반에 관련된 적기 협력 방안을 적절히 표현할 수 있는 ECA 규칙 프로그래밍 기법을 제안한다. 그리고 웹 기반 능동 기능 컴포넌트를 이용하여 프로토타입을 구현하였다.