Affordable Access

Publisher Website

The specification and design of hard real-time systems using timed and temporal petri nets

Authors
Journal
Microprocessing and Microprogramming
0165-6074
Publisher
Elsevier
Publication Date
Volume
30
Identifiers
DOI: 10.1016/0165-6074(90)90272-b
Disciplines
  • Design

Abstract

Abstract This paper considers the specification and design of software for embedded real-time systems which have safety functions or implications for safety. It addresses the problem of specifying a system in a tangible application-oriented manner while retaining sufficient formalism and rigour for exploring and verifying the performance and safety properties of the system. It presents an overview of relevant formal specification techniques and examines the use of temporal and timed Petri nets in specification, verification and performance evaluation. These techniques are applied to the design of the real-time control software for two independently-driven interacting mechanisms for a high-speed packaging machine.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

A comparison of temporal Petri net techniques in t...

on Microprocessing and Microprogr... Jan 01, 1991

Real-time specification using Petri nets

on Microprocessing and Microprogr... Jan 01, 1993

Using timed petri nets for the scheduling of job-s...

on Engineering Costs and Producti... Jan 01, 1989

Fuzzy timed Petri nets

on Fuzzy Sets and Systems Jan 01, 2003
More articles like this..