Formal Techniques in Real-Time and Fault-Tolerant Systems

5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

By: Anders P. Ravn (Editor), Hans Rischel (Editor)

Write A Review

Paperback | 2 September 1998

At a Glance

Paperback
356 Pages

Dimensions(cm)
22.86 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.
The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. Also included are four invited contributions and five tool demonstrations. The papers address the current aspects of the hot topic of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Databases Data Capture & Analysis Medicine Medicine in General Computer Programming & Software Development Programming & Scripting Languages Compilers & Interpreters Computer Architecture & Logic Design

Operating Systems Artificial Intelligence Expert Systems & Knowledge-Based Systems

Invited Lectures
Challenges in the Utilization of Formal Methods	p. 1
On the Need for "Practical" Formal Methods	p. 18
A General Framework for the Composition of Timed Systems	p. 27
Selected Presentations
Temporal Logic
Operational and Logical Semantics for Polling Real-Time Systems	p. 29
A Finite-Domain Semantics for Testing Temporal Logic Specifications	p. 41
Duration Calculus of Weakly Monotonic Time	p. 55
Requirements Engineering
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern	p. 65
A Modular Visual Model for Hybrid Systems	p. 75
Integrating Real-Time Structured Design and Formal Techniques	p. 92
Duration Calculus in the Specification of Safety Requirements	p. 103
Analysis Techniques
Automated Stream-Based Analysis of Fault-Tolerance	p. 113
Designing a Provably Correct Robot Control System Using a 'Lean' Formal Method	p. 123
Static Analysis to Identify Invariants in RSML Specifications	p. 133
Partition Refinement in Real-Time Model Checking	p. 143
Verification
Formal Verification of Stabilizing Systems	p. 158
VIIISynchronizing Clocked Transition Systems	p. 173
Some Decidability Results for Duration Calculus under Synchronous Interpretation	p. 186
Fair Synchronous Transition Systems and Their Liveness Proofs	p. 198
Model Checking
Dynamical Properties of Timed Automata	p. 210
An Algorithm for the Approximative Analysis of Rectangular Automata	p. 228
On Checking Parallel Real-Time Systems for Linear Duration Properties	p. 241
A Practical and Complete Algorithm for Testing Real-Time Systems	p. 251
Applications
Mechanical Verification of Clock Synchronization Algorithms	p. 262
Compiling Graphical Real-Time Specifications into Silicon	p. 272
Towards a Formal Semantics of Verilog Using Duration Calculus	p. 282
Tools Demonstrations
The ICOS Synthesis Environment	p. 294
Kronos: A Model-Checking Tool for Real-Time Systems	p. 298
SGLOT: A Visual Tool for Structural LOTOS Specifications	p. 303
Discrete-Time Promela and Spin	p. 307
Moby/plc - Graphical Development of PLC-Automata	p. 311
Invited Paper
Predictability in Critical Systems	p. 315
Author Index	p. 339
Table of Contents provided by Publisher. All Rights Reserved.

Formal Techniques in Real-Time and Fault-Tolerant Systems

5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Introduction to Programming Languages

Typesetting Mathematics With Latex

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

C# 12 in a Nutshell

The Definitive Reference

Learning Go

An Idiomatic Approach to Real-World Go Programming

Artificial Intelligence Programming with Python

From Zero to Hero

Python Automation For Dummies

For Dummies (Computer/Tech)

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Digital Technologies for the Australian Curriculum 9 &10 Workbook

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Introduction to Machine Learning with Python

A Guide for Data Scientists

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Think Python

How To Think Like a Computer Scientist

Web Scraping with Python

3rd Edition - Data Extraction from the Modern Web

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

This product is categorised by