Model-Driven Diagnostics of Underperforming Communicating Systems
نویسندگان
چکیده
منابع مشابه
Type-driven Development of Concurrent Communicating Systems
Modern software systems rely on communication, for example mobile applications communicating with a central server, distributed systems coordinating a telecommunications network, or concurrent systems handling events and processes in a desktop application. However, reasoning about concurrent programs is hard, since we must reason about each process and the order in which communication might hap...
متن کاملModel-based Diagnostics for Rocket Systems
A diagnostic software package is currently being developed at NASA Lewis Research Center that utilizes qualitative model-based reasoning techniques. These techniques can provide diagnostic information about the operational condition of the modeled rocket engine system or subsystem. The diagnostic package combines a qualitative model solver with a constraint suspension algorithm. The constraint ...
متن کاملA Data Driven Method for Model Based Diagnostics and Prognostics
This article’s model based diagnostics system has four modules. Diagnosis and fault location forms physics models of the machine, measures states off the real in-service machine, generates simulated machine states and simulated sensor outputs for the machine model with loads same as the real machine, and compares simulated sensor outputs to real sensor outputs. The parameter tuning module adjus...
متن کاملModel Driven Embedded Systems
The most interesting point however of a model driven approach is the ability to continuously map the model from a platform independent model to (a) more platform specific model(s) through model transformations. This may be performed eithervertically meaning here development of the model or horizontally meaning mapping the model to a different (or supporting) modeling aspect, eg: structural to t...
متن کاملRest in underperforming elite competitors.
This study examines the effects of 3-5 weeks of physical rest on selected physical, physiological and psychological parameters obtained from 12 Olympic but latterly underperforming competitors and their matched control subjects. Cardiorespiratory data were directly determined from their work to volitional exhaustion on either a treadmill, cycle, or rowing ergometer. Anaerobic power and capacity...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Cybernetica
سال: 2012
ISSN: 0324-721X
DOI: 10.14232/actacyb.20.4.2012.1