Analytical modelling and evaluation of phased-mission systems for space applications

Bondavalli, Andrea; Mura, Iván; Nelli, M.

doi:10.1109/hase.1997.648043

Cited by 23 publications

(19 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Table 2 identifies the various dependability evaluation activities carried out according to these three modeling viewpoints. The focused models addressed several issues concerning the analysis of generic mechanisms (e.g., α-count [17]) and of specific features for selected instances (phased missions, for the space prototype instance [20], intra-channel error detection for the railway prototype instance).…”

Section: Dependability Evaluationmentioning

confidence: 99%

GUARDS: a generic upgradable architecture for real-time dependable systems

Powell

Arlat

Beus-Dukic

et al. 1999

IEEE Trans. Parallel Distrib. Syst.

Self Cite

View full text Add to dashboard Cite

Abstract. The development and validation of fault-tolerant computers for critical realtime applications are currently both costly and time-consuming. Often, the underlying technology is out-of-date by the time the computers are ready for deployment. Obsolescence can become a chronic problem when the systems in which they are embedded have lifetimes of several decades. This paper gives an overview of the work carried out in a project that is tackling the issues of cost and rapid obsolescence by defining a generic fault-tolerant computer architecture based essentially on commercial off-the-shelf (COTS) components (both processor hardware boards and real-time operating systems). The architecture uses a limited number of specific, but generic, hardware and software components to implement an architecture that can be configured along three dimensions: redundant channels, redundant lanes and integrity levels. The two dimensions of physical redundancy allow the definition of a wide variety of instances with different fault-tolerance strategies. The integrity level dimension allows application components of different levels of criticality to co-exist in the same instance. The paper describes the main concepts of the architecture, the supporting environments for development and validation, and the prototypes currently being implemented.

show abstract

Section: Dependability Evaluationmentioning

confidence: 99%

GUARDS: a generic upgradable architecture for real-time dependable systems

Powell

Arlat

Beus-Dukic

et al. 1999

IEEE Trans. Parallel Distrib. Syst.

Self Cite

View full text Add to dashboard Cite

show abstract

“…In [5,6], a specific hierarchical/modular modeling approach is adopted in order to better cope with system complexity and state-space explosion problems. [7] deals with the modelling and evaluation of phased-mission systems devoted to space applications, proposing a two level hierarchical method that allows to model such systems and to master the complexity of the analysis. Unfortunately, all these works and the others we are aware of are limited in their applicability and alleviate, but not completely solve, the complexity of the problem.…”

Section: Introductionmentioning

confidence: 99%

Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures

Lollini

Bondavalli

Giandomenico

2005

Service Availability

View full text Add to dashboard Cite

Abstract. This paper deals with the congestion analysis of a GPRS infrastructure composed by a number of adjacent cells partially overlapped. We consider one cell as affected by an outage and through a transient analysis we evaluate the effectiveness of a specific class of resource management techniques for congestion treatment in terms of service availability related indicators. The classical availability analysis is thus enhanced, by taking into account the congestion following outages and its impact on user's perceived QoS, both in each cell and in the overall GPRS network. In order to efficiently solve the large and complex model capturing the network's behavior, we introduce a solution technique in which the solution of the entire model is constructed on the basis of the solutions of the individual sub-models.

show abstract

“…In this way, all the methods that have been proposed for the dependability analysis of PMS, also apply to SMS. Because of their deployment in critical applications, the dependability modelling and analysis of PMS has been considered a task of primary relevance, and many different approaches have appeared in the literature [4,8,13,15,[17][18][19]. However, the modelling of complex systems always poses formidable problems, and PMS do not represent an exception to the rule.…”

Section: Systems With Multiple Phases and Multiple Missionsmentioning

confidence: 99%

“…It is worthwhile observing that, with respect to the evaluation of the Reliability R, the estimation of the sensitivity function only requires an additional small computation effort. Indeed, mostly the same matrices are required, according to Equations (2) and (3), (4), and (5). The only non trivial computation is that of the derivative of the matrix exponential, for which efficient algorithms have been defined [3,10,14].…”

Section: Sensitivity Analysismentioning

confidence: 99%

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems

Bondavalli¹,

Mura²,

Trivedi

1999

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. 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. The DSPN approach offers significant advantages in terms of easiness and clearness of modelling with respect to the existing Markov chain based tools, drastically limiting the amount of user-assistance needed to define the model. At the same time, these improved modelling capabilities do not result in additional computational costs. 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. Moreover, the existence of such explicit analytical solution allows to obtain the sensitivity functions of the dependability measures with respect to the variation of the parameter values. These sensitivity functions can be conveniently employed to analytically evaluate the effects that parameter variations have on the measures of interest. Systems with Multiple Phases and Multiple MissionsWith the increasing complexity and automation encountered in systems of the nuclear, aerospace, transportation, electronic, and many other industrial fields, the deployment of processing systems in charge of performing a multiplicity of different control and computational activities is becoming common practice. Very often, the system and its external environment can be altered during the operation, in a way that the behaviour during a time interval can be completely different from that within other periods.The operational scenario devised for the Scheduled Maintenance System (SMS) problem is a typical one in the context of the on-board aeroplane control systems. SMS are to be used during their life-time for multiple missions. The system is run for a finite number of missions, and then it has to pass a maintenance check. Such maintenance can be more or less extensive and accurate. Typically, it is the case that after a prefixed number of missions the system is completely checked, so that all its components are as good as new ones after that. Moreover, other kinds of maintenance actions are usually performed between two major checks. For instance, some highly critical components could be checked and possibly repaired after each mission, and

show abstract

Analytical modelling and evaluation of phased-mission systems for space applications

Abstract: Abstract

Cited by 23 publications

References 11 publications

GUARDS: a generic upgradable architecture for real-time dependable systems

GUARDS: a generic upgradable architecture for real-time dependable systems

Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems

Contact Info

Product

Resources

About