Výsledky vyhľadávania - "Real Time Programming: Languages, Specification And Verification"

Real time programming: languages, specification and verification Autor Shyamasundar, R. K, Ramesh, S

“…The primary aim of this monograph is to present the current research efforts that have gone into/or going on in the systematic design of real-time programs…”
Získať plný text

Summary Autor R K Shyamasundar, S Ramesh

Získať plný text

Intro Autor R K Shyamasundar, S Ramesh

Získať plný text

PART V: Integration of Synchrony and Asynchrony Autor 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…”
Získať plný text

PART IV: Verification of Synchronous Programs Autor 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…”
Získať plný text

PART I: Real Time Systems — Background Autor 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…”
Získať plný text

PART III: Other Synchronous Languages Autor 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…”
Získať plný text

PART II: Synchronous Languages Autor 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…”
Získať plný 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…”
Získať plný text

Synchronous Language ARGOS

“…The following sections are included: ARGOS Constructs Illustrative Example Discussions…”
Získať plný 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…”
Získať plný text

Verification of ESTEREL Programs

“…The following sections are included: Transition System Based Verification of ESTEREL Programs Detailed Discussion ESTEREL Transition System Abstraction and…”
Získať plný text

Semantics of ESTEREL

“…The following sections are included: Semantic Structure Transition Rules Rules for Signal Statement Illustrative Examples Discussions Semantics of Esterel with…”
Získať plný 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…”
Získať plný 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…”
Získať plný 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…”
Získať plný text

Futurebus Arbitration Protocol: A Case Study

“…The following sections are included: Arbitration Process Abstraction of the Protocol Solution in ESTEREL…”
Získať plný text

Real Time System Characteristics

“…The following sections are included: Real-time and Reactive Programs…”
Získať plný 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…”
Získať plný text

ESTEREL Language: Structure

“…The following sections are included: Top Level Structure Signals and Events Module Instantiation ESTEREL Statements Data Handling Statements Reactive…”
Získať plný text