1 / 10

Mixing Models of Computation

Mixing Models of Computation. Jie Liu Palo Alto Research Center (PARC) 3333 Coyote Hill Rd., Palo Alto, CA 94304 liuj@parc.com. joint work with Prof. Edward A. Lee and the Ptolemy team in the MoBIES project. Mixing Models of Computation. Tool integration is about semantics integration

thimba
Download Presentation

Mixing Models of Computation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Mixing Models of Computation Jie Liu Palo Alto Research Center (PARC) 3333 Coyote Hill Rd., Palo Alto, CA 94304 liuj@parc.com joint work with Prof. Edward A. Lee and the Ptolemy team in the MoBIES project

  2. Mixing Models of Computation • Tool integration is about semantics integration • Tools essentially reflect the models of computation they implement or assume. • Simulink – continuous-time/mixed signal • Charon – hybrid automata • Teja – timed automata • Giotto – time triggered architecture • ns (network simulator) – discrete event • Esterel – synchronous/reactive • … • Not all semantic models are interchangeable • Not all semantic models are compositional • Not all tools are developed to work with other tools • Ptolemy II is a framework to study semantics integration

  3. Example #1: Precise Event Detection • In a mixed-signal/hybrid system model, not all discrete events are predictable. • Events that depend on the value of continuous state variables (like zero crossing) need to be iteratively detected through numerical integration. Simulink, Charon, and Ptolemy II support precise event detection; while Teja does not support it for good reason.

  4. rollback V1 V2 t Example #2: Causality and Rollback network simulator • How to manage the progression of time in three tools? network (simulink) vehicle 1 (simulink) vehicle 2 X • Most continuous-time/mixed-signal tools do not support rollback

  5. Example #3: Precise Mode Switching(A scenario learned from the SEC project) • When perform a mode switching or a reconfiguration, how to pause/turn off existing threads safely? • Not all executions return their flow of control • Not all executions return their flow of control at quiescent states.

  6. The Ptolemy Approach • Use formal models of computation • Having a MoC is better than unstructured interaction • Having a formal MoC is better than rules of thumb • Use hierarchies to integrate heterogeneity • Understand compositionality • Precise reactions • Behavior type system • Develop composable models • Responsible frameworks

  7. Precise Reaction • A precise reaction is a finite piece of computation depends solely on its trigger and leads to a well-defined state. • A compositional precise reaction leads a composite actor to a quiescent state. responsible trigger trigger computation quiescent state finish

  8. Timed Precise Reaction • The notion of time provides well-defined states of a model at a set of time points. • CT: real time line. • DE: event time points • DT: sampling time • SR: tick time • … • The notion of time transfers precise reactionproblem into managingthe progression of timeacross models/tools.

  9. Responsible Frameworks • A framework implements a model of computation. • A responsible framework only sends responsible triggers, thus provides compositional precise reaction. • Not all models of computation have well-defined notion of reaction. • communicating sequential processes • process network • unmanaged prioritized threads • Not all frameworks are implemented as responsible frameworks. • Tools may not support step-by-step execution • A “step” may not be a precise reaction

  10. Timed Multitasking –– A responsible real-time framework • A run-time framework that preserve specified real-time properties. • Actors are tasks with finite execution time (not WCET) • Tasks are either nonpreemptable or arbitrarily preemptable. • Actors specify deadline and priority • can cooperate with other tools for schedulability analysis • Event-based firing rules are responsible triggers. • Split-phase execution and over-run handling to guarantee timing properties. • Every actor gets it declared execution time before deadline. • If an actor misses its deadline, an overrun-handler will be invoked to bring it to a quiescent state • Ongoing work: develop TM run time on embedded systems

More Related