Tools for real time system design

Authors:
R. A. Orr;M. T. Norris;R. Tinker;C. D. V. Rouch
Affiliations:
British Telecom Research Laboratories, Ipswich, UK;British Telecom Research Laboratories, Ipswich, UK;British Telecom Research Laboratories, Ipswich, UK;British Telecom Research Laboratories, Ipswich, UK
Venue:
ICSE '88 Proceedings of the 10th international conference on Software engineering
Year:
1988

Citing 3
Cited 0

Introduction to real-time software design

Introduction to real-time software design
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes the development of a toolset that supports the specification and design of large real time systems. The starting point is the evolution of a method suitable for use in practical environments; for example in the specification of telecommunication systems. The characteristics that are required of a good specification method for real time systems are discussed and a method based upon the CCITT SDL notation is described which aims to satisfy these characteristics. The component parts in the toolset to support this method are described.