Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Conceptual design of a mechatronic system for supporting basic quality of life of bedridden elderly people

Ambient Assisted Living is an important subject to be explored and developed, especially in developed countries, due to the increasing number of aged people. In this context the development of mechatronic support systems for bedridden elderly people (BEP) living in their homes is essential in order to support independence, autonomy and improve their quality of life. Some basic tasks as eating, taking a bath and/or hygiene cares become difficult to execute, regarding that often the main caregiver is the other element of the aged couple (husband or wife). This paper presents the conceptual design of a mechanical system especially devoted to assist the caregiver in the handling and repositioning of the BEP. Issues as reducing the number of caregivers, to only one, and reducing the system's handling complexity (because most of the time it will be used by an aged person) are considered. The expertise obtained from the visits to rehabilitation centers and hospitals, and from working meetings, are considered in the development of the proposed mechatronic system.

Electromagnetic tracker feasibility in the design of a dental superstructure for edentulous patients

The success of the osseointegration concept and the Brånemark protocol is highly associated to the accuracy in the production of an implant-supported prosthesis. One of most critical steps for long-term success of these prosthesis is the accuracy obtained during the impression procedure, which is affected by factors such as the impression material, implant position, angulation and depth. This paper investigates the feasibility of 3D electromagnetic motion tracking systems as an acquisition method for modeling full-arch implant-supported prosthesis. To this extent, we propose an implant acquisition method at the patient mouth and a calibration procedure, based on a 3D electromagnetic tracker that obtains combined measurements of implant’s position and angulation, eliminating the use of any impression material. Three calibration algorithms (namely linear interpolation, higher-order polynomial and Hardy multiquadric) were tested to compensate for the electromagnetic tracker distortions introduced by the presence of nearby metals. Moreover, implants from different suppliers were also tested to study its impact on tracking accuracy. The calibration methodology and the algorithms employed proved to implement a suitable strategy for the evaluation of novel dental impression techniques. However, in the particular case of the evaluated electromagnetic tracking system, the order of magnitude of the obtained errors invalidates its use for the full-arch modeling of implant-supported prosthesis.

Model based integration of management systems (MSs) – case study

Abstract Purpose – The purpose of this paper is to present a case study regarding the deployment of a previously developed model for the integration of management systems (MSs). The case study is developed at a manufacturing site of an international enterprise. The implementation of this model in a real business environment is aimed at assessing its feasibility. Design/methodology/approach – The presented case study takes into account different management systems standards (MSSs) progressively implemented, along the years, independently. The implementation of the model was supported by the results obtained from an investigation performed according to a structured diagnosis that was conducted to collect information related to the organizational situation of the enterprise. Findings – The main findings are as follows: a robust integrated management system (IMS), objectively more lean, structured and manageable was found to be feasible; this study provided an holistic view of the enterprise’s global management; clarifications of job descriptions and boundaries of action and responsibilities were achieved; greater efficiency in the use of resources was attained; more coordinated management of the three pillars of sustainability – environmental, economic and social, as well as risks, providing confidence and added value to the company and interested parties was achieved. Originality/value – This case study is pioneering in Portugal in respect to the implementation, at the level of an industrial organization, of the model previously developed for the integration of individualized MSs. The case study provides new insights regarding the implementation of IMSs including the rationalization of several resources and elimination of several types of organizational waste leveraging gains of efficiency. Due to its intrinsic characteristics, the model is able to support, progressively, new or revised MSSs according to the principles of annex SL (normative) – proposals for MSSs – of the International Organization for Standardization and the International Electrotechnical Commission, that the industrial organization can adopt beyond the current ones.

Towards the design of efficient nonbeacon-enabled ZigBee networks

This paper presents experimental results of the communication performance evaluation of a prototype ZigBee-based patient monitoring system commissioned in an in-patient floor of a Portuguese hospital (HPG – Hospital Privado de Guimar~aes). Besides, it revisits relevant problems that affect the performance of nonbeacon-enabled ZigBee networks. Initially, the presence of hidden-nodes and the impact of sensor node mobility are discussed. It was observed, for instance, that the message delivery ratio in a star network consisting of six wireless electrocardiogram sensor devices may decrease from 100% when no hidden-nodes are present to 83.96% when half of the sensor devices are unable to detect the transmissions made by the other half. An additional aspect which affects the communication reliability is a deadlock condition that can occur if routers are unable to process incoming packets during the backoff part of the CSMA-CA mechanism. A simple approach to increase the message delivery ratio in this case is proposed and its effectiveness is verified. The discussion and results presented in this paper aim to contribute to the design of efficient networks,and are valid to other scenarios and environments rather than hospitals.

Certification and integration of management systems: the experience of Portuguese small and medium enterprises

The purpose of this study was to characterize the situation of Portuguese Small and Medium Enterprises (SMEs) concerning the certification of their Quality Management Systems (QMS), Environmental Management Systems (EMS) and Occupational Health and Safety Management Systems (OHSMS), in their individually form, to identify benefits, drawbacks and difficulties associated with the certification process and to characterize the level of integration that has been achieved. This research was based on a survey carried out by the research team; it was administered to 46 Portuguese SMEs. Our sample comprised 20 firms (43%) from the Trade/Services activity sector, 17 (37%) from the Industrial sector, 5 (11%) from the Electricity/Telecommunications sector and 4 (9%) from the Construction area. All SMEs surveyed were certified according to the ISO 9001 (100%), a quarter of firms were certified according to the ISO 14001 (26.1%) and a few certified by OHSAS 18001 (15.2%). We undertook a multivariate cluster analysis, which enabled grouping variables into homogeneous groups or one or more common characteristics of the SMEs participating in the study. Results show that the main benefits that Portuguese SMEs have gained from the referred certifications have been, among others, an improvement of both their internal organization and external image. We also present the main difficulties in achieving certification. Overall, 7 of the Portuguese SMEs examined indicated that the main benefits of the IMS implementation management included costs reduction, increased employee training and easier compliance of legislation. The respective drawbacks and difficulties are also presented. Finally, we presented the main integrated items in the certified Portuguese SMEs we examined.

Conceptual design of a conveyer system for supporting basic quality of life of bedridden elderly people

With the increasing number of aged people, especially in developed countries, Ambient Assisted Living solutions have become an important subject to be explored and developed. Currently, as specialized Institutions in geriatric care cannot cope with the increasing requests for support of quality of life, patients have to remain at their homes having as caregiver the other member of the couple or a member of close family. A solution for supporting the caregiver, during assisting the bedridden person with some basic tasks as eating, taking a bath and/or hygiene care is of utmost importance. This paper presents an approach for supporting the caregiver in moving and repositioning the bedridden elderly people (BEP) with the assistance of a mechanical system conveyer. The conceptual design of the mechanical system must be devoted to assist the caregiver in the handling and repositioning of the BEP. The proposed mechatronic system must, ideally, minimize the system's handling complexity, reduce the number of caregivers and the amount of spended and needed effort.

An Electromagnetic Tracker System for the design of a dental superstructure

Nowadays, different techniques are available for manufacturing full-arch implant-supported prosthesis, many of them based on an impression procedure. Nevertheless, the long-term success of the prosthesis is highly influenced by the accuracy during such process, being affected by factors such as the impression material, implant position, angulation and depth. This paper investigates the feasibility of a 3D electromagnetic motion tracking system as an acquisition method for modeling such prosthesis. To this extent, we propose an implant acquisition method at the patient mouth, using a specific prototyped tool coupled with a tracker sensor, and a set of calibration procedures (for distortion correction and tool calibration), that ultimately obtains combined measurements of the implant’s position and angulation, and eliminating the use of any impression material. However, in the particular case of the evaluated tracking system, the order of magnitude of the obtained errors invalidates its use for this specific application.

Integration of management systems: towards a sustained success and development of organizations

Effective environmental management within companies, integrated with other management areas like quality and occupational health and safety, is nowadays assumed to be a strategic way to implement and improve lean and cleaner production. Also, sustainable development (SD) and business sustainability can be achieved through a better coordinated management of processes versus associated resources. This paper presents an in depth discussion regarding the promotion of integrated management systems, their benefits and major contribution towards the sustainable development of cleaner production related features. It addresses issues regarding the contributions resulting from the integration of standardized Management System (MS) from both internal and external perspectives. Complementing the overall review of aspects to the development of integrated management systems a survey was conducted in order to better understand the relevance of the identified success factors. The main findings in this paper are as follows: a contextualization model of sustainable development and integrated management systems considering the Triple Bottom Line: economic, social and environmental; and, a method and associated model to support the development of integrated management systems as well as general guidelines to support integration. It can be concluded that a proactive approach and commitment to cleaner production, supported by an integrated management system, brings relevant savings for organizations as well as providing value to the relevant interested parties.