Application of axiomatic design to rapid-prototyping support for real-time control software

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 1996.Includes bibliographical references (leaf 68).by Hiroshi Igata.M.S

Developing frameworks for protocol implementation

This paper presents a method to develop frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be reused in the implementation of various different concrete systems in this domain. The use of frameworks support a protocol implementation process connected with formal design methods and produce an implementation code easy to extend and to reuse

Distributed Simulation of Heterogeneous and Real-time Systems

This work describes a framework for distributed simulation of cyber-physical systems (CPS). Modern CPS comprise large numbers of heterogeneous components, typically designed in very different tools and languages that are not or not easily composeable. Evaluating such large systems requires tools that integrate all components in a systematic, well-defined manner. This work leverages existing frameworks to facilitate the integration offers validation by simulation. A framework for distributed simulation is the IEEE High-Level Architecture (HLA) compliant tool CERTI, which provides the infrastructure for co-simulation of models in various simulation environments as well as hardware components. We use CERTI in combination with Ptolemy II, an environment for modeling and simulating heterogeneous systems. In particular, we focus on models of a CPS, including the physical dynamics of a plant, the software that controls the plant, and the network that enables the communication between controllers. We describe the Ptolemy extensions for the interaction with HLA and demonstrate the approach on a flight control system simulation

Optimization and visualization of rapid prototyping process parameters.

The optimal selection of rapid prototyping (RP) process parameters is a great concern to RP designers. When dealing with this problem, different build objectives have to be taken into consideration. Using virtual rapid prototyping (VRP) systems as a visualization tool to verify the optimally selected process parameters will assist designers in taking critical decisions regarding modeling of prototypes. This will lead to substantial improvements in part accuracy using minimal number of iterations, and no physical fabrication until confident enough to do so. The purpose of this thesis is to demonstrate that virtual validation of optimally selected process parameters can significantly reduce time and effort spent on traditional RP experimentation. To achieve the goal of this thesis, a multi-objective optimization technique is proposed and a model is generated taking into consideration different build objectives, which are surface roughness, support structure volume, build time and dimensional accuracy. The multi-objective method used is the weighted sum method, where a single utility function has been formulated, which combines all the objective functions together. The orders of magnitudes have been normalized, and finally weights have been assigned for each objective function in order to create the general formulation. (Abstract shortened by UMI.)Dept. of Industrial and Manufacturing Systems Engineering. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis2004 .E47. Source: Masters Abstracts International, Volume: 43-03, page: 0959. Adviser: Waguih ElMaraghy. Thesis (M.A.Sc.)--University of Windsor (Canada), 2004

The Planck-LFI flight model composite waveguides

The Low Frequency Instrument on board the PLANCK satellite is designed to give the most accurate map ever of the CMB anisotropy of the whole sky over a broad frequency band spanning 27 to 77 GHz. It is made of an array of 22 pseudo-correlation radiometers, composed of 11 actively cooled (20 K) Front End Modules (FEMs), and 11 Back End Modules (BEMs) at 300K. The connection between the two parts is made with rectangular Wave Guides. Considerations of different nature (thermal, electromagnetic and mechanical), imposed stringent requirements on the WGs characteristics and drove their design. From the thermal point of view, the WG should guarantee good insulation between the FEM and the BEM sections to avoid overloading the cryocooler. On the other hand it is essential that the signals do not undergo excessive attenuation through the WG. Finally, given the different positions of the FEM modules behind the focal surface and the mechanical constraints given by the surrounding structures, different mechanical designs were necessary. A composite configuration of Stainless Steel and Copper was selected to satisfy all the requirements. Given the complex shape and the considerable length (about 1.5-2 m), manufacturing and testing the WGs was a challenge. This work deals with the development of the LFI WGs, including the choice of the final configuration and of the fabrication process. It also describes the testing procedure adopted to fully characterize these components from the electromagnetic point of view and the space qualification process they underwent. Results obtained during the test campaign are reported and compared with the stringent requirements. The performance of the LFI WGs is in line with requirements, and the WGs were successfully space qualified.Comment: this paper is part of the Prelaunch status LFI papers published on JINST: http://www.iop.org/EJ/journal/-page=extra.proc5/jins

Iterative criteria-based approach to engineering the requirements of software development methodologies

Software engineering endeavours are typically based on and governed by the requirements of the target software; requirements identification is therefore an integral part of software development methodologies. Similarly, engineering a software development methodology (SDM) involves the identification of the requirements of the target methodology. Methodology engineering approaches pay special attention to this issue; however, they make little use of existing methodologies as sources of insight into methodology requirements. The authors propose an iterative method for eliciting and specifying the requirements of a SDM using existing methodologies as supplementary resources. The method is performed as the analysis phase of a methodology engineering process aimed at the ultimate design and implementation of a target methodology. An initial set of requirements is first identified through analysing the characteristics of the development situation at hand and/or via delineating the general features desirable in the target methodology. These initial requirements are used as evaluation criteria; refined through iterative application to a select set of relevant methodologies. The finalised criteria highlight the qualities that the target methodology is expected to possess, and are therefore used as a basis for de. ning the final set of requirements. In an example, the authors demonstrate how the proposed elicitation process can be used for identifying the requirements of a general object-oriented SDM. Owing to its basis in knowledge gained from existing methodologies and practices, the proposed method can help methodology engineers produce a set of requirements that is not only more complete in span, but also more concrete and rigorous

To Whom Belongs Conceptual Design?

The field of Conceptual Design is very alive and is rapidly developing. This paper investigates the disciplines and domains which substantially form its profile. There are considered disciplines such as Semiotics, Formal Logic, Evolutionary analogies, Qualitative Modelling, Ontologies, Artificial Intelligence and Emergent Synthesis. The answer to the question posed in the title lies nowadays in disciplines related to Cognitive Science