Object Oriented Computer Systems Engineering

This book addresses issues concerning the engineering of system prod­ ucts that make use of computing technology. These systems may be prod­ ucts in their own right, for example a computer, or they may be the computerised control systems inside larger products, such as factory automation systems, transportation systems and vehicles, and personal appliances such as portable telephones. In using the term engineering the authors have in mind a development process that operates in an integrated sequence of steps, employing defined techniques that have some scientific basis. Furthermore we expect the operation of the stages to be subject to controls and standards that result in a product fit for its intended purpose, both in the hands of its users and as a business venture. Thus the process must take account of a wide range of requirements relating to function, cost, size, reliabili­ ty and so on. It is more difficult to define the meaning of computing technology. These days this involves much more than computers and software. For example, many tasks that might be performed by software running in a general purpose computer can also be performed directly by the basic technology used to construct a computer, namely digital hardware. However, hardware need not always be digital; we live in an analogue world, hence analogue signals appear on the boundaries of our systems and it can sometimes be advantageous to allow them to penetrate further.

Contenu

1 Introduction to Computer Systems.- 1.1 Structure of the Book.- 1.2 Definition of Computer Systems.- 1.3 Computer Systems Technology.- 1.4 Introduction to Computer Systems Engineering.- 1.5 The Characteristics of Computer Systems.- 1.6 Recorded Experiences with Computer Systems.- 2 Engineering Computer Systems.- 2.1 Terminology of the Development Process.- 2.2 Software Engineering Paradigms.- 2.3 Approaches to Computer System Development.- 2.4 System Development Tools.- 2.5 Model-based Object Oriented Systems Engneering (MOOSE).- 3 Methods of Analysis and Design.- 3.1 Structured Methods.- 3.2 Object Oriented Software Development.- 3.3 Concluding Remarks.- 4 An Object Oriented Notation for Computer System Models.- 4.1 Features of the Notation.- 4.2 Extending the Mechanisms of Object Orientation.- 4.3 Definition of the MOOSE notation.- 4.4 Summary.- 5 Developing a Computer System Architecture.- 5.1 The MOOSE Architectural Models.- 5.2 Analysing and Classifying Requirements.- 5.3 Creating a MOOSE Behavioural Model.- 5.4 Constructing the Domain Model.- 5.5 Summary.- 6 Creating an Executable Model of a Computer System.- 6.1 Creating an Executable Model.- 6.2 Creating Class Definitions for Primitive Objects.- 6.3 Comparing an Executable Model to an Implementation.- 6.4 The Dynamics of an Executable Model.- 6.5 Simulating the Execution of a MOOSE Model.- 6.6 Using an Executable Model.- 6.7 Summary.- 7 Designing to Meet Constraints.- 7.1 Constraints on the Design Process.- 7.2 Evaluating Non-functional Requirements.- 7.3 Frameworks for Evaluating Non-functional Requirements.- 7.4 Non-functional Requirements and the MOOSE Paradigm.- 8 Partitioning and Detailing a Computer System Design.- 8.1 The Method of Transformational Codesign.- 8.2 Transformation of the Executable Model.- 8.3 The Platform Model.- 8.4 Transforming the Platform Model.- 8.5 Synthesising an Implementation.- 9 Pragmatics of Using MOOSE.- 9.1 The Use of Standard System Software.- 9.2 The Physical Construction and Packaging of Hardware.- 9.3 Implementation of Hardware.- 9.4 Evaluating Performance by Simulation.- 10 Concluding Remarks.- Appendix 1 MOOSE Workbench User Guide.- A1.1 Installation and Operation.- A1.2 Operations for Manipulating Projects.- A1.3 Entering the Capture Facilities.- A1.4 The MOOSE Diagram Editor.- Al.5 Textual Specifications in an Executable Model.- Appendix 2 Ward-Mellor Model of the Mine Pump Control System.- A2.1 The Transformation Schema.- A2.2 Data Dictionary.- A2.3 PSPECs.- Appendix 3 Moose Models for Mine Pump Control System.- A3.1 The Behavioural Model.- A3.2 Extensions to Make the Model Executable.- A3.3 The Committed Model.- Appendix 4 VCR Control System.- A4.1 The Behavioural Model.- A4.2 Extensions to Make the Model Executable.- A4.3 The Committed Model.- Appendix 5 Dynamic Object Creation.- A5.1 The Behavioural Model.- A5.2 Extensions to Make the Model Executable.- References.