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)
The paper presents a curriculum for a 4-year undergraduate program in Embedded System Engineering (ESE). The curriculum was developed using a two-step approach. First, a body of education knowledge for Embedded System Engineering was defined. The body consists of sixteen knowledge areas. Each area is composed of several knowledge units, some designated as(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)