The design of real-time applications

M. G. Hinchey

doi:10.1109/RTA.1993.263091

The design of real-time applications

M. G. Hinchey

University of Cambridge

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described.

Original language	English
Title of host publication	Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	178-182
Number of pages	5
ISBN (Electronic)	0818641304, 9780818641305
DOIs	https://doi.org/10.1109/RTA.1993.263091
Publication status	Published - 1993
Externally published	Yes
Event	1993 IEEE Workshop on Real-Time Applications, RTA 1993 - New York, United States Duration: 13 May 1993 → 14 May 1993

Publication series

Name	Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993

Conference

Conference	1993 IEEE Workshop on Real-Time Applications, RTA 1993
Country/Territory	United States
City	New York
Period	13/05/93 → 14/05/93

Access to Document

10.1109/RTA.1993.263091

Cite this

@inproceedings{e9e645d032054190917a301e7d8bad8d,

title = "The design of real-time applications",

abstract = "Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described.",

author = "Hinchey, {M. G.}",

note = "Publisher Copyright: {\textcopyright} 1993 IEEE.; 1993 IEEE Workshop on Real-Time Applications, RTA 1993 ; Conference date: 13-05-1993 Through 14-05-1993",

year = "1993",

doi = "10.1109/RTA.1993.263091",

language = "English",

series = "Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "178--182",

booktitle = "Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993",

}

Hinchey, MG 1993, The design of real-time applications. in Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993., 263091, Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993, Institute of Electrical and Electronics Engineers Inc., pp. 178-182, 1993 IEEE Workshop on Real-Time Applications, RTA 1993, New York, United States, 13/05/93. https://doi.org/10.1109/RTA.1993.263091

The design of real-time applications. / Hinchey, M. G.
Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993. Institute of Electrical and Electronics Engineers Inc., 1993. p. 178-182 263091 (Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The design of real-time applications

AU - Hinchey, M. G.

PY - 1993

Y1 - 1993

N2 - Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described.

AB - Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described.

UR - http://www.scopus.com/inward/record.url?scp=84914792362&partnerID=8YFLogxK

U2 - 10.1109/RTA.1993.263091

DO - 10.1109/RTA.1993.263091

M3 - Conference contribution

AN - SCOPUS:84914792362

T3 - Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993

SP - 178

EP - 182

BT - Proceedings - IEEE Workshop on Real-Time Applications, RTA 1993

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 1993 IEEE Workshop on Real-Time Applications, RTA 1993

Y2 - 13 May 1993 through 14 May 1993

ER -

The design of real-time applications

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this