Model Based Systems Engineering: Fundamentals and Methods

Table of contents

1. Cover
2. Contents
3. Title Page
4. Copyright
5. List of Figures and Tables
6. Acknowledgements
7. Foreword
8. Introduction: Goals of Property-Model Methodology
9. PART 1: Fundamentals
   1. 1 General Systems Theory
      1. 1.1. Introduction
      2. 1.2. What is a system?
      3. 1.3. Systems, subsystems and levels
      4. 1.4. Concrete and abstract objects
      5. 1.5. Properties
      6. 1.6. States, event, process, behavior and fact
      7. 1.7. Systems of interest
   2. 2 Technological Systems
      1. 2.1. Introduction
      2. 2.2. Definition of technological systems
      3. 2.3. Function, behavior and structure of a technological system
      4. 2.4. Intended and concomitant effects of a technological system
      5. 2.5. Modes, mode switching and states
      6. 2.6. Errors, faults and failures
      7. 2.7. “The human factor”
   3. 3 Knowledge Systems
      1. 3.1. Introduction
      2. 3.2. Knowledge and its bearers
      3. 3.3. Intersubjective knowledge
      4. 3.4. Concepts, propositions and conceptual knowledge
      5. 3.5. Objective and true knowledge
      6. 3.6. Scientific and technological knowledge
      7. 3.7. Knowledge and belief
   4. 4 Semiotic Systems and Models
      1. 4.1. Introduction
      2. 4.2. Signs and systems of signs
      3. 4.3. Nomological propositions and law statements
      4. 4.4. Models, object models, theoretical models and simulation
      5. 4.5. Representativeness of models and the expressiveness of languages
10. PART 2: Methods
    1. 5 Engineering Processes
       1. 5.1. Introduction
       2. 5.2. Systems engineering process
    2. 6 Determining Requirements and Specification MODELS
       1. 6.1. Introduction
       2. 6.2. Specifications and requirements
       3. 6.3. Text-based requirements and subjectivity
       4. 6.4. Objectifying requirements and assumptions through property-based requirements
       5. 6.5. Conjunction and comparison of property-based requirements
       6. 6.6. Interpreting text-based requirements
       7. 6.7. Conclusion: specification models and concurrent assertions
    3. 7 Designing Solutions and Design Models
       1. 7.1. Introduction
       2. 7.2. Deriving requirements
       3. 7.3. Basic system model of a type of systems
       4. 7.4. Dynamic design models of a type of systems
       5. 7.5. Derivation and allocation of the system’s behavioral requirements
       6. 7.6. Static design models
       7. 7.7. Derivation and allocation of system requirements
       8. 7.8 The end of the design process and the realization
    4. 8 Validating Requirements and Assumptions
       1. 8.1. Introduction
       2. 8.2. The validation process according to the ARP4754A
       3. 8.3. The validation process according to the property model methodology
       4. 8.4. Conclusion
    5. 9 Verifying the Implementation Step by Step
       1. 9.1. Introduction
       2. 9.2. The verification process according to the ARP4754A
       3. 9.3. The verification process according to the property model methodology
       4. 9.4. Conclusion
    6. 10 Safety Engineering
       1. 10.1. Introduction
       2. 10.2. The safety assessment process according to the ARP4754A
       3. 10.3. The safety assessment process according to the property model methodology (PMM)
       4. 10.4. Conclusion
    7. 11 Property Model Methodology Development Process
       1. 11.1. Introduction
       2. 11.2. Early phase of a system development, preliminary studies
       3. 11.3. Steps of the industrial development of a type of systems
       4. 11.4. Initial step: highest level system specification
       5. 11.5. Design steps: descending and iterative design of the building blocks down to the lowest level blocks
       6. 11.6. Realization step of the lowest level building blocks
       7. 11.7. Integration and installation steps
       8. 11.8. Conclusion
11. Appendix
    1. A1.1. Introduction
    2. A1.2. Roles and means
    3. A1.3. Producing a specification model (SSM)
    4. A1.4. Producing design models
    5. A1.5. Producing a system model (SM)
12. Bibliography
13. Index