66,628 research outputs found
Automated Test Case Generation for an Autopilot Requirement Prototype
Designing safety-critical automation with robust human interaction is a difficult task that is susceptible to a number of known Human-Automation Interaction (HAI) vulnerabilities. It is therefore essential to develop automated tools that provide support both in the design and rapid evaluation of such automation. The Automation Design and Evaluation Prototyping Toolset (ADEPT) enables the rapid development of an executable specification for automation behavior and user interaction. ADEPT supports a number of analysis capabilities, thus enabling the detection of HAI vulnerabilities early in the design process, when modifications are less costly. In this paper, we advocate the introduction of a new capability to model-based prototyping tools such as ADEPT. The new capability is based on symbolic execution that allows us to automatically generate quality test suites based on the system design. Symbolic execution is used to generate both user input and test oracles user input drives the testing of the system implementation, and test oracles ensure that the system behaves as designed. We present early results in the context of a component in the Autopilot system modeled in ADEPT, and discuss the challenges of test case generation in the HAI domain
Recommended from our members
Design and Integration of a Laser-Based Materials Deposition System
This paper aims to demonstrate the design process of an integrated five-axis Laser-Based Material Deposition (LBMD) system for rapid prototyping application. Several design evaluation methods are selected and applied to the design of the system. A three-dimensional graphical simulation software package was used as a decision making aid and as an analysis tool
in the design process. Hardware integration of a five-axis computer numerical controlled (CNC) vertical milling machine, a 2.5 KW Nd:YAG laser and a linear table is discussed. A brief introduction to the system software and control architecture is also summarized. Some important design issues and considerations specific to Laser Based Material Deposition process are suggested.Mechanical Engineerin
Initial thoughts on rapid prototyping techniques
This paper sets some context, raises issues, and provides our initial thinking on the characteristics of effective rapid prototyping techniques.After discussing the role rapid prototyping techniques can play in the software lifecycle, the paper looks at possible technical approaches including: heavily parameterized models, reusable software, rapid prototyping languages, prefabrication techniques for system generation, and reconfigurable test harnesses.The paper concludes that a multi-faceted approach to rapid prototyping techniques is needed if we are to address a broad range of applications successfully -- no single technical approach suffices for all potentially desirable applications
Product Focused Freeform Fabrication Education
Presented in this paper is our experience of teaching freeform fabrication to students at
the Missouri University of Science and Technology, and to high school students and
teachers. The emphasis of the curriculum is exposing students to rapid product
development technologies with the goal of creating awareness to emerging career
opportunities in CAD/CAM. Starting from solid modeling, principles of freeform
fabrication, to applications of rapid prototyping and manufacturing in industry sponsored
product development projects, students can learn in-depth freeform fabrication
technologies. Interactive course content with hands-on experience for product
development is the key towards the success of the program.Mechanical Engineerin
A method to Formalise the Rapid Prototyping Process
Facing the increasing complexity of the product design area, (reduction of cycle times, introduction of simultaneous engineering, introduction of digital mock-up, ... ) a research department which wants to define a rapid prototyping process is confronted to the problem of the tools’ choice. Therefore, we will propose in this article, a method allowing to conceive such a process. In a first chapter, we present the rapid prototyping area in the product design environment, in a second chapter we will propose our method illustrated by an industrial case
Study on an integrated system of rapid prototyping and manufacturing for 3D Digitizer to CNC Mill : a thesis presented in partial fulfilment of the requirements for the degree of Master in Technology at Massey University, Palmerston North, New Zealand
The main purpose of this project is to develop a low cost, effective, user friendly interface software for staff and students to integrate the designing and manufacturing facilities in the Institute of Technology and Engineering (ITE) at Massey University, Palmerston North, New Zealand. The project involves establishment of an integrated CAD/CAM/CAE system, the identification of software requirements, selection of software development tool kit, definition of hardware configuration, software development and final experiments and tests. ITE has a laboratory, where are equipped with one CNC milling machine, one CNC lathe, one Injection Moulding machine, one desktop 3D scanner and one 3D plotter. In addition, all the CAD/CAM/CAE software have been installed on the PCs. Based on the analysis and utilisation of these existing facilities, it is found that they are not smoothly integrated; no linkage between the CAD/CAM/CAE system and desktop Rapid Prototyping facilities; file formats used by each of the system are not compatible. Through this project, the investigation of the possibility to integrate the system and the feasibility to develop a software to bridge the 3D scanner and the CNC mill, was carried out. A first try was successfully made using Borland C++5.0 to convert the 3D scanned data into NC program. Then, using Borland C++ Builder 5.0 created a user-friendly interface for conversion of 3D Digitizer to CNC Mill. Next, the different scales of wax models were satisfactorily processed on the CNC milling machine by inputting the converted NC program
Recommended from our members
Build Time Estimations for Large Scale Modelling
Achieving speedy results in model making is very much desired if not a necessity in ahnost any
manufacturing industry. There is no doubt that rapid prototyping contributes to this process. It is
generally considered that when compared to conventional machining techniques like nlilling, the
current rapid prototyping systems appear to be much faster. This is certainly true for complex,slnall
objects. I-Iowever, this is not alwaysa,pplicable to simple, large and bulky parts.
There are a number of projects and systems concentrating on the fabrication of large models. Work
is being carried out at the University ofHong Kong, using milling. along with slicing technology.
This.report compares some ofthe rapid prototyping systems witl1milling. Milling is an established
technology and recent developments in materials and nlachines used in Inilling nlake it a good
alternative to rapid prototyping when itcomes to largesyale nl0delling.Mechanical Engineerin
Development of compact circular polarized antenna for WLAN application
Matching the polarization in both the transmitter and receiver antennas is important in terms of decreasing transmission losses. The use of circularly polarized antennas presents an attractive solution to achieve this polarization match which allows for more flexibility in the angle between transmitting and receiving antennas, reduces the effect of multipath reflections, enhances weather penetration and allows for the mobility of both the transmitter and the receiver. Compact circularly polarized microstrip antenna with Circular Polarization (CP) property for wireless communication system at 2.45 GHz is presented. Microstrip patch antennas being popular because of light weight, low volume, thin profile configuration which can be made conformal. Wireless communication systems applications circular polarization antenna is placing vital role. In this study it was applied DGS to produce circular polarization. The single fed circular polarized microstrip antenna is etched on a FR4 with dielectric substrate of 4.3 with the height of 1.6 mm. The axial ratio of approximate 2.1 dB and the radiation pattern results prove that the designed antenna meets the CP criteria. The simulated and measured results show a good agreement and the proposed antenna is suitable for WLAN applications
Virtual assembly rapid prototyping of near net shapes
Virtual reality (VR) provides another dimension to many engineering applications. Its immersive and interactive nature allows an intuitive approach to study both cognitive activities and performance evaluation. Market competitiveness means having products meet form, fit and function quickly. Rapid Prototyping and Manufacturing (RP&M) technologies are increasingly being applied to produce functional prototypes and the direct manufacturing of small components. Despite its flexibility, these systems have common drawbacks such as slow build rates, a limited number of build axes (typically one) and the need for post processing. This paper presents a Virtual Assembly Rapid Prototyping (VARP) project which involves evaluating cognitive activities in assembly tasks based on the adoption of immersive virtual reality along with a novel non-layered rapid prototyping for near net shape (NNS) manufacturing of components. It is envisaged that this integrated project will facilitate a better understanding of design for manufacture and assembly by utilising equivalent scale digital and physical prototyping in one rapid prototyping system. The state of the art of the VARP project is also presented in this paper
- …