Specification of real-time imaging systems using the UML

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design models of the system, an aspect that has received far less consideration, particularly outside of academia. It is well understood that the earlier an error is discovered the cheaper the fix and this is taken to the extent that, if an error can be found during design or even analysis, the repair can be several orders of magnitude cheaper. It is therefore an economic imperative that the analysis and design models are sufficiently expressive such that the flaws in the model can be discovered before they are implemented, and this applies equally to real-time constraints. The contribution of this paper is to make the case for the use of the Unified Modeling Language, extended with a rigorous formal method, the Q-model, for the specification and design of real-time imaging systems. To illustrate its utility the proposed approach is examined in comparison with a more traditional approach. Structured Analysis and Design, by way of a case study.

Original languageEnglish (US)
Pages (from-to)125-137
Number of pages13
JournalReal-Time Imaging
Volume9
Issue number2
DOIs
StatePublished - Apr 2003

Fingerprint

Imaging systems
Specifications
Unified Modeling Language
Formal methods
Repair
Defects
Economics
Processing

All Science Journal Classification (ASJC) codes

  • Signal Processing
  • Computer Vision and Pattern Recognition
  • Electrical and Electronic Engineering

Cite this

@article{05148b569e41409c9e8fcd44f8306997,
title = "Specification of real-time imaging systems using the UML",
abstract = "Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design models of the system, an aspect that has received far less consideration, particularly outside of academia. It is well understood that the earlier an error is discovered the cheaper the fix and this is taken to the extent that, if an error can be found during design or even analysis, the repair can be several orders of magnitude cheaper. It is therefore an economic imperative that the analysis and design models are sufficiently expressive such that the flaws in the model can be discovered before they are implemented, and this applies equally to real-time constraints. The contribution of this paper is to make the case for the use of the Unified Modeling Language, extended with a rigorous formal method, the Q-model, for the specification and design of real-time imaging systems. To illustrate its utility the proposed approach is examined in comparison with a more traditional approach. Structured Analysis and Design, by way of a case study.",
author = "Neill, {Colin J.} and Laplante, {Phillip A.}",
year = "2003",
month = "4",
doi = "10.1016/S1077-2014(03)00019-6",
language = "English (US)",
volume = "9",
pages = "125--137",
journal = "Real-Time Imaging",
issn = "1007-2014",
publisher = "Academic Press Inc.",
number = "2",

}

Specification of real-time imaging systems using the UML. / Neill, Colin J.; Laplante, Phillip A.

In: Real-Time Imaging, Vol. 9, No. 2, 04.2003, p. 125-137.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Specification of real-time imaging systems using the UML

AU - Neill, Colin J.

AU - Laplante, Phillip A.

PY - 2003/4

Y1 - 2003/4

N2 - Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design models of the system, an aspect that has received far less consideration, particularly outside of academia. It is well understood that the earlier an error is discovered the cheaper the fix and this is taken to the extent that, if an error can be found during design or even analysis, the repair can be several orders of magnitude cheaper. It is therefore an economic imperative that the analysis and design models are sufficiently expressive such that the flaws in the model can be discovered before they are implemented, and this applies equally to real-time constraints. The contribution of this paper is to make the case for the use of the Unified Modeling Language, extended with a rigorous formal method, the Q-model, for the specification and design of real-time imaging systems. To illustrate its utility the proposed approach is examined in comparison with a more traditional approach. Structured Analysis and Design, by way of a case study.

AB - Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design models of the system, an aspect that has received far less consideration, particularly outside of academia. It is well understood that the earlier an error is discovered the cheaper the fix and this is taken to the extent that, if an error can be found during design or even analysis, the repair can be several orders of magnitude cheaper. It is therefore an economic imperative that the analysis and design models are sufficiently expressive such that the flaws in the model can be discovered before they are implemented, and this applies equally to real-time constraints. The contribution of this paper is to make the case for the use of the Unified Modeling Language, extended with a rigorous formal method, the Q-model, for the specification and design of real-time imaging systems. To illustrate its utility the proposed approach is examined in comparison with a more traditional approach. Structured Analysis and Design, by way of a case study.

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

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

U2 - 10.1016/S1077-2014(03)00019-6

DO - 10.1016/S1077-2014(03)00019-6

M3 - Article

AN - SCOPUS:0038010918

VL - 9

SP - 125

EP - 137

JO - Real-Time Imaging

JF - Real-Time Imaging

SN - 1007-2014

IS - 2

ER -