This paper proposes an alternative automated mechanism design approach called parametric mechanism design via quantifier elimination (PMD-QE), which utilizes QE, a symbolic formula manipulation technique. In PMD-QE, we start from a skeleton of mechanisms, which is characterized by a set of parameters, e.g., critical values. The range of parameters where the given constraints are satisfied is au...

This paper presents a design synthesis method for distributed embedded systems In such systems computations can ow through long pipelines of interacting software components hosted on a variety of resources each of which is managed by a local scheduler Our method automatically calibrates the local resource schedulers to achieve the system s global end to end performance requirements A system is ...

Very often product development is seen as a process where designers iterate through several design cycles until they converge upon a design that satisfies all of the necessary requirements—design within a single generation. If one takes the view that products change (i.e. adapt and evolve), a broader view must be adopted to capture the drivers of design adaptation across multiple product genera...

This article discusses some of the limitations in Building Information Modeling, by positioning and comparing it with Parametric Modeling. While inherently parametric, the common approach of utilizing BIM is mainly through labor-intensive modeling. The usability of BIM throughout the design process is strengthened, by improving the integration between both approaches.

The configuration of Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely to be complex services, that will require adaptation for each specific use. Current approaches to Web service configuration are often based on pre/post-condition-style reasoning, resulting in a planning-style approach to servi...

Today’s Microwave ovens are often equipped with inverterized MW generators; compared with old style appliances, the magnetron is no more driven by a bulky ferro-resonant power supply, but by an electronic inverter, lighter, more efficient and, moreover, able to modulate the MW power, at least to a certain extent. The electronic power supply is generally designed around a resonant inverter which...

System-level design refers to a synthesis, analysis, and optimization process which reasons with the system in a holistic manner. We are developing a model-based approach to support parametric system-level design optimization. In this paper, we describe our modeling methodology based on the Environment Relationship net framework (Ghezzi et al. 1991) to represent a system for the purpose of desi...

A new method to design motion laws is proposed, featuring the ability of imposing constraints over sequences of functions, each defined by parameters. User constraints may require, for example, continuity between segments, acceleration or position at given time values, and so on. The optimal value for function parameters is obtained applying a modified Newton-Lagrange process over a constrained...

To support performance-oriented modelling for sustainable building design, one must both model geometric interdependencies in a parametric way and include non-geometric physical, environmental, and economic design reasoning. For this purpose, this paper examines the use of Systems Modelling Language (SysML) to model systems for sustainable building design and develops a method called Parametric...