Uncrewed Aerial Vehicles (UAVs) have been used in mission-critical scenarios such as Search and Rescue (SAR) missions. In a scenario, flight autonomy is key performance metric that quantifies how long the UAV can continue with given battery charge. running multiple software applications, also be impacted by faulty application processes excessively consume energy. this paper, we propose FA-Assur...

Wireless Sensor Network (WSN) applications, there may be many low-powered sensor nodes which can communicate with each other by wireless techniques. Due to limited power supply, the satisfiability of performability properties, which include energy constraints especially, must be confirmed in design phase. This will help one to avoid implementing impracticable designs. A typical performability p...

When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performability study that analyzes the guarded operation duration for onboard software upgrading. In particular, we define a “performability index” Y that quantifies the extent to which the guarded operation with a duration φ re...

This paper discusses software performability evaluation considering the real-time property. We assume that the software system has two operational states from the viewpoint of the end users: one is operating with the desirable performance level according to specification and the other is with degraded performance level. The time-dependent behavior of the system is described by the Markovian sof...

Response Time as a Performability Metric for Online Services

A new performance and performability modeling tool is introduced in this paper. PENE-LOPE is the rst tool which incorporates evaluation and optimization algorithms. It is the result of a combination between the performability modeling concept and Markov decision theory. Diierent algorithms are adopted and included in the tool under the unifying paradigm of reconngurability as the basis for adap...

A large scale open source solution composed of several open source softwares is now attracting attention as the next-generation software development paradigm because of the cost reduction, quick delivery, and work saving. The testing phase of open source solution means the binding testing and system testing. Generally, it makes no sense to perform the unit testing of open source solution, becau...