Real-time systems : modeling, design, and applications / editors, Dan Inoescu, Aurel Cornell.

Format:

Book

Contributor:

Ionescu, Dan.

Cornell, Aurel.

Series:

AMAST series in computing ; v. 8.

AMAST series in computing ; 8

Language:

English

Subjects (All):

Real-time data processing.

Electronic data processing.

Physical Description:

1 online resource (503 p.)

Place of Publication:

Singapore ; Hackensack, NJ : World Scientific, c2007.

Language Note:

English

Summary:

This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general sys

Contents:

Preface; Contents; PART 1 Theoretical Aspects of Real-Time Systems; Chapter 1 A Discrete Model for Real-Time Environments; Chapter 2 Distributed Synchronous Processes; Chapter 3 A Model of Probabilistic Processes; Chapter 4 Modeling and Proving Grafcets with Transition Systems; Chapter 5 Focus Points and Convergent Process Operators; PART 2 Verification Methods for Real-Time Systems; Chapter 6 The Automatic Verification Using Symbolic Model-Checking; Chapter 7 Property Verification within a Process Algebra Framework; PART 3 Synthesis Methods for Real-Time Systems

Chapter 8 Verifying Real-Time Systems with Standard ToolsChapter 9 Beyond the Verification Approach: The Synthesis Approach; PART 4 Extensions to Formal Languages; Chapter 10 Testing Semantics for Urgent Timed Process Algebras; Chapter 11 Compositional Model for Formal Development of Real-Time Systems Design; PART 5 Tools for Real-Time Systems; Chapter 12 RALE: An Environment for Simulation and Transformations; Chapter 13 Analysis of Real-Time Systems Using OSA; Chapter 14 Algebraic Implementation of Model Checking Algorithms; PART 6 Industrial Applications of Real-Time Systems

Chapter 15 An Automaton Based Algebra for Specifying Robotic AgentsChapter 16 A Three-Level Analysis of a Simple Acceleration Maneuver, with Uncertainties; Chapter 17 Interface Specifications with Conjunctive Timing Constraints; Chapter 18 Experiments on a Fault Tolerant Distributed System; Chapter 19 Specifying Multi-Level Security for an Embedded Real-Time Control System; Chapter 20 An Algebraic Framework for the Feature Interaction Problem; Appendix A Algebraic Specification; Bibliography; Index

Notes:

Description based upon print version of record.

Includes bibliographical references (p. 459-477) and index.

ISBN:

9786611120764

9781281120762

1281120766

9789812708472

9812708472

OCLC:

476099563