Chapter 2: liveness and scheduling

Draft is available


One thought on “Chapter 2: liveness and scheduling”

  1. Hi Victor-

    I’d be interested to hear your thoughts on the failure of FM.

    Also perhaps you could augment this article with a bit of discussion on liveness vs. safety properties? My understanding was that for purposes of most embedded / RT systems there’s no need to reason about liveness since properties of the form “gets work done before time T” are safety properties, as opposed to the less useful liveness property “always gets work done eventually”. I didn’t see anything in your article that is technically a liveness property, but could be wrong of course…


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s