This report presents a proof to support the correctness of the schedulability test for self-suspending real-time task systems proposed by Jane W. S. Liu in her book titled “Real-Time Systems” (Pages 164165). The same concept was also implicitly used by Rajkumar, Sha, and Lehoczky in RTSS 1988 (Page 267) for analyzing self-suspending behaviour due to synchronization protocols in multiprocessor s...

Live forensic is becoming one significant part in modern digital investigation. It is effective in obtaining criminal evidence which only exists in memory. Unfortunately, current efforts either fail to provide accurate acquisition of native system state at the given time point or require suspending the machine and altering the execution environment drastically. To address this issue, we propose...

In the paper "Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks" published in ECRTS 2015, a MILP formulation is provided to compute an upper-bound on the worst-case response time (WCRT) of one selfsuspending task running concurrently with a set of higher priority non-self-suspending tasks. Section VI of that paper extends the MILP formulation to the case where the higher priority...

Suspensions are one of the most important dosage forms under liquid orals. A large number of drugs are formulated as suspensions considering their therapeutic and commercial benefits. The aim of the present study is to formulate paracetamol suspensions employing Plantago ovata mucilage as a suspending agent and evaluate the sedimentation stability using near infrared transmission measurements. ...

The present study was undertaken to evaluate the mucilage isolated from Cissus vitiginea, commonly known as ‘Virginia snakeroot’ (FamilyVitaceae) as an innovative suspending agent. The purpose of this study is to search for a natural excipient which is cost effective that can be used as an alternative for the formulation of pharmaceutical suspensions. Characterization studies like solubility, s...