This book presents a methodology for the realtime scheduling problems of realtime systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs realtime application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed introductions to supervisory control theory (SCT) and its application in realtime scheduling and reconfiguration. Based on three popular SCT modelling frameworks, discreteevent system (DES), timed DES (TDES), and statetree structures (STS), the authors provide RTS modelling frameworks; thereafter, SCT is used to find their safe execution sequences. As the main contribution, we use (untimed) DES events to represent the execution and preemption of each individual RTS task. This modelling formalism brings the possibilities to model the preemptions of tasks’ executions. Furthermore, in somecases, priorities cannot be assigned to realtime tasks. In order to solve this problem, a matrixbased priorityfree conditionalpreemption (PFCP) relation is provided, which generalizes fixedpriority (FP) RTS scheduling. As a natural extension, a generalized modular modelling framework is presented to model the task parameters instead of the global realtime task. The modular models are taken to be generic entities, which also considers the exact execution time of realtime tasks. STS are undoubtedly recognized as a computationally efficient SCT framework which manages the state explosion problem significantly. Hence, building on the (untimed) modular RTS models, a novel STSbased RTS modeling framework is formulated, by assigning dynamic priorities as specified optimality criteria, which can be utilized to model sporadic RTS processing both sporadic and (multiperiod) periodic tasks, providing a small set of the safe execution sequences which rank at the top.
This book presents a methodology for the realtime scheduling problems of realtime systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs realtime application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed introductions to supervisory control theory (SCT) and its application in realtime scheduling and reconfiguration. Based on three popular SCT modelling frameworks, discreteevent system (DES), timed DES (TDES), and statetree structures (STS), the authors provide RTS modelling frameworks; thereafter, SCT is used to find their safe execution sequences. As the main contribution, we use (untimed) DES events to represent the execution and preemption of each individual RTS task. This modelling formalism brings the possibilities to model the preemptions of tasks’ executions. Furthermore, in somecases, priorities cannot be assigned to realtime tasks. In order to solve this problem, a matrixbased priorityfree conditionalpreemption (PFCP) relation is provided, which generalizes fixedpriority (FP) RTS scheduling. As a natural extension, a generalized modular modelling framework is presented to model the task parameters instead of the global realtime task. The modular models are taken to be generic entities, which also considers the exact execution time of realtime tasks. STS are undoubtedly recognized as a computationally efficient SCT framework which manages the state explosion problem significantly. Hence, building on the (untimed) modular RTS models, a novel STSbased RTS modeling framework is formulated, by assigning dynamic priorities as specified optimality criteria, which can be utilized to model sporadic RTS processing both sporadic and (multiperiod) periodic tasks, providing a small set of the safe execution sequences which rank at the top.
Barnes & Noble is the world’s largest retail bookseller and a leading retailer of content, digital media and educational products. Our Nook Digital business offers a lineup of NOOK® tablets and e-Readers and an expansive collection of digital reading content through the NOOK Store®. Barnes & Noble’s mission is to operate the best omni-channel specialty retail business in America, helping both our customers and booksellers reach their aspirations, while being a credit to the communities we serve.