Search Results - "Real Time Programming: Languages, Specification And Verification"

PART V: Integration of Synchrony and Asynchrony by R K Shyamasundar, S Ramesh

“…Programming languages that have been used for real-time programming can be broadly categorized into: 1. Asynchronous Languages: Here, a program is treated as a…”
Get full text

PART IV: Verification of Synchronous Programs by R K Shyamasundar, S Ramesh

“…In this part, we will describe important approaches that are used for the verification of programs in synchronous languages like ESTEREL, and Lustre. First we…”
Get full text

PART I: Real Time Systems — Background by R K Shyamasundar, S Ramesh

“…In the next four sections, we shall provide (i) an overview of the general characteristics of real-time systems and reactive systems, (ii) a general discussion…”
Get full text

PART III: Other Synchronous Languages by R K Shyamasundar, S Ramesh

“…In the the next two chapters, we shall provide an overview of Lustre- a dataflow synchronous programming language (based the dataflow language Lucid) and Argos…”
Get full text

PART II: Synchronous Languages by R K Shyamasundar, S Ramesh

“…Several synchronous languages have been proposed in the literature. The principal languages of the family of synchronous languages that have been founded on…”
Get full text

Summary by R K Shyamasundar, S Ramesh

Get full text

Intro by R K Shyamasundar, S Ramesh

Get full text

ESTEREL Language: Structure

“…The following sections are included: Top Level Structure Signals and Events Module Instantiation ESTEREL Statements Data Handling Statements Reactive…”
Get full text

Asynchronous Interaction in ESTEREL

“…In ESTEREL, computations that take time are modeled as tasks; that is, there is non zero time between initiation and completion of a task. In the terminology…”
Get full text

Synchronous Language ARGOS

“…The following sections are included: ARGOS Constructs Illustrative Example Discussions…”
Get full text

Programming Characteristics of Reactive Systems

“…The following sections are included: Execution of Reactive Programs Perfect Synchrony Hypothesis Multiform Notion of Time Logical Concurrency and Broadcast…”
Get full text

Verification of ESTEREL Programs

“…The following sections are included: Transition System Based Verification of ESTEREL Programs Detailed Discussion ESTEREL Transition System Abstraction and…”
Get full text

Semantics of ESTEREL

“…The following sections are included: Semantic Structure Transition Rules Rules for Signal Statement Illustrative Examples Discussions Semantics of Esterel with…”
Get full text

Synchronous Language LUSTRE

“…The following sections are included: An Overview of LUSTRE Flows and Streams Equations, Variables and Expressions Program Structure Illustrative Example Arrays…”
Get full text

Communicating Reactive Processes

“…The following sections are included: An Overview of CRP Communicating Reactive Processes: Structure Syntax of CRP Realizing Watchdog Timers in CRP Behavioural…”
Get full text

Characteristics of Real-Time Languages

“…The following sections are included: Modelling Features of Real-Time Languages A Look at Classes of Real-Time Languages…”
Get full text

Futurebus Arbitration Protocol: A Case Study

“…The following sections are included: Arbitration Process Abstraction of the Protocol Solution in ESTEREL…”
Get full text

Real Time System Characteristics

“…The following sections are included: Real-time and Reactive Programs…”
Get full text

Semantics of Communicating Reactive Processes

“…The following sections are included: A Brief Overview of CSP Translation of CSP to CRP Cooperation of CRP Nodes Ready-Trace Semantics of CRP Ready-Trace…”
Get full text

Communicating Reactive State Machines

“…The following sections are included: CRSM Constructs Semantics of CRSM…”
Get full text