Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve this problem, self-adaptive systems have...
详细信息
ISBN:
(纸本)9783540726845
Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve this problem, self-adaptive systems have been proposed in the literature. However, the previous studies do not offer specifics on how to identify changes in a system situation or to transform situation information into the actions the systems must take in dynamic environments. This paper proposes a situation-awareness based self-adaptive system architecture (SASA) to support more efficient adaptation and, hence, achieve more accurate and successful missions, even in dynamic execution environments. A case study for air defense systems (ADS) using tests in a HLA/TRI-based real-time distributed simulation environment was implemented.
This paper describes a novel real-timesimulation platform, namely VTB-RT, especially suited for power electronics systems. Using a combination of open-source packages, FPGA-based modules, and the Virtual Test Bed sof...
详细信息
ISBN:
(纸本)9781424404964
This paper describes a novel real-timesimulation platform, namely VTB-RT, especially suited for power electronics systems. Using a combination of open-source packages, FPGA-based modules, and the Virtual Test Bed software, VTB-RT constitutes a simulation platform characterized by its low-cost, modularity, and versatility. In this paper, we briefly describe each VTB-RT component, and then we concentrate on a new interrupt module developed for real-time geographically distributedsimulations. A distributedsimulation of a DC motor drive is presented as an application example.
The goal of this paper is to show how to use probabilistic model checking techniques in order to achieve quantitative performance evaluation of a real-time distributed simulation. A simulation based on the High Level ...
详细信息
The goal of this paper is to show how to use probabilistic model checking techniques in order to achieve quantitative performance evaluation of a real-time distributed simulation. A simulation based on the High Level Architecture (HLA) is modelled as a stochastic process, a Continuous time Markov Chain (CTMC), using the stochastic algebra PEPA. Next a property representing a performance constraint is evaluated applying Continuous Stochastic Logic CSL formula on the CTMC model using the probabilistic model checker PRISM. Finally a first experiment is made to compare the model with a real case.
暂无评论