The Specification and Implementation of a Model of Computation
Separating a complex software system into individual components with well-defined interfaces is a common practice in software engineering intended to simplify reasoning about the system. Establishing a precise set of rules that define components and how they interact over the interfaces is necessary in order to formulate expectations about the possible behaviors that can arise from their composition. These rules are commonly called a Model of Computation (MoC); they establish the legal syntactical, structural, behavioral, and temporal patterns over which components execute. Various approaches have been developed to define MoC-s and their influence over system behavior. The work presented here describes a new approach for specifying MoC-s operationally within a formal modeling framework that captures both event-triggered and time-triggered behaviors. Equipped with this new reasoning framework, an illustrative example is provided to show how a common MoC for real-time systems can be implemented on physical hardware and off-the-shelf software. By first modeling the MoC, the execution logic that orchestrates components is established without introducing limitations of the physical system. Following the realization of the implementation, the model can be updated to reflect these limitations in order to give developers a more realistic view of how a MoC influences system behavior in a realistic deployment setting.
This item appears in the following collection(s):
Showing items related by title, author, creator and subject.
Performance Drift of Clinical Prediction Models: Impact of modeling methods on prospective model performance Davis, Sharon Elizabeth (2017-04-05)Department: Biomedical InformaticsIntegrating personalized risk predictions into clinical decision support requires well-calibrated models, yet model accuracy deteriorates as patient populations shift. Understanding the influence of modeling methods on ...
Szemethy, Tivadar (2006-06-05)Department: Electrical EngineeringThis dissertation proposes a novel approach, applicable in the design-time analysis and verification of computer-based systems. The proposed approach, platform modeling, constructs analysis models capturing the system's ...
Allensworth, Rebecca Haw (Georgetown Law Journal, 2015)In 2013, the Supreme Court made the offhand comment that empirical models and their estimations or predictions are not 'findings offact" deserving of deference on appeal. The four Justices writing in dissent disagreed, ...