• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.7
• /
• pp.505-509
• /
• 2009

It is the most important object of real-time computing to make real-time tasks keep their given time conditions. In this paper, we implemented BCC(Basic Concurrency Constraint) scheduler which is provided as an essential element of TMO(Time-triggered Message-triggered Object) model, and TMO Supporting Library that supports object-oriented design for TMO. BCC scheduler is a means to design timeliness-guaranteed computing, and it predicts the start of SpMs first, and then it makes the execution of SvMs deferred when it is predicted that any SpM begins to run currently. In this way, BCC is able to prevent collisions between SpM and SvM, and it gives higher priority to SpMs than SvMs.

• Journal of Computing Science and Engineering
• /
• v.1 no.1
• /
• pp.56-73
• /
• 2007

Demands have been growing in safety-critical application fields for producing networked real-time embedded computing (NREC) systems together with acceptable assurances of tight service time bounds (STBs). Here a service time can be defined as the amount of time that the NREC system could take in accepting a request, executing an appropriate service method, and returning a valid result. Enabling systematic composition of large-scale NREC systems with STB certifications has been recognized as a highly desirable goal by the research community for many years. An appealing approach for pursuing such a goal is to establish a hard-real-time (HRT) component model that contains its own STB as an integral part. The TMO (Time-Triggered Message-Triggered Object) programming scheme is one HRT distributed computing (DC) component model established by the first co-author and his collaborators over the past 15 years. The TMO programming scheme has been intended to be an advanced high-level RT DC programming scheme that enables development of NREC systems and validation of tight STBs of such systems with efforts far smaller than those required when any existing lower-level RT DC programming scheme is used. An additional goal is to enable maximum exploitation of concurrency without damaging any major structuring and execution approaches adopted for meeting the first two goals. A number of previously untried program structuring approaches and execution rules were adopted from the early development stage of the TMO scheme. This paper presents new concrete justifications for those approaches and rules, and also discusses new extensions of the TMO scheme intended to enable further exploitation of concurrency in NREC system design and programming.