• The Journal of Korea Robotics Society
• /
• v.14 no.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.

• 대한공업교육학회지
• /
• v.33 no.2
• /
• pp.232-247
• /
• 2008

Timely collaboration among businesses is required these days such as in B2B E-Commerce. That is, emergency requests or urgent information among businesses should be processed in an immediate mode. In this paper we investigate the semantics on timing constraints of timely collaboration among businesses in terms of event, data, and action and present ECA rule construction related to the timing constraints and its violation. The prototype is implemented using web-based active functionality component.