New System Model Based on Autonomous Decentralized System for Highly Productive Processing Equipment (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
スポンサーリンク
概要
- 論文の詳細を見る
High accuracy, high reliability, and high performance have to be simultaneously satisfied to achieve high productivity of the latest processing equipment. High flexibility is also required because many options are available and processing equipment is modified frequently. A high-assurance-system (HAS) model for processing equipment has been developed according to the concept of an Autonomous Decentralized System (ADS). Heterogeneous devices, that have same function and diverse qualities, are utilized to assure the different requirements of high accuracy, high reliability, and high performance simultaneously. The Data Property (DP) and Assurance Manager (AM) are proposed in this model. Different accuracy, reliability, and performance indices characterize each device, and the DP describes the differences of the properties of the data transmitted from these heterogeneous sevices. The AM assures not only high reliability but also high performance and high accuracy by utilizing the heterogeneity of data described by the DP. The HAS model was applied to a device-level system used in processing equipment, and its effectiveness was verified by simulating a pressure-control system.
- 社団法人電子情報通信学会の論文
- 2000-05-25
著者
-
KIKUNO Tohru
Graduate School of Information Science and Technology, Osaka University
-
AIZONO Takeiki
Hitachi Ltd.
-
Ohashi Masahiro
Department Of Neurosurgery Tonami General Hospital
-
Ohashi Masahiro
Hitachi Ltd.
-
Kogure M
Showa Pharmaceutical Univ. Tokyo Jpn
-
Kogure Makoto
Hitachi Ltd.
-
Kikuno Tohru
Graduate School Of Engineering Science Osaka University
関連論文
- Human herpesvirus 6 fulminant hepatic failure treated by living donor liver transplantation
- Spread of varicella-zoster virus DNA to the environment from varicella patients who were treated with oral acyclovir
- Monitoring of Active HHV-6 Infection in Bone Marrow Transplant Recipients by Real Time PCR ; Comparison to Detection of Viral DNA in Plasma by Qualitative PCR
- Probabilistic Model Checking of the One-Dimensional Ising Model
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- Thallium-201 brain SPECT to diagnose aggressiveness of meningiomas
- Differential diagnosis in patients with ring-like thallium-201 uptake in brain SPECT
- A QoS Management Technique of Urgent Information Provision in ITS Services Using DSRC for Autonomous Base Stations
- Feature Interaction Verification Using Unbounded Model Checking with Interpolation
- Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator
- Probabilistic Model Checking of the One-Dimensional Ising Model
- An Effective Testing Method for Hardware Related Fault in Embedded Software(Software Engineering for Embedded Systems)
- Feature Interaction Detection by Bounded Model Checking(Dependable Communication)(Dependable Computing)
- Software Project Simulator for Effective Process Improvement (特集 〔情報処理学会〕創立40周年記念論文)
- Verifying Fault Tolerance of Concurrent Systems by Model Checking(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- A Hierarchical Approach to Dependability Evaluation of Distributed Systems with Replicated Resources
- New Constructions for Nondominated k-Coteries
- New System Model Based on Autonomous Decentralized System for Highly Productive Processing Equipment (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems)
- Correlation between Human Herpesvirus 6 and 7 Infections after Living Related Liver Transplantation
- Constructing a Bayesian Belief Network to Predict Final Quality in Embedded System Development(Software Engineering for Embedded Systems)
- Test Item Prioritizing Metrics for Selective Software Testing(Software Engineering)
- Enhancing Software Project Simulator toward Risk Prediction with Cost Estimation Capability(Special Section on Concurrent Systems Technology)
- Experimental Evaluation of Two-Phase Project Control for Software Development Process(Special Section on Concurrent Systems Technology)
- A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol(Special Section on Concurrent Systems Technology)
- Timed Reachability Analysis Method for Communication Protocols Modeled by Extended Finite State Machines (Special Issue on Multimedia Communication and Distributed Processing)
- Experimental Evaluation of Processor Scheduling Algorithm for Parallel Logic Simulation Using Benchmark Circuits
- New 2-Factor Covering Designs for Software Testing(Regular Section)
- Advanced Sequential Control Based on an Autonomous Decentralized System for Attaining Highly Productive Systems (Special Section on Concurrent Systems Technology)
- A BDD-based approach to reliability-optimal module allocation in networks (信頼性)
- SAT and SMT based model checking of concurrent systems (コンカレント工学)
- An Energy-Efficient Broadcast Scheme for Multihop Wireless Ad Hoc Networks Using Variable-Range Transmission Power(Networks)
- Vibration-induced finger flexion reflex and inhibitory effect of acupuncture on this reflex in cervical spinal cord injury patients
- Constructing Overlay Networks with Short Paths and Low Communication Cost
- A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks (Special Issue on Distributed Processing for Controlling Telecommunications Systems)