Strategies for real-time system specification
Strategies for real-time system specification
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Object oriented design with applications
Object oriented design with applications
Object-oriented software engineering
Object-oriented software engineering
Real-time object-oriented modeling
Real-time object-oriented modeling
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Applying UML and patterns: an introduction to object-oriented analysis and design
Applying UML and patterns: an introduction to object-oriented analysis and design
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Modern Structured Analysis
Timing Analysis of Real-Time Software: A Practical Approach to the Specification and Design of Real-Time
Real-Time Imaging: Theory, Techniques, and Application
Real-Time Imaging: Theory, Techniques, and Application
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Using UML for Modeling Complex Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
Hi-index | 0.00 |
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.