Analog synthesis tools have traditionally traded quality for speed, substituting simplified circuit evaluation methods for full simulation in order to accelerate the numerical search for solution candidates. In this paper we develop a new numerical search algorithm efficient enough to allow full circuit simulation of each circuit candidate, and robust enough to find good solutions for difficult...

Composite Response Surface Designs for Factors With Jointly Symmetric Effects Max D. Morris, Brad Dilts, Stuart J. Birrell & Philip M. Dixon a Department of Statistics and Department of Industrial and Manufacturing Systems Engineering, Iowa State University, Ames, IA 50011 b CNH America, LLC, 3301 S. Hoover Road, Wichita, KS 67277 c Department of Agricultural and Biosystems Engineering, Iowa St...

This paper discusses some design issues of mechatronic systems. New tools for the design of controllers are needed in order to apply more advanced control algorithms in an industrial environment. In addition, modelling and simulation tools can play an important role to evaluate designs in an early stage and to support important design decisions. Reuse of models, and controller code can help to ...

We introduce PrintPut, a method for 3D printing that embeds interactivity directly into printed objects. PrintPut uses conductive filament to offer an assortment of sensors that an industrial designer can easily incorporate into their 3D designs, including buttons, pressure sensors, sliders, touchpads, and flex sensors. PrintPut combines physical and interactive sketching into the same process:...

Modern automotive and industrial designs often contain fifty or more micro-controllers and multiple CAN networks interconnect these electronic units [1-3]: therefore, enhancement in reliability, reduction of verification and validation costs, saving in test time are crucial points to deliver any high quality product, especially in automotive, as also required by the IEC-61508 normative for safe...

Ensuring the functional correctness of hardware early in the design cycle is crucial for both economic and methodological reasons. However, current verification techniques are inadequate for industrial designs. Formal verification techniques are exhaustive but do not scale; partial verification techniques based on simulation scale well but are not exhaustive. This paper discusses promising appr...

In this paper, we propose a framework to systematically analyze the structural form and thematic content of codes of ethics related to Information and Communication Technology (ICT codes of ethics). Then we apply this framework, within a sample of 30 organizations. Our purpose is to assess the organizational ethical positioning advocated by these ICT codes of ethics, using an adaptation of Kohl...

A key point in the CMD-problems is that the universe to be specified is not an example from a textbook but a piece of reality like a bank or an airport. In addition, the specification has to be somehow extracted from multiple, very informal and often hardly consistent descriptions provided by different people. Moreover, as the process of information system design is going on, and mutual underst...