Definitions

1. Hard real-time systems are typically found interacting at a low level with physical hardware, in embedded systems.
2. Hard real-time systems are used when it is imperative that an event is reacted to within a strict deadline.

Real-Time Operating Systems

1. Most of the real-time operating systems available today are designed for possible inclusion in real-time systems.

Real-Time Innovations

1. Real-Time Innovations (RTI) supplies middleware and distributed data management solutions for real-time systems.

Real-Time Properties

1. Since many safety critical applications are real-time systems, automated analysis technique of real-time properties is desirable.

Programming Reactive Systems

1. It is particularly well-suited to programming reactive systems, including real-time systems and control automata.

Verification Architectures

1. Verification Architectures: Compositional reasoning for real-time systems.

Concurrent Functional Programming Language

1. Concurrent functional programming language for real-time systems.
2. Concurrent functional programming language for large real-time systems.
3. Erlang is a dynamically typed concurrent functional programming language for large industrial real-time systems.

Implementation

1. Implementation of the Java VM as soft processor core in an FPGA for embedded real-time systems.

Number

1. There are a number of journal articles and textbooks that offer information and guidance about real-time systems.

Crucial

1. The immediate detection of landslide activity provided by real-time systems can be crucial in saving human lives and protecting property.

Application

1. More recently, there has been a lot of activity to extend their application to real-time systems.

Requirements

1. This regularity exists despite the fact that real-time systems vary in their requirements and real-time scheduling doesn't have to be so uniform.

Latency

1. Explain the presence of and describe the characteristics of latency in real-time systems.

Specifications

1. The complexity of real-time systems is such that specifications are prone to contain subtle errors, which are hard to find.

Platform

1. This extension is necessary because the guarantees and APIs provided by the standard Java platform do not meet the needs of real-time systems.

Computing

1. He joined CERN in 1984 to work as a systems engineer in databases, real-time systems and more generally distributed computing.

Course

1. Of course, many classical real-time systems such as manufacturing and process control will continue to proliferate.

Fundamental Concepts

1. This course aims to provide understanding of both fundamental concepts and advanced topics in real-time systems and networks.

Formal

1. So we have to use formal methods which support models of real-time systems.

Developed

1. However, there is little work addressing the problem of accurately predicting timing properties of real-time systems before implementations are developed.

Mathematical Models

1. This talk will emphasize mathematical models of real-time systems adopted by DC and their formalizations in interval logic.

Research Interests

1. His research interests include parallel and distributed computing, real-time systems, and optical and wireless networks.

Model-Checking

1. Model-checking for real-time systems.
2. Model-checking for probabilistic real-time systems.

Timed Automata

1. Consequently, timed automata [7] were introduced as a formal notation to model the behavior of real-time systems.

Duration Calculus

1. Duration Calculus (DC), an interval logic for real-time systems, originally developed by Prof.
2. Duration Calculus (DC), an interval logic for real-time systems.

Tools

1. Programming languages, compilers, and tools which support specification and implementation of real-time systems shall be studied.

Refinement

1. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications.

Properties

1. Duration Calculus (or DC in short) presents a formal notation to specify properties of real-time systems and a calculus to formally prove such properties.
2. Addresses the problem of formally analyzing the properties of real-time systems.

Basic Properties

1. The structure, programming, and basic properties of real-time systems are described with an overview of the system software.

Real-Time

1. Several other high level languages for real-time systems, such as Ada 2005 and Real-Time Java Specification also exist.

Formal Specification Language

1. ASTRAL is a formal specification language for real-time systems.

Temporal Logic

1. We introduce a temporal logic for the specification of real-time systems.
2. TRIO language and tools for real-time systems, based on temporal logic.
3. This work describes a real application of TRIO, a logic language based on temporal logic to be able to reason on real-time systems.

Development

1. Duration Calculus (DC), a dense time interval logic, is another well studied approach for real-time systems development.
2. Scholefield, D., and Zedan, H. TAM: A formal framework for the development of distributed real-time systems.

Software Engineering

1. Message Sequence Charts (MSCs) are gaining popularity in software engineering methods for concurrent and real-time systems.

Formal Method

1. A formal method for specification and refinement of real-time systems.
2. An object based formal method for the development of real-time systems, called ATOM, is presented.
3. This framework forms the basis of a formal method for the design of distributed real-time systems.

Verification

1. Introduction TRIO (Tempo Reale ImplicitO) is a formal language and a method for the specification, analysis and verification of critical, real-time systems.
2. Consequently, these two formalisms are well-suited for the specification and verification of real-time systems.

Formal Verification

1. The formal verification and specification are important for real-time systems.
2. In particular, I study the problem of timelocks in formal verification of real-time systems.

Concurrent Systems

1. Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc.
2. His areas of research interests are in UML based specification and analysis of concurrent systems, and real-time systems.

Formal Specification

1. In this paper we present a technique for deriving real-time programs from a formal specification of the requirements of real-time systems.
2. ABSTRACT Based on a compositional framework for the formal specification of distributed real-time systems, we present a method for protocol verification.

Real-Time Systems

1. Analysis is performed using PARAGON, a toolset for formal specification and verification of distributed real-time systems.
2. Through selective case studies it explains how duration calculus can be applied to the formal specification and verification of real-time systems.
3. Distributed systems, operating systems, software engineering, real-time systems, computer graphics, neural networks.

Categories

1. Computers > Software > Software Engineering > Formal Specification
2. Concurrent Systems
3. Information > Science > Mathematics > Formal Verification
4. Formal Method
5. Paragon
6. Books about "Real-Time Systems" in Amazon.com
   

Continue: More Keywords - - - - - - - - - -