TURTLE: Four Weddings and a Tutorial

The paper discusses an educational case study of protocol modelling in TURTLE, a real-time UML profile supported by the open source toolkit TTool. The method associated with TURTLE is step by step illustrated with the connection set up and handover procedures defined for the Future Air navigation Systems. The paper covers the following methodological stages: requirement modeling, use-case driven and scenario based analysis, object-oriented design and rapid prototyping in Java. Emphasis is laid on the formal verification of analysis and design diagrams

A Decision Support System Methodology For The Selection Of Rapid Prototyping Technologies For Investment-cast Gas Turbine Parts

In the power generation sector, more specifically, the gas turbine industry, competition has forced the lead time-to-market for product advancements to be more important than ever. For design engineers, this means that product design iterations and final product development must be completed within both critical time windows and budgetary constraints. Therefore, two areas that have received significant attention in the research and in practice are: (1) rapid prototyping technology development, and (2) rapid prototyping technology selection. Rapid prototyping technology selection is the focus of this research. In practice, selecting the rapid prototyping method that is acceptable for a specific design application is a daunting task. With technological advancements in both rapid prototyping and conventional machining methods, it is difficult for both a novice design engineer as well as an experienced design engineer to decide not only what rapid prototyping method could be applicable, but also if a rapid prototyping method would even be advantageous over a more conventional machining method and where in the manufacturing process any of these processes would be utilized. This research proposes an expert system that assists a design engineer through the decision process relating to the investment casting of a superalloy gas turbine engine component. Investment casting is a well-known technique for the production of many superalloy gas turbine parts such as gas turbine blades and vanes. In fact, investment-cast turbine blades remain the state of the art in gas turbine blade design. The proposed automated expert system allows the engineer to effectively assess rapid prototyping iii opportunities for desired gas turbine blade application. The system serves as a starting point in presenting an engineer with commercially-available state-of-the-art rapid prototyping options, brief explanations of each option and the advantages and disadvantages of each option. It is not intended to suggest an optimal solution as there is not only one unique answer. For instance, cost and time factors vary depending upon the individual needs of a company at any particular time as well as existing strategic partnerships with particular foundries and vendors. The performance of the proposed expert system is assessed using two real-world case studies. The first case study shows how the expert system can advise the design engineer when suggesting rapid manufacturing in place of investment casting. The second case study shows how rapid prototyping can be used for creating part patterns for use within the investment casting process. The results from these case studies are telling in that their implementations potentially result in an 82 to 94% reduction in design decision lead time and a 92 to 97% cost savings

Constructive tool design for formal languages : from semantics to executing models

Embedded, distributed, real-time, electronic systems are becoming more and more dominant in our lives. Hidden in cars, televisions, mp3-players, mobile phones and other appliances, these hardware/software systems influence our daily activities. Their design can be a huge effort and has to be carried out by engineers in a limited amount of time. Computer-aided modelling and design automation shorten the design cycle of these systems enabling companies to deliver their products sooner than their competitors. The design process is divided into different levels of abstraction, starting with a vague product idea (abstract) and ending up with a concrete description ready for implementation. Recently, research has started to focus on the system level, being a promising new area at which the product design could start. This dissertation develops a constructive approach to building tools for system-level design/description/modelling/specification languages, and shows the applicability of this method to the system-level language POOSL (Parallel Object-Oriented Specification Language). The formal semantics of this language is redefined and partly redeveloped, adding probabilistic features, real-time, inheritance, concurrency within processes, dynamic ports and atomic (indivisible) expressions, making the language suitable for performance analysis/modelling. The semantics is two-layered, using a probabilistic denotational semantics for stating the meaning of POOSL’s data layer, and using a probabilistic structural operational semantics for the process layer and architecture layer. The constructive approach has yielded the system-level simulation tool rotalumis, capable of executing large industrial designs, which has been demonstrated by two successful case studies—an ATM-packet switch (in conjunction with IBM Research at Z¨urich) and a packet routing switch for the Internet (in association with Alcatel/Bell at Antwerp). The more generally applicable optimisations of the execution engine (rotalumis) and the decisions taken in its design are discussed in full detail. Prototyping, where the system-level model functions as a part of the prototype implementation of the designed product, is supported by rotalumis-rt, a real-time variant of the execution engine. The viability of prototyping is shown by a case study of a learning infrared remote control, partially realised in hardware and completed with a system-level model. Keywords formal languages / formal specification / modelling languages / systemlevel design / embedded systems / real-time systems / performance analysis / discrete event simulation / probabilistic process algebra / design automation / prototyping / simulation tool

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

Implementation Of Google Apps And Mit App Inventor On Android Based Real Time Attendance Report Application

Attendance in educational institutions is an important thing that is always a common concern,attendance is used to measure student performance or seriousness in taking education. KlabatUniversity as an Educational institution, in this case at the Faculty of Computer Science.Trying to manage attendance as well as possible to get information that is fast, precise andaccurate. with this information about attendance, this institution can find out what things needto be improved and what things should be limited, or what decisions must be made forstudent success, which are related to attendance. The need for attendance reports at theComputer Faculty of Klabat University is urgently needed. Currently attendance report is stillusing paper, and the process for creating the report are by manual input one by one forgenerating the report. This research will create an application that runs on the Androidoperating system and this application will later be accessed with an Android-basedsmartphone with a student ID card barcode scan feature, as a marker of student attendance, sothe report can be generated automatically into the system. The research model or methodused is the Prototyping method. Prototyping design models are made faster so that the timeneeded for system development is shorter. This characteristic is very suitable with the needsof the existing system that only requires a short time in its development. The tools that will beused by researcher are MIT App Inventor to build an Android application. For the purposesof real time reports of student attendance, researcher will use Google apps as a data storagefacility and as a means for generating reports. The results of this study are expected to createan android-based mobile application that in real time can send student attendance data thatcan be accessed directly anytime and anywhere in the form of attendance report data. Forfuture development, researcher may suggest using other method than barcode scanning. RFIDor NFC tag supported for student ID Card can be used for attendance check

Haptic Hybrid Prototyping (HHP): An AR Application for Texture Evaluation with Semantic Content in Product Design

The manufacture of prototypes is costly in economic and temporal terms and in order to carry this out it is necessary to accept certain deviations with respect to the final finishes. This article proposes haptic hybrid prototyping, a haptic-visual product prototyping method created to help product design teams evaluate and select semantic information conveyed between product and user through texturing and ribs of a product in early stages of conceptualization. For the evaluation of this tool, an experiment was realized in which the haptic experience was compared during the interaction with final products and through the HHP. As a result, it was observed that the answers of the interviewees coincided in both situations in 81% of the cases. It was concluded that the HHP enables us to know the semantic information transmitted through haptic-visual means between product and user as well as being able to quantify the clarity with which this information is transmitted. Therefore, this new tool makes it possible to reduce the manufacturing lead time of prototypes as well as the conceptualization phase of the product, providing information on the future success of the product in the market and its economic return