We present a comprehensive methodology for the specification and analysis of critical embedded systems. The methodology is based on an architectural design language that enables modeling of both software and hardware components, timed and hybrid behavior, faulty behavior and degraded modes of operation, error propagation and recovery. The methodology is supported by an integrated platform, impl...

An analytical model is used to investigate the effects of checkpointing on the performance and availability of sequential and parallel applications. Known as Steady-State Performability (SSP), this model provides a probabilistic method for quantifying delivered performance considering failure and recovery. Input parameters describe both the distributed application and the processing environment...

Open queuing network systems are useful in the computer industry. In this paper, a multi-node open network, with heterogeneous nodes, each node serving external as well as routed internal arrivals of jobs is considered. The nodes are prone to failures and repairs, the buffers are of finite size. An approximate performability model is developed based on an IPP departure process. External Poisson...

The new paradigm of Integrated Modular Avionics (IMA) [1] necessitates the analysis and validation of non-functional requirements for IMA systems. This includes the analysis of their performability. In this paper we present an initial approach of a performance modelling framework, based on the SAE standardised modelling and analysis language AADL [2, 3], to integrate performance analysis in the...

Component-based software development is the current methodology facilitating agility in project management, software reuse in design and implementation, promoting quality and productivity, and increasing the reliability and performability. This paper illustrates the usage of intuitionistic fuzzy degree approach in modelling the quality of entities in imprecise software reliability computing in ...

The paper presents a combined model of reliability and performance (performability model) of two modules in series, each has C components in parallel. The objective of the paper is to illustrate the effect of the reliability on the performance. The paper emphasizes homogeneous continuous-time Markov process and queueing approach for reliability and performance models respectively. A numerical e...

Markov-reward models, as extensions of continuous-time Markov chains, have received increased attention for the specification and evaluation of performance and dependability properties of systems. Until now, however, the specification of reward-based performance and dependability measures has been done manually and informally. In this paper, we change this undesirable situation by the introduct...