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. I t uses a model of correct behavior, derived f i o m the target sys tem 's requirements specification. Discrepancies between specified and observed behaviors are reported as failures. The tradeoff(More)
Building software systems out of pre-fabricated 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)
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)
Abstracf—A theoretical foundation is presented for the efficient computation of tirstand second-order sensitivities of networks with respect to network parameters in terms of wave variables. The concept of the adjoint network is used. First-order sensitivity formulas for a wide variety of elements are presented, including lumped and uniformly distributed(More)