Structured Development for Real-Time Systems, Vol. II: Essential Modeling Techniques: Essential Modelling Techniques Vol 2

✍ Scribed by P. Ward

• Publisher: Pearson Technology Group
• Year: 2008
• Tongue: English
• Leaves: 176
• Category: Library

✦ Synopsis

Without a framework for organizing and codifying these ideas, systems modeling can become disjointed, frustrating, and ultimately ineffective. This book is extensively illustrated with detailed examples illuminating the main points discussed. Its four appendices provide fully worked examples of pertinent applications.

✦ Table of Contents

Contents
Preface
Introduction to Essential Modeling Heuristics Section
Note on Preliminary Edition
1. ESSENTIAL MODELING HEURISTICS
1.1 Introduction
1.2 Problems with functional decomposition
1.3 Environment-based modeling
1.4 Components of the total system
1.5 Subject-matter-centered modeling
1.6 Minimum-complexity representation
1.7 Summary
2. DEFINING SYSTEM CONTEXT
2.1 Introduction
2.2 Notation for context definition
2.3 Context definition in a systems engineering environment
2.4 Identification of terminators and flows
2.5 Exclusion of interface technology
2.6 Expanded contexts – material and energy transformations
2.7 Defining context specifics
2.8 Packaging context flows
2.9 Leveled and multiple-context schemas
2.10 Summary
3. MODELING EXTERNAL EVENTS
3.1 Introduction
3.2 Definition of an external event
3.3 Events versus event recognition
3.4 Identification of individual events
3.5 The active event modeling approach
3.6 The passive event modeling approach
3.7 The brainstorming approach to event modeling
3.8 Summary
4. DERIVING THE BEHAVIORAL MODEL
4.1 Introduction
4.2 An informal high-level requirements model
4.3 Systems dominated by a specific perspective
4.4 Representing behavior on the transformation schema
4.5 Regions of the transformation schema
4.6 Classifying events
4.7 The preliminary transformation model
4.8 Constructing state-transition diagrams from an event list
4.9 Constructing data and control transformations from an event list
4.10 Constructing a data schema from an event list
4.11 Summary
5. COMPLETING THE ESSENTIAL MODEL – THE UPPER LEVELS
5.1 Introduction
5.2 Partitioning to minimize interfaces
5.3 Identifying hierarchies of control
5.4 Using response-related groupings
5.5 Using terminator-related groupings
5.6. Nameability of groupings
5.7 Summary
6. COMPLETING THE ESSENTIAL MODEL – THE LOWER LEVELS
6.1 Introduction
6.2 New development versus redevelopment
6.3 Extracting essential details from an existing implementation
6.4 Summary
7. ESSENTIAL MODEL TRACEABILITY
7.1 Introduction
7.2 Traceability between narrative requirements and the environmental model
7.3 Traceability in the behavioral model
7.4 Use of tracing tables in the absence of a narrative
7.5 Documenattion of omissions from the model
7.6 Summary
APPENDIX A – CRUISE CONTROL SYSTEM
Problem Statement
Context Schema
Event List
Preliminary Transformation Schema
Leveled Set of Schemas
Data Dictionary
Transformation Specifications
APPENDIX B – BOTTLE-FILLING SYSTEM
Problem Statement
Context Schema
Event List
Leveled Set of Schemas
Data Dictionary
Transformation Specifications
APPENDIX C – SILLY (Science and Industry Little Logic Yzer)
Problem Statement
Context Schema
Event List
Leveled Set of Schemas
Data Dictionary
Transformation Specifications
APPENDIX D – DEFECT INSPECTION SYSTEM
Problem Statement
Context Schema
Event List
Entity Relationship Diagram
Leveled Set of Diagrams
Data Dictionary
Transformation Specifications
INDEX
A
B
C
D
E
F
H
I
J
K
L
M
N
O
P
R
S
T
U
V