Rudolph E. Seviora

Learn More
Software supervision is a n approach to automatic detection of software failures. A software supervisor observes the inputs and outputs of a target system. It uses a model of correct behavior, derived f i o m the target system 's requirements specification. Discrepancies between specified and observed behaviors are reported as failures. The tradeoff between(More)
Building software systems out of prefabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this vision closer to reality than ever. At the same time, some experiences with component libraries warn us about potential problems that arise in case of software system families or(More)
This paper presents a new, highly parallel algorithm for OPS5 production system matching , and a multiprocessor architecture to support it. The algorithm is based on a partitioning of the Rete algorithm at the comparison level, suitable for execution on an array of several hundred processing elements. The architecture ' provides an execution environment(More)
The focus of this paper is on an approach to the automatic failure detection of reactive software systems called speciication-based supervision. Assumed is that the software is speciied in a formalism based on communicating extended nite state machines (CEFSMs). The major diiculty in supervising such systems is that the supervisor must account for all(More)