In designing large complex safety-critical systems that are subject to certification, current industrial practice is centered on the use of high-level abstract design tools. Using such tools greatly facilitates the process of coming up with certifiably correct system designs; however it is a challenge to obtain resource-efficient implementations of the designs thus produced upon actual executio...

This paper presents an approach towards real-time veriication of Statemate 1 designs. Statemate is a widely used design tool for embedded control units. These embedded control units are usually contained in industrial products and often implement concurrent systems. In our approach designs including all timing information are translated into untimed Kripke Structures which are optimized and the...

This paper presents a methodology and tool to support test selection from regression test suites based on change analysis in object-oriented designs. We assume that designs are represented using the Unified Modeling Language (UML) and we propose a formal mapping between design changes and a classification of regression test cases into three categories: Reusable, Retestable, and Obsolete. We pro...

We present a non-intrusive high-level SystemC debugging approach to be used with SystemC v2.0.1 and GNU debugger gdb. Our approach is integrated into an industrial design flow and enables developers to debug designs at high level working with signals, ports, events, and processes. Thus, one gets quick and concise insight into static structure and dynamic behavior of the design without the burde...

This paper will review the evolution of wearable textile antennas over the last couple of decades. Particular emphasis will be given to the process of embroidery. This technique is advantageous for the following reasons: (i) bespoke or mass produced designs can be manufactured using digitized embroidery machines; (ii) glue is not required and (iii) the designs are aesthetic and are integrated i...

In this paper, we present our quantitative studies of the impact of 3D IC design on repeater usage. The repeater usage is estimated by the interconnect optimizer IPEM in the post-placement/ pre-routing stage, where the 2D and 3D placement are generated by state-of-art mixed-size placers mPL6 and mPL-3D. Experiments on a set of real industrial designs show that, through 3D placement, the total n...

This paper presents a methodology and tool to support test selection from regression test suites based on change analysis in object-oriented designs. We assume that designs are represented using the Unified Modeling Language (UML) 2.0 and we propose a formal mapping between design changes and a classification of regression test cases into three categories: Reusable, Retestable, and Obsolete. We...

We consider the problem of designing traditional (e.g. vibratory bowl) feeders for singulating and orienting industrial parts. Our ultimate goal is to prototype new designs using analyticallyand geometrically-based methods. We have developed a tool for designing industrial parts feeders based on dynamic simulation. Our tool allows us to automatically perform multiple feeder design experiments, ...

Toward a systematic framework for research on dominant designs, technological innovations, and industrial change Johann Peter Murmann a,∗, Koen Frenken b,1 a Australian Graduate School of Management, Sydney, NSW 2052, Australia b Urban and Regional Research Center Utrecht (URU), Section of Economic Geography, Faculty of Geosciences, Utrecht University, P.O. Box 80115, NL-3508TC Utrecht, The Net...

Model checking has won some industrial acceptance in debugging designs. Theorem proving and formal verification are less popular. An approach built around automated abstractions could integrate theorem proving with model checking in an acceptable way and provide a bridge between refutation and verification.