P Micouin
John Wiley & Sons
e druk, 2014
9781848214699
Model Based Systems Engineering – Fundamentals and Methods
Fundamentals and Methods
Specificaties
Gebonden, 306 blz.
|
Engels
John Wiley & Sons |
e druk, 2014
ISBN13: 9781848214699
Rubricering
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book is a contribution to the definition of a model based system engineering (MBSE) approach, designed to meet the objectives laid out by the INCOSE. After pointing out the complexity that jeopardizes a lot of system developments, the book examines fundamental aspects of systems under consideration. It goes on to address methodological issues and proposes a methodic approach of MBSE that provides, unlike current practices, systematic and integrated model–based engineering processes. An annex describes relevant features of the VHDL–AMS language supporting the methodological issues described in the book.
Specificaties
Inhoudsopgave
<p>LIST OF FIGURES AND TABLE xi</p>
<p>ACKNOWLEDGEMENTS xvii</p>
<p>FOREWORD xxi<br /> Dominique LUZEAUX</p>
<p>INTRODUCTION. GOALS OF PROPERTY</p>
<p>MODEL METHODOLOGY xxv</p>
<p>PART 1. FUNDAMENTALS 1</p>
<p>Chapter 1. General Systems Theory 3</p>
<p>1.1. Introduction 3</p>
<p>1.2. What is a system? 4</p>
<p>1.3. Systems, subsystems and levels 9</p>
<p>1.4. Concrete and abstract objects 11</p>
<p>1.5. Properties 12</p>
<p>1.5.1. Material and formal properties 12</p>
<p>1.5.2. Accidental and essential properties, laws and types 13</p>
<p>1.5.3. Dispositions, structural and behavioral properties 17</p>
<p>1.5.4. Resulting and emerging properties 18</p>
<p>1.6. States, event, process, behavior and fact 20</p>
<p>1.7. Systems of interest 23</p>
<p>CHAPTER 2. TECHNOLOGICAL SYSTEMS 25</p>
<p>2.1. Introduction 25</p>
<p>2.2. Definition of technological systems 25</p>
<p>2.2.1. Artificial autotelic and heterotelic systems 27</p>
<p>2.2.2. Technical–empirical and technological systems 27</p>
<p>2.2.3. Purpose of a technological system 28</p>
<p>2.3. Function, behavior and structure of a technological system 30</p>
<p>2.4. Intended and concomitant effects of a technological system 34</p>
<p>2.5. Modes, mode switching and states 36</p>
<p>2.5.1. Modes of operation 36</p>
<p>2.5.2. Mode switching 36</p>
<p>2.5.3. Operating states 37</p>
<p>2.6. Errors, faults and failures 37</p>
<p>2.7. The human factor 39</p>
<p>CHAPTER 3. KNOWLEDGE SYSTEMS 41</p>
<p>3.1. Introduction 41</p>
<p>3.2. Knowledge and its bearers 42</p>
<p>3.3. Intersubjective knowledge 44</p>
<p>3.4. Concepts, propositions and conceptual knowledge 45</p>
<p>3.5. Objective and true knowledge 47</p>
<p>3.6. Scientific and technological knowledge 50</p>
<p>3.6.1. Fundamental sciences 51</p>
<p>3.6.2. Applied sciences and technology 53</p>
<p>3.6.3. Operative technological rules 53</p>
<p>3.6.4. Substantive technological rules 55</p>
<p>3.7. Knowledge and belief 56</p>
<p>CHAPTER 4. SEMIOTIC SYSTEMS AND MODELS 59</p>
<p>4.1. Introduction 59</p>
<p>4.2. Signs and systems of signs 60</p>
<p>4.3. Nomological propositions and law statements 65</p>
<p>4.4. Models, object models, theoretical models and simulation 66</p>
<p>4.5. Representativeness of models and the expressiveness of languages 71</p>
<p>4.5.1. Representativeness of models 71</p>
<p>4.5.2. Expressiveness of a language 73</p>
<p>PART 2. METHODS 77</p>
<p>CHAPTER 5. ENGINEERING PROCESSES 79</p>
<p>5.1. Introduction 79</p>
<p>5.2. Systems engineering process 81</p>
<p>5.2.1. General framework 81</p>
<p>5.2.2. Design process 83</p>
<p>5.2.3. Safety assessment process 88</p>
<p>5.2.4. Requirement and assumption validation 90</p>
<p>5.2.5. Verification of the implementation regarding requirements 91</p>
<p>5.2.6. Managing configurations 92</p>
<p>5.2.7. Process (quality) assurance, certification and coordination with authorities 93</p>
<p>CHAPTER 6. DETERMINING REQUIREMENTS AND SPECIFICATION MODELS 95</p>
<p>6.1. Introduction 95</p>
<p>6.2. Specifications and requirements 98</p>
<p>6.3. Text–based requirements and subjectivity 100</p>
<p>6.4. Objectifying requirements and assumptions through property–based requirements 102</p>
<p>6.4.1. Definition 102</p>
<p>6.4.2. Examples 104</p>
<p>6.4.3. Typology and sources of PBR 106</p>
<p>6.5. Conjunction and comparison of property–based requirements 110</p>
<p>6.5.1. Comparison of two PBRs 111</p>
<p>6.5.2. Conjunction of two PBRs 112</p>
<p>6.6. Interpreting text–based requirements 114</p>
<p>6.6.1. Example 1: FAR29.1303(b) flight and navigation instruments 115</p>
<p>6.6.2. Example 2: FAR29.951(a) Fuel systems General 119</p>
<p>6.7. Conclusion: specification models and concurrent assertions 121</p>
<p>CHAPTER 7. DESIGNING SOLUTIONS AND DESIGN MODELS 127</p>
<p>7.1. Introduction 127</p>
<p>7.2. Deriving requirements 128</p>
<p>7.3. Basic system model of a type of systems 131</p>
<p>7.4. Dynamic design models of a type of systems 133</p>
<p>7.4.1. Behavioral design model (BDM) 133</p>
<p>7.4.2. Equation–based design models (EDMs) 139</p>
<p>7.5. Derivation and allocation of the system s behavioral requirements 141</p>
<p>7.6. Static design models 142</p>
<p>7.6.1. Composite system model 142</p>
<p>7.6.2. Structural design model 145</p>
<p>7.6.3. Allocation of BDM components to SDM components 146</p>
<p>7.7. Derivation and allocation of system requirements 146</p>
<p>7.8. The end of the design process and the realization 148</p>
<p>CHAPTER 8. VALIDATING REQUIREMENTS AND ASSUMPTIONS 151</p>
<p>8.1. Introduction 151</p>
<p>8.2. The validation process according to the ARP4754A 152</p>
<p>8.2.1. Goal of the validation 152</p>
<p>8.2.2. Means of validation 154</p>
<p>8.3. The validation process according to the property model methodology 156</p>
<p>8.3.1. Goal of the validation 157</p>
<p>8.3.2. Means of validation 158</p>
<p>8.3.3. Exactness of a system specification model 160</p>
<p>8.3.4. Validating the derivation of system requirements 161</p>
<p>8.3.5. Scenarios and validation cases, efforts and rigor in validation 162</p>
<p>8.4. Conclusion 167</p>
<p>CHAPTER 9. VERIFYING THE IMPLEMENTATION STEP BY STEP 169</p>
<p>9.1. Introduction 169</p>
<p>9.2. The verification process according to the ARP4754A 170</p>
<p>9.2.1. Goal of the verification 170</p>
<p>9.2.2. Verification methods 170</p>
<p>9.3. The verification process according to the property model methodology 173</p>
<p>9.3.1. Objects to be verified 173</p>
<p>9.3.2. Goal of the verification 174</p>
<p>9.3.3. Verifying the design 175</p>
<p>9.3.4. Verifying the other products of implementation 179</p>
<p>9.3.5. The contract theorem 181</p>
<p>9.4. Conclusion 181</p>
<p>CHAPTER 10. SAFETY ENGINEERING 183</p>
<p>10.1. Introduction 183</p>
<p>10.2. The safety assessment process according to the ARP4754A 184</p>
<p>10.2.1. Goal of safety assessment process 184</p>
<p>10.2.2. Means to assess safety 185</p>
<p>10.3. The safety assessment process according to the property model methodology (PMM) 191</p>
<p>10.3.1. Errors, faults and failures 191</p>
<p>10.3.2. FHA and interpretation of the 1309(b)(2)(i) requirements as PBRs 193</p>
<p>10.3.3. PASA/PSSA and deriving safety requirements 200</p>
<p>10.3.4. Simulation and validation of the derived safety requirements 204</p>
<p>10.3.5. Simulation and verification of the failure prevention mechanisms 206</p>
<p>10.3.6. Reliability design models 207</p>
<p>10.3.7. Safety theorem: validating additional requirements 208</p>
<p>10.4. Conclusion 211</p>
<p>CHAPTER 11. PROPERTY MODEL METHODOLOGY DEVELOPMENT PROCESS 213</p>
<p>11.1. Introduction 213</p>
<p>11.2. Early phase of a system development, preliminary studies 213</p>
<p>11.3. Steps of the industrial development of a type of systems 215</p>
<p>11.4. Initial step: highest level system specification 216</p>
<p>11.4.1. Initial step general approach 217</p>
<p>11.4.2. Establishing a specification model of the type of systems 218</p>
<p>11.5. Design steps: descending and iterative design of the building blocks down to the lowest level blocks 226</p>
<p>11.5.1. Design step of a non–terminal block 227</p>
<p>11.5.2. Behavioral design step of a terminal block 229</p>
<p>11.5.3. End of the design step 231</p>
<p>11.6. Realization step of the lowest level building blocks 231</p>
<p>11.7. Integration and installation steps 232</p>
<p>11.8. Conclusion 233</p>
<p>APPENDIX 235</p>
<p>BIBLIOGRAPHY 253</p>
<p>INDEX 261</p>
<p>ACKNOWLEDGEMENTS xvii</p>
<p>FOREWORD xxi<br /> Dominique LUZEAUX</p>
<p>INTRODUCTION. GOALS OF PROPERTY</p>
<p>MODEL METHODOLOGY xxv</p>
<p>PART 1. FUNDAMENTALS 1</p>
<p>Chapter 1. General Systems Theory 3</p>
<p>1.1. Introduction 3</p>
<p>1.2. What is a system? 4</p>
<p>1.3. Systems, subsystems and levels 9</p>
<p>1.4. Concrete and abstract objects 11</p>
<p>1.5. Properties 12</p>
<p>1.5.1. Material and formal properties 12</p>
<p>1.5.2. Accidental and essential properties, laws and types 13</p>
<p>1.5.3. Dispositions, structural and behavioral properties 17</p>
<p>1.5.4. Resulting and emerging properties 18</p>
<p>1.6. States, event, process, behavior and fact 20</p>
<p>1.7. Systems of interest 23</p>
<p>CHAPTER 2. TECHNOLOGICAL SYSTEMS 25</p>
<p>2.1. Introduction 25</p>
<p>2.2. Definition of technological systems 25</p>
<p>2.2.1. Artificial autotelic and heterotelic systems 27</p>
<p>2.2.2. Technical–empirical and technological systems 27</p>
<p>2.2.3. Purpose of a technological system 28</p>
<p>2.3. Function, behavior and structure of a technological system 30</p>
<p>2.4. Intended and concomitant effects of a technological system 34</p>
<p>2.5. Modes, mode switching and states 36</p>
<p>2.5.1. Modes of operation 36</p>
<p>2.5.2. Mode switching 36</p>
<p>2.5.3. Operating states 37</p>
<p>2.6. Errors, faults and failures 37</p>
<p>2.7. The human factor 39</p>
<p>CHAPTER 3. KNOWLEDGE SYSTEMS 41</p>
<p>3.1. Introduction 41</p>
<p>3.2. Knowledge and its bearers 42</p>
<p>3.3. Intersubjective knowledge 44</p>
<p>3.4. Concepts, propositions and conceptual knowledge 45</p>
<p>3.5. Objective and true knowledge 47</p>
<p>3.6. Scientific and technological knowledge 50</p>
<p>3.6.1. Fundamental sciences 51</p>
<p>3.6.2. Applied sciences and technology 53</p>
<p>3.6.3. Operative technological rules 53</p>
<p>3.6.4. Substantive technological rules 55</p>
<p>3.7. Knowledge and belief 56</p>
<p>CHAPTER 4. SEMIOTIC SYSTEMS AND MODELS 59</p>
<p>4.1. Introduction 59</p>
<p>4.2. Signs and systems of signs 60</p>
<p>4.3. Nomological propositions and law statements 65</p>
<p>4.4. Models, object models, theoretical models and simulation 66</p>
<p>4.5. Representativeness of models and the expressiveness of languages 71</p>
<p>4.5.1. Representativeness of models 71</p>
<p>4.5.2. Expressiveness of a language 73</p>
<p>PART 2. METHODS 77</p>
<p>CHAPTER 5. ENGINEERING PROCESSES 79</p>
<p>5.1. Introduction 79</p>
<p>5.2. Systems engineering process 81</p>
<p>5.2.1. General framework 81</p>
<p>5.2.2. Design process 83</p>
<p>5.2.3. Safety assessment process 88</p>
<p>5.2.4. Requirement and assumption validation 90</p>
<p>5.2.5. Verification of the implementation regarding requirements 91</p>
<p>5.2.6. Managing configurations 92</p>
<p>5.2.7. Process (quality) assurance, certification and coordination with authorities 93</p>
<p>CHAPTER 6. DETERMINING REQUIREMENTS AND SPECIFICATION MODELS 95</p>
<p>6.1. Introduction 95</p>
<p>6.2. Specifications and requirements 98</p>
<p>6.3. Text–based requirements and subjectivity 100</p>
<p>6.4. Objectifying requirements and assumptions through property–based requirements 102</p>
<p>6.4.1. Definition 102</p>
<p>6.4.2. Examples 104</p>
<p>6.4.3. Typology and sources of PBR 106</p>
<p>6.5. Conjunction and comparison of property–based requirements 110</p>
<p>6.5.1. Comparison of two PBRs 111</p>
<p>6.5.2. Conjunction of two PBRs 112</p>
<p>6.6. Interpreting text–based requirements 114</p>
<p>6.6.1. Example 1: FAR29.1303(b) flight and navigation instruments 115</p>
<p>6.6.2. Example 2: FAR29.951(a) Fuel systems General 119</p>
<p>6.7. Conclusion: specification models and concurrent assertions 121</p>
<p>CHAPTER 7. DESIGNING SOLUTIONS AND DESIGN MODELS 127</p>
<p>7.1. Introduction 127</p>
<p>7.2. Deriving requirements 128</p>
<p>7.3. Basic system model of a type of systems 131</p>
<p>7.4. Dynamic design models of a type of systems 133</p>
<p>7.4.1. Behavioral design model (BDM) 133</p>
<p>7.4.2. Equation–based design models (EDMs) 139</p>
<p>7.5. Derivation and allocation of the system s behavioral requirements 141</p>
<p>7.6. Static design models 142</p>
<p>7.6.1. Composite system model 142</p>
<p>7.6.2. Structural design model 145</p>
<p>7.6.3. Allocation of BDM components to SDM components 146</p>
<p>7.7. Derivation and allocation of system requirements 146</p>
<p>7.8. The end of the design process and the realization 148</p>
<p>CHAPTER 8. VALIDATING REQUIREMENTS AND ASSUMPTIONS 151</p>
<p>8.1. Introduction 151</p>
<p>8.2. The validation process according to the ARP4754A 152</p>
<p>8.2.1. Goal of the validation 152</p>
<p>8.2.2. Means of validation 154</p>
<p>8.3. The validation process according to the property model methodology 156</p>
<p>8.3.1. Goal of the validation 157</p>
<p>8.3.2. Means of validation 158</p>
<p>8.3.3. Exactness of a system specification model 160</p>
<p>8.3.4. Validating the derivation of system requirements 161</p>
<p>8.3.5. Scenarios and validation cases, efforts and rigor in validation 162</p>
<p>8.4. Conclusion 167</p>
<p>CHAPTER 9. VERIFYING THE IMPLEMENTATION STEP BY STEP 169</p>
<p>9.1. Introduction 169</p>
<p>9.2. The verification process according to the ARP4754A 170</p>
<p>9.2.1. Goal of the verification 170</p>
<p>9.2.2. Verification methods 170</p>
<p>9.3. The verification process according to the property model methodology 173</p>
<p>9.3.1. Objects to be verified 173</p>
<p>9.3.2. Goal of the verification 174</p>
<p>9.3.3. Verifying the design 175</p>
<p>9.3.4. Verifying the other products of implementation 179</p>
<p>9.3.5. The contract theorem 181</p>
<p>9.4. Conclusion 181</p>
<p>CHAPTER 10. SAFETY ENGINEERING 183</p>
<p>10.1. Introduction 183</p>
<p>10.2. The safety assessment process according to the ARP4754A 184</p>
<p>10.2.1. Goal of safety assessment process 184</p>
<p>10.2.2. Means to assess safety 185</p>
<p>10.3. The safety assessment process according to the property model methodology (PMM) 191</p>
<p>10.3.1. Errors, faults and failures 191</p>
<p>10.3.2. FHA and interpretation of the 1309(b)(2)(i) requirements as PBRs 193</p>
<p>10.3.3. PASA/PSSA and deriving safety requirements 200</p>
<p>10.3.4. Simulation and validation of the derived safety requirements 204</p>
<p>10.3.5. Simulation and verification of the failure prevention mechanisms 206</p>
<p>10.3.6. Reliability design models 207</p>
<p>10.3.7. Safety theorem: validating additional requirements 208</p>
<p>10.4. Conclusion 211</p>
<p>CHAPTER 11. PROPERTY MODEL METHODOLOGY DEVELOPMENT PROCESS 213</p>
<p>11.1. Introduction 213</p>
<p>11.2. Early phase of a system development, preliminary studies 213</p>
<p>11.3. Steps of the industrial development of a type of systems 215</p>
<p>11.4. Initial step: highest level system specification 216</p>
<p>11.4.1. Initial step general approach 217</p>
<p>11.4.2. Establishing a specification model of the type of systems 218</p>
<p>11.5. Design steps: descending and iterative design of the building blocks down to the lowest level blocks 226</p>
<p>11.5.1. Design step of a non–terminal block 227</p>
<p>11.5.2. Behavioral design step of a terminal block 229</p>
<p>11.5.3. End of the design step 231</p>
<p>11.6. Realization step of the lowest level building blocks 231</p>
<p>11.7. Integration and installation steps 232</p>
<p>11.8. Conclusion 233</p>
<p>APPENDIX 235</p>
<p>BIBLIOGRAPHY 253</p>
<p>INDEX 261</p>