Filters








9,637 Hits in 8.8 sec

Performability analysis of guarded-operation duration: a translation approach for reward model solutions

Ann T. Tai, William H. Sanders, Leon Alkalai, Savio N. Chau, Kam S. Tso
2004 Performance evaluation (Print)  
In this paper, we present a performability modeling effort that analyzes the guarded operation duration for onboard software upgrading.  ...  More specifically, we define a "performability index" Y that quantifies the extent to which the guarded operation with a duration φ reduces the expected total performance degradation.  ...  By translating a design-oriented model into an evaluation-oriented model, we are able to reach a reward model solution for performability index Y that supports the decision on the duration of guarded operation  ... 
doi:10.1016/s0166-5316(03)00138-x fatcat:okuajove2bdjliggwrguaqqaq4

Performability analysis of guarded-operation duration: a successive model-translation approach

A.T. Tai, W.H. Sanders, L. Alkalai, S.N. Chau, K.S. Tso
Proceedings International Conference on Dependable Systems and Networks  
In this paper, we present a performability study that analyzes the guarded operation duration for onboard software upgrading.  ...  In order to solve for Y , we progressively translate its formulation until it becomes an aggregate of constituent measures conducive to efficient reward model solutions.  ...  By translating a design-oriented model into an evaluation-oriented model, we are able to reach a reward model solution for the performability index Y that supports the decision on the duration of guarded  ... 
doi:10.1109/dsn.2002.1029002 dblp:conf/dsn/TaiSACT02 fatcat:onvfgcqnbzaadagp5ivyqnsb5y

Dependability and Performance Assessment of Dynamic CONNECTed Systems [chapter]

Antonia Bertolino, Antonello Calabró, Felicita Di Giandomenico, Nicola Nostro
2011 Lecture Notes in Computer Science  
In this chapter we present approaches for analysis and monitoring of dependability and performance of Connected systems, and their combined usage.  ...  In particular, the chapter covers the quantitative assessment of dependability and performance properties through a stochastic model-based approach: first an overview of dependability-related measurements  ...  We and the project owe much to them for the presented achievements.  ... 
doi:10.1007/978-3-642-21455-4_11 fatcat:n44zm52n4bhdzcbjyg6o7myn3q

Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

J. Markovski, E.P. de Vink
2008 2008 8th International Conference on Application of Concurrency to System Design  
The approach is illustrated by a specification of the concurrent alternating bit protocol with generally-distributed unreliable channels in the language χ.  ...  We compare performance analysis using timed probabilistic reward graphs and discrete-event simulation. * This research has been funded by the Dutch BSIK/BRICKS project AFM 3.2.  ...  Long-run performance analysis of a DTPRG is performed by translating it to a discrete-time Markov reward chain (DTMRC) with equivalent behavior.  ... 
doi:10.1109/acsd.2008.4574610 dblp:conf/acsd/MarkovskiV08 fatcat:54em2rwmuzewbgz3gixoaoqeya

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration [article]

Mario Gleirscher, Radu Calinescu, James Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan Aitken, Rob Alexander, James Law
2021 arXiv   pre-print
We present a tool-supported approach for the synthesis, verification and validation of the control software responsible for the safety of the human-robot interaction in manufacturing processes that use  ...  We show the effectiveness of our software engineering approach through a case study involving the development of a safety controller for a manufacturing work cell equipped with a collaborative robot.  ...  For motion planning over finite partitions of geometric spaces, Lahijanian et al. [2012] describe algorithms for the synthesis of MDP policies that maximise the probability of a given arbitrary PCTL  ... 
arXiv:2106.06604v1 fatcat:jxvovhkceveybmn4xgo5ei4kxi

The Influence of Past Unemployment Duration on Symptoms of Depression Among Young Women and Men in the United States

Krysia N. Mossakowski
2009 American Journal of Public Health  
The authors used a two stage analysis and a linear mixed effects model approach to analyse the longitudinal spirometry data, and to investigate the changes in FEV1 over time, controlling for age, height  ...  PATIENTS AND METHODS: A decision model compared three approaches in the work-up of patients with suspected sclerosing cholangitis; all included an initial test, with, if unsuccessful, performance of  ...  PIP: A model of processes underlying marriage and family timing were applied to longitudinal data on 288 young adult males from the Southern Youth Study.  ... 
doi:10.2105/ajph.2008.152561 pmid:19696382 pmcid:PMC2741513 fatcat:az32zsizqzdahltg7gjrbywiku

An Approach to Adaptive Dependability Assessment in Dynamic and Evolving Connected Systems

Felicita Di Giandomenico, Antonia Bertolino, Antonello Calabrò, Nicola Nostro
2013 International Journal of Adaptive, Resilient and Autonomic Systems  
The goal is to develop an adaptive approach by coupling stochastic model-based analysis, performed at design time to support the definition and implementation of software products complying with their  ...  The proposed framework for adaptive assessment is described and illustrated through a case study.  ...  their own rule model and, using a model-driven approach, this can then be translated directly to the desired/more performant/available CEP language.  ... 
doi:10.4018/jaras.2013010101 fatcat:2tk62kcx3bd6nmeq72625is3xq

On using Markov Decision Processes to Model Integration Solutions for Disparate Resources in Software Ecosystems

Rafael Z. Frantz, Sandro Sawicki, Fabricia Roos-Frantz, Iryna Yevseyeva, Michael Emmerich
2015 Proceedings of the 17th International Conference on Enterprise Information Systems  
In this paper we discuss the usage of Markov models for formal modelling of integration solutions aiming at enabling the simulation of the conceptual models of integration solution still in the design  ...  The analysis of integration solutions to predict their behaviour and find possible performance bottlenecks is an important activity that contributes to increase the quality of the delivered solutions.  ...  A new approach that enables the analysis of the behaviour and discovering possible performance bottlenecks still in the design phase, taking as input the conceptual models of integration solutions, would  ... 
doi:10.5220/0005346902600267 dblp:conf/iceis/FrantzSRYE15 fatcat:cuxg7bfy4bd5bd2kv2n5a2tp2a

Analyzing Self-Adaptation Via Model Checking of Stochastic Games [chapter]

Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley Schmerl
2017 Lecture Notes in Computer Science  
In this chapter, we describe an approach based on model checking of stochastic multiplayer games (SMGs) that enables developers to approximate the behavioral envelope of a self-adaptive system by analyzing  ...  best-and worst-case scenarios of alternative designs for self-adaptation mechanisms.  ...  FA8721-05-C-0003 with Carnegie Mellon University for the operation of the Software Engineering Institute, a federally funded research and development center.  ... 
doi:10.1007/978-3-319-74183-3_6 fatcat:zps4zqoeljhpvnke5ou3l5hgvu

Dependability analysis of the data communication system in train control system

TianHua Xu, Tao Tang, ChunHai Gao, BaiGen Cai
2009 Science in China Series E: Technological Sciences  
The data communication system (DCS) between trains and wayside equipment is a crucial factor for the safe and efficient operation of CBTC system.  ...  In this paper, a stochastic reward net (SRN) model for DCS based IEEE 802.11 standard was developed, which captures all relevant failure and failure recovery behavior system aspects in a concise way.  ...  Further work is under way for evaluating the dependability of the wired portion of DCS and developing the efficient decomposition approach for the solution of large stochastic reward nets. defines a state  ... 
doi:10.1007/s11431-009-0183-4 fatcat:5b6mf6fczzg4lipycgeyl4oazy

Packet Flow Based Reinforcement Learning MAC Protocol for Underwater Acoustic Sensor Networks

Ibrahim B. Alhassan, Paul D. Mitchell
2021 Sensors  
Q-learning is one of the promising techniques employed in intelligent MAC protocol solutions, however, due to the long propagation delay, the performance of this approach is severely limited by reliance  ...  In this paper, we propose a restructured and a modified two stage Q-learning process to extract an implicit reward signal for a novel MAC protocol: Packet flow ALOHA with Q-learning (ALOHA-QUPAF).  ...  Entry Description N Number of nodes S L Number of slots per frame N opt Optimum number of slots per frame U Channel utilisation τ d Data packet duration τ A ACK packet duration τ g Guard  ... 
doi:10.3390/s21072284 pmid:33805233 fatcat:7uhzlnbo2zdnrmmckklnxrrx64

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems

Berend Jan Christiaan van Putten, Bram van der Sanden, Michel Reniers, Jeroen Voeten, Ramon Schiffelers
2020 Discrete event dynamic systems  
This paper introduces an approach for the modeling and synthesis of a throughput-optimal supervisor for manufacturing systems with partially-controllable behavior on two abstraction levels.  ...  For throughput optimization, game-theoretic methods are employed on the state space of the synthesized supervisor to determine a guarantee to the lower-bound system performance.  ...  To view a copy of this licence, visit http://creativecommonshorg/licenses/by/4.0/.  ... 
doi:10.1007/s10626-020-00325-x fatcat:a3wqtqkv6jbr7noyww2gku2g2q

Roadmap Document on Stochastic Analysis [article]

Bo Friis Nielsen and Flemming Nielson and Henrik Pilegaard and Michael James Andrew Smith and Ender Yüksel and Kebin Zeng and Lijun Zhang
2012 arXiv   pre-print
As such it aims to provide an overview of a number of selected approaches to the modelling of stochastic systems.  ...  The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for five years by the VILLUM Foundation.  ...  Numerical solution -if a model contains only actions with exponentially distributed durations, then it can be solved numerically -both for transient and steady state analysis.  ... 
arXiv:1209.6578v1 fatcat:cqpa7xgamzdslgbioym5x2c4qi

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems [chapter]

Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi
1999 Lecture Notes in Computer Science  
In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Stochastic Petri Net approach.  ...  Indeed, the evaluation of the DSPN model of SMS is supported by an efficient and fully automatable analytical solution technique for the time-dependent marking occupation probabilities.  ...  Conclusions In this paper we have introduced a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems.  ... 
doi:10.1007/3-540-48254-7_2 fatcat:xdp5eopemnasjnzrgo62suwnxi

ÆMPA

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello
2000 Proceedings of the second international workshop on Software and performance - WOSP '00  
We address the problem of describing and analyzing not only functional but also performance properties of software architectures in a formal framework.  ...  We thus develop an architectural description language with a precise syntax and semantics and we illustrate the various kinds of analysis that can be conducted on its descriptions, such as architectural  ...  The performance kernel therefore comprises all the analysis methods of MarCA for the computation of stationary/transient state probability distributions and reward based performance measures.  ... 
doi:10.1145/350391.350394 dblp:conf/wosp/BernardoCD00 fatcat:4luczw5ltjhche7fmty6ka5vgq
« Previous Showing results 1 — 15 out of 9,637 results