A Graph Rewriting Approach for Transformational Design of Digital Systems

Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of pre-proven behaviour preserving transformations as design steps. The formal aspects of this methodology are hidden in the transformations. A constraint is the availability of a design representation with a compositional formal semantics. Graph representations are useful design representations because of their visualisation of design information. In this paper graph rewriting theory, as developed in the last twenty years in mathematics, is shown to be a useful basis for a formal framework for transformational design. The semantic aspects of graphs which are no part of graph rewriting theory are included by the use of attributed graphs. The used attribute algebra, table algebra, is a relation algebra derived from database theory. The combination of graph rewriting, table algebra and transformational design is new

Mission 2 Solution: Requirements Engineering Education as a Central Theme in the BIT Programme

Design of integrated business-IT solutions is the main theme in the Business Information Technology programme (BIT) at the University of Twente. Our mission is to teach students to design solutions that are needed instead of solutions that are asked for. This makes requirements engineering an essential part of our education in business-IT alignment. Integration of requirements engineering (RE) in several courses is combined with challenging the students by authentic cases, taken from business practice, in which they have to apply theory and train their competences. This combination results in reflection as well as in RE experience and insight in the importance of requirements analysis. \ud In this position paper we outline how RE is integrated in the BIT programme and we discuss the project course BIT Ltd in more detail

A knowledge-based approach to VLSI-design in an open CAD-environment

A knowledge-based approach is suggested to assist a designer in the increasingly complex task of generating VLSI-chips from abstract, high-level specifications of the system. The complexity of designing VLSI-circuits has reached a level where computer-based assistance has become indispensable. Not all of the design tasks allow for algorithmic solutions. AI technique can be used, in order to support the designer with computer-aided tools for tasks not suited for algorithmic approaches. The approach described in this paper is based upon the underlying characteristics of VLSI design processes in general, comprising all stages of the design. A universal model is presented, accompanied with a recording method for the acquisition of design knowledge - strategic and task-specific - in terms of the design actions involved and their effects on the design itself. This method is illustrated by a simple design example: the implementation of the logical EXOR-component. Finally suggestions are made for obtaining a universally usable architecture of a knowledge-based system for VLSI-design

Optimum flux-detection in the absence of a priori knowledge about the signal

Detection systems based on photon counting have to discriminate between two types of fluctuations in the photon count: those resulting from statistical fluctuations (=noise) and those caused by changes in the radiance set by the source (=signal). In contrast with earlier studies on ways of discriminating noise from signal changes, no specific assumptions are made about the source. An optimal discrimination-method has been developed for a detector that has no prior information about the mean of the Poisson distribution that describes its input signal. Because the detector has no prior information at its disposal it has to assume an a priori probability for the mean in a unique and objective way and it has to estimate the actual mean using Bayes rule of inference. This new discrimination-method is discussed in the context of signal processing in the visual system, but is generally applicable in all systems where photon-noise is important