Reliability for aerospace systems: Methods and applications

Reliability Evaluation of Manufacturing Systems: Methods and Applications

Reliability Methods for Passive Systems

islanding detection methods for microgrids

امروزه استفاده از منابع انرژی پراکنده کاربرد وسیعی یافته است . اگر چه این منابع بسیاری از مشکلات شبکه را حل می کنند اما زیاد شدن آنها مسائل فراوانی برای سیستم قدرت به همراه دارد . استفاده از میکروشبکه راه حلی است که علاوه بر استفاده از مزایای منابع انرژی پراکنده برخی از مشکلات ایجاد شده توسط آنها را نیز منتفی می کند . همچنین میکروشبکه ها کیفیت برق و قابلیت اطمینان تامین انرژی مشترکان را افزایش ...

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges

A IRCRAFT software is becoming increasingly complex, as shown by rising development costs. These software systems are safety critical: their failure can lead to major catastrophes. Past examples include a collision between a military airplane and a drone over Afghanistan in 2011 [1] and the 2002 tragic midflight collision in Überlingen [2]. The Überlingen collision was not caused by a system fa...

Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges1

Complex software systems are becoming increasingly prevalent in aerospace applications, in particular to accomplish critical tasks. Ensuring the safety of these systems is crucial, while they can have subtly different behavior under slight variations in operating conditions. In this paper we advocate the use of formal verification techniques and in particular theorem proving for hybrid software...