Data Set Used
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)
Rising interest in production systems has led to a number of research efforts aimed at increasing their execution speed. The bottleneck in current implementations is the matching required during each production cycle. CUPID is a multiprocessor architecture designed to execute OPS5 matching using DRete, a distributed version of the Rete matching algorithm.… (More)
No one likes to debug programs, and there is no way to automate the task. However, knowledge-based approaches offer some possibilities for the future.
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)
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)