In: Proceedings of the 10t Annual International Phoenix Conference on Computers and Communications, 1991, Scottsdale, AZ, USA, pages 332-338. Piscataway, NJ, USA: IEEE Service Center, 1991.
Abstract: An effective approach is demonstrated for the analysis of concurrent system designs in box structures. Potential clear box designs are termed white boxes. A correct design with the best estimated performance can be selected as the final clear box. For deterministic concurrent designs, the authors present rigorous methods to evaluate design correctness. For non-deterministic design the authors resort to the use of a Petri net model of the white box. By implementing the Petri net model on an automated analysis tool, they evaluate correctness criteria of fairness, mutual exclusion, and liveness.
Keywords: white box analysis (of) concurrent system design; estimated performance; white box net model; fairness; mutual exclusion; liveness; multiprocessing program.