FTCS-9
Author:
Publisher:
Published: 1979
Total Pages: 266
ISBN-13:
DOWNLOAD EBOOKRead and Download eBook Full
Author: Igor Schagaev
Publisher: Springer Nature
Published:
Total Pages: 414
ISBN-13: 3031551397
DOWNLOAD EBOOKAuthor: Rook
Publisher: Springer Science & Business Media
Published: 1990-03-31
Total Pages: 578
ISBN-13: 9781851664009
DOWNLOAD EBOOKThe reliability of software is becoming increasingly important to a large range of industries that rely on complex computer systems and machinery with computer control. The reliability of a system depends on both the hardware and the software that comprise the system. Although faults in design can continue to give problems, the issues and the techniques for meeting severe reliability requirements in hardware have been understood for some time. In the case of software both the techniques and a positive attitude of software developers to the achievement of reliability are much less well established. They are particularly crucial in the development of software dependent safety-critical systems.
Author: Mario Dal Cin
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 436
ISBN-13: 3642769306
DOWNLOAD EBOOK5th International GI/ITG/GMA Conference, Nürnberg, September 25-27, 1991. Proceedings
Author:
Publisher:
Published: 1984
Total Pages: 166
ISBN-13:
DOWNLOAD EBOOKAuthor: C.T. Sennett
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 369
ISBN-13: 1468457756
DOWNLOAD EBOOK4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4. 8 Conclusions 5 Reliable programming in standard languages 102 Bernard Carre, Program Validation Ltd. 5. 1 Introduction 102 5. 2 Language requirements for high-integrity programming 103 5. 3 The use of standard languages 108 5. 4 Programming in Pascal and Ada 110 1'19 5. 5 Practical experiences NewSpeak: a reliable programming language 6 122 I. F. Currie, Royal Signals and Radar Establishment 6. 1 Introduction 122 6. 2 Types and values 127 6. 3 Declarations and variables 132 6. 4 Guarded declarations 134 6. 5 Cases and conditionals 136 6. 6 Loops 138 6. 7 Procedures 140 6. 8 Assertions 145 6. 9 Timing 147 6. 10 Conclusion 149 6. 11 Appendix 1: summary of syntax 150 6. 12 Appendix 2: type lattice and widening 156 7 Program analysis and systematic testing 159 M. A. Hennell, University of Liverpool, and D. Hedley and I. J. Riddell, Liverpool Data Research Associates Ltd. 7. 1 Introduction 159 7. 2 The basic requirement 160 7. 3 The Liverpool experience 161 7. 4 The Liverpool experiments 162 7. 5 The LDRA Testbeds 163 Interpretation 169 7. 6 7. 7 Applicability and benefits 171 7. 8 Safety-critical systems 173 VI 8 Program analysis and verification 176 Bernard Carre, Program Validation Ltd. 8. 1 Introduction 176 8.
Author:
Publisher:
Published: 1979
Total Pages: 122
ISBN-13:
DOWNLOAD EBOOKAuthor: Xiang Yu
Publisher: CRC Press
Published: 2021-02-12
Total Pages: 143
ISBN-13: 1000346161
DOWNLOAD EBOOKAerospace vehicles are by their very nature a crucial environment for safety-critical systems. By virtue of an effective safety control system, the aerospace vehicle can maintain high performance despite the risk of component malfunction and multiple disturbances, thereby enhancing aircraft safety and the probability of success for a mission. Autonomous Safety Control of Flight Vehicles presents a systematic methodology for improving the safety of aerospace vehicles in the face of the following occurrences: a loss of control effectiveness of actuators and control surface impairments; the disturbance of observer-based control against multiple disturbances; actuator faults and model uncertainties in hypersonic gliding vehicles; and faults arising from actuator faults and sensor faults. Several fundamental issues related to safety are explicitly analyzed according to aerospace engineering system characteristics; while focusing on these safety issues, the safety control design problems of aircraft are studied and elaborated on in detail using systematic design methods. The research results illustrate the superiority of the safety control approaches put forward. The expected reader group for this book includes undergraduate and graduate students but also industry practitioners and researchers. About the Authors: Xiang Yu is a Professor with the School of Automation Science and Electrical Engineering, Beihang University, Beijing, China. His research interests include safety control of aerospace engineering systems, guidance, navigation, and control of unmanned aerial vehicles. Lei Guo, appointed as "Chang Jiang Scholar Chair Professor", is a Professor with the School of Automation Science and Electrical Engineering, Beihang University, Beijing, China. His research interests include anti-disturbance control and filtering, stochastic control, and fault detection with their applications to aerospace systems. Youmin Zhang is a Professor in the Department of Mechanical, Industrial and Aerospace Engineering, Concordia University, Montreal, Québec, Canada. His research interests include fault diagnosis and fault-tolerant control, and cooperative guidance, navigation, and control (GNC) of unmanned aerial/space/ground/surface vehicles. Jin Jiang is a Professor in the Department of Electrical & Computer Engineering, Western University, London, Ontario, Canada. His research interests include fault-tolerant control of safety-critical systems, advanced control of power plants containing non-traditional energy resources, and instrumentation and control for nuclear power plants.
Author: Jianshuang Wu
Publisher: Frontiers Media SA
Published: 2023-06-08
Total Pages: 323
ISBN-13: 2832526144
DOWNLOAD EBOOK