BenjaminGamble-ModelingTime

BenjaminGamble-ModelingTime - Click to edit Master subtitle...

Info iconThis preview shows pages 1–11. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Click to edit Master subtitle style 8/1/11 Modeling time in computing Benjamin Gamble 8/1/11 What is Time? Can mean many different things to a computer Dynamic Equation Variable System State 22 8/1/11 Outline History l Languages & Interpretations l Dimensions of the Time Modeling Problem Discrete vs. Dense Finite or Bounded Time Models Linear vs. Branching Determinism vs. Nondeterminism 33 8/1/11 History of Time in First implemented in computer hardware l Then adapted for software and computational complexity l Parallel processing mandated a further investigation in timing issues l Modern day real time systems 44 8/1/11 Outline History l Languages & Interpretations l Dimensions of the Time Modeling Problem Discrete vs. Dense Finite or Bounded Time Models Linear vs. Branching Determinism vs. Nondeterminism 55 8/1/11 Choosing the Right 66 8/1/11 Two Main Classes of Operational Well suited to describe the evolution of a system starting at some initial state Based on the key concept of state and transition Modeled as evolving from a state to the next one when a certain event occurs 77 8/1/11 Operational Example A safe When the correct security code is entered, the safe opens If the safe remains open for 3 minutes, it automatically closes 88 8/1/11 Two Main Classes of Descriptive Better suited for describing the properties that the system must satisfy Logic based formalisms Algebra based formalisms 99 8/1/11 Descriptive Example A safe The safe is open if and only if the correct security code has been entered no more than 3 minutes ago 1010 8/1/11...
View Full Document

This note was uploaded on 07/30/2011 for the course COP 4810 taught by Professor Staff during the Spring '11 term at University of Central Florida.

Page1 / 33

BenjaminGamble-ModelingTime - Click to edit Master subtitle...

This preview shows document pages 1 - 11. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online