دانلود کتاب On the Construction of Engineering Handbooks

فهرست مطالب :

Foreword Preface Acknowledgements Contents Part I Background Chapter 1: Introduction and Motivation 1.1 What constitutes a HB? 1.2 Settled Knowledge 1.3 Formal Methods in Design and Validation of Railway Control Systems 1.4 Structure of the Remainder of this Book Chapter 2: Related Work 2.1 Organisation of Engineering Knowledge 2.2 Other Approaches to HB Construction 2.3 Other Classifications of Formal Methods 2.4 Comparison with our Approach Part II Analysis Chapter 3: A General Method for Composing an Engineering HB 3.1 Step 1: Choice of Sources for Settled Knowledge 3.2 Step 2: Data Collection and Choice of Domain 3.3 Step 3: Application of FCA to the Data Collected 3.4 Step 4: Choice of a Stability Threshold 3.5 Step 5: Classification of Settled Knowledge 3.6 Step 6: Presentation of Settled Knowledge Chapter 4: Application of the General Method to the Railway Domain 4.1 Step 1: Choice of Sources for the Railway Domain 4.2 Step 2: Data Collection and Choice of Domain Specific Attributes for FCA 4.3 Step 3: Application of FCA to the Data Collected 4.4 Step 4: Choice of a Stability Threshold 4.5 Step 5: Interpretation and Discussion of the Detected Settled Knowledge 4.5.1 Observations (and Peculiarities) 4.5.2 Settledness 4.5.3 Limitations of our Findings 4.5.4 Guidance for a Handbook on FMs for the Railway Domain 4.6 Possible Threats to Validity: Critical Evaluation of Steps 1–5 in the Context of our Railway Example 4.6.1 Notion of ‘Settledness’ 4.6.2 Choice of Database 4.6.3 Choice of Formal Concept Analysis 4.6.4 Choice of Attributes for FCA 4.6.5 Choice of Stability Threshold 4.6.6 Classification of Settled Knowledge Part III Synthesis Chapter 5: Example HB Entry of a Formal Method for the Railway Domain — Step 6 5.1 Problem Class: Verification through Model Checking of Ladder Logic Programs for Safety 5.2 Solution 5.3 Academic Explanation 5.3.1 A Short Bibliography 5.3.2 Solid State Interlockings 5.3.3 Explanation for (Step 1): Tseitin Transformation 5.3.4 Explanation for (Step 2): Discrete Time, Temporal First Order Logics 5.3.5 Explanation of Step (3): Verification Problem associated with Ladder Logic 5.4 Experience Reports Concerning Step 6 Chapter 6: Conclusions and Prospects for Future Work References