Using Model Checking to Analyze the System Behavior of the LHC Production Grid
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
jcolibri2: A framework for building Case-based reasoning systems
Science of Computer Programming
Using model checking to analyze the system behavior of the LHC production grid
Future Generation Computer Systems
| Hi-index | 0.00 |
This paper gives a formal model for blackboard systems that provides a consistent method for describing a blackboard system. The formal model describes the basic components of a blackboard system and how the components interact. A set of blackboard system design tools has been developed and validated for implementing systems that are expressed using the formal model. The tools are used to test and refine a proposed blackboard system design before the design is implemented. The set of blackboard system design tools consists of a knowledge source organizer, a knowledge source input/output connectivity analyzer, a validated blackboard system simulation model, and a blackboard system code generator. The lack of design and analysis tools has hindered the full realization of the concurrency inherent in the blackboard problem-solving model. Use of a centralized control mechanism and knowledge source contention in accessing the blackboard have restricted the concurrency possible in previous systems. Using the design, simulation, and analysis tools, a fast, efficient, and powerful concurrent object-oriented blackboard system has been developed