Design and analysis techniques for concurrent blackboard systems

• Published in: IEEE transactions on systems, man and cybernetics. Part A, Systems and humans Vol. 26; no. 6; pp. 669 - 680
• Main Authors: McManus, J.W., Bynum, W.L.
• Format: Journal Article
• Language: English
• Published: IEEE 01.11.1996
• Subjects: Analytical models; Centralized control; Concurrent computing; Control systems; Data structures; Object oriented modeling; Power system modeling; Problem-solving; System analysis and design; System testing
• ISSN: 1083-4427; 1558-2426
• DOI: 10.1109/3468.541328

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.