748 research outputs found
Sort by
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker
Get PDFSoftware Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a system satisfies a given property at runtime. This second technique complements the first one. This paper presents a tool that enables the developers to generate automatically reflective UML State Machine controllers and the Runtime Safety Properties Checker (RSPC) which checks a component-based software system's safety properties defined at design phase. We address embedded systems whose software components are designed by Unified Modelling Language-State Machines (UML-SM) and their internal information can be observed in terms of model elements at runtime. RESCO (REflective State Machines-based observable software COmponents) framework, generates software components that provide this runtime observability. The checker uses software components' internal status information to check system level safety properties. The checker detects when a system safety property is violated and starts a safe adaptation process to prevent the hazardous scenario. Thus, as demonstrated in the evaluated experiment but not shown in the paper due to the space limitation, the safety of the system is enhanced
Deep packet inspection for intelligent intrusion detection in software-defined industrial networks: A proof of concept
Get PDFSpecifically tailored industrial control systems (ICSs) attacks are becoming increasingly sophisticated, accentuating the need of ICS cyber security. The nature of these systems makes traditional IT security measures not suitable, requiring expressly developed security countermeasures. Within the past decades, research has been focused in network-based intrusion detection systems. With the appearance of software-defined networks (SDNs), new opportunities and challenges have shown up in the research community. This paper describes the potential benefits of using SDNs in industrial networks with security purposes and presents the set up and results of a pilot experiment carried out in a scaled physical implementation. The experimental set up consists in the detection of ICMP flood and packet payload alteration based on signature comparison. Results point to the potential viability of the technology for intrusion detection and the need of researching in architectural scalability
Canonical correlation analysis of the impact of the ICT on the diversification performance
Get PDFThe main objective of this study was to establish the relationship between the use of information and communication technologies (ICT) and the performance of business diversification within a sample of companies belonging to the autonomous community of the Basque country. For this, a canonical correlation analysis (CCA) was performed, taking the coefficients to explain the variance of the two sets of variables. It can be affirmed that the ICT of general use, of electronic commerce and of relationship impact in the elements that compose the performance of the diversified company
Assessment and Selection of Technologies for the Sustainable Development of an R&D Center
Get PDFThe central role of R&D centers in the advancement of technology within industrial enterprises is undeniable and clearly a ects their strategies, their competitiveness and their business sustainability. R&D centers assume responsibility for technology recognition, collection, acquisition, development and transition. Among their activities, the e cient choice of emerging technologies in the Technology Management Process is becoming a real challenge. In such heterogeneous scenarios, Multiple Criteria Decision Making (MCDM) models are commonly proposed as an appropriate decision-making approach. Multiple research works address the selection of particular technologies in industrial applications, but very few references can be found related to research institutions, and R&D centers in particular. Therefore, a decision-making model is provided in this study following the MIVES multi criteria method for the assessment of one or more technologies. The model is then applied to two case studies related to the selection process of new technologies at a Spanish R&D Center specialized in manufacturing
Modern Project Management Approaches in Uncertainty Environments: A Comparative Study Based on Action Research
Get PDFChange and high uncertainty levels are the main characteristics of current project contexts. Years ago, the traditional project management faced problems when operating in these environments. Thus, at the end of the 20th century, new project management approaches were conceived to provide a more effective answer to such contexts. These methods propose a different approach, aimed at promoting the project flow by focusing on the short term. However, their adoption involves certain adjustments from a managerial perspective. The influence on the way resources are used is of special interest, as it may cause unexpected behaviors and reactions. The literature vastly analyzes the features and benefits of these methods. Nevertheless, there is a lack of empirical evidence about both the practical implications of the transition process toward them and their superior performance. Thus, this research aims to contribute to filling this gap by providing real-world based evidence related to the change process from a traditional project management approach to a flow-driven one. With this objective in mind, we analyzed the transition processes experienced by two design departments from companies of different industries. The results of the study confirm that the adoption of this type of approach can improve an organization’s performance and simplify its project management system. Therefore, we consider that our findings are useful for anybody interested in these methodologies. From the academic perspective, the evidence obtained in this study contributes to supporting the research works suggested by the literature. Furthermore, it can be helpful to guide further research and extend current knowledge. Additionally, they can assist companies in the improvement of their current project management approaches
Lanki kuadernoak = Cuadernos Lanki ; 14
No full textLANKI, Instituto de estudios cooperativos de Mondragon Unibertsitatea, presenta un estudio de
caso sobre un proyecto socio-empresarial de Cataluña: La Fageda.
Es un proyecto muy singular, que se caracteriza por estar formada por personas que tienen discapacidades psíquicas y enfermedades mentales. Su propósito es transformar las condiciones de vida
de estas personas y, para ello, han creado una empresa cooperativa. La Fageda ha conseguido que
el 100% de las personas con discapacidades psíquicas de La Garrotxa tenga trabajo y atención terapéutica; además, son el yogurt de marca más vendido en Cataluña (lo han conseguido sin publicitar
las características de los trabajadores, basando su competitividad en la calidad de sus productos).
La Fageda está materializando en la práctica una utopía (con sus aciertos, dificultades y contradicciones). Lo más interesante es la centralidad que confieren a su propósito humano y social; es la
clave que explica por qué han desarrollado una manera diferente de entender y de hacer empresa.
Es una experiencia muy inspiradora, que nos ha ayudado a refrescar los valores del cooperativismo, a reflexionar sobre cómo mejorar el modelo cooperativo en la actualidad, y a imaginar hacia
dónde nos gustaría caminar. El cooperativismo de Mondragon debe mirar al futuro, profundizar en
las lógicas cooperativas y reinventarse continuamente. En La Fageda hemos descubierto un buen
compañero de viaje
Case Study of the Experience Capturer Evaluation Tool in the Design Process of an Industrial HMI
Get PDFIn the absence of user experience evaluation tools for industrial human–machine interfaces (HMI), a specific tool called eXperience Capturer (XC) has been created. It is a multi-method user-centred tool that evaluates the pragmatic and experiential aspects of employees’ interaction with industrial HMIs during the three phases of experience. In this article, a case study is shown where the XC tool is used in an industrial HMI design process. The results show that evaluation using the XC tool facilitates the creation of a new design that improves the experience of employees during interaction, increasing their autonomy, competence, closeness to the system, safety and stimulation
KOOPHEZI-L: Escala para medir el perfil de persona cooperativa en los trabajadores y las trabajadoras
Get PDFGracias a la ayuda proporcionada por la Diputación Foral de Gipuzkoa a través de la convocatoria del «Programa para la promoción de personas y empresas participativas en Gipuzkoa » en el año académico 2017-2018, realizamos KOOPHEZI-i, escala para medir el perfil de persona cooperativa en personas jóvenes (entre 16-22 años). Teniendo en cuenta que el objetivo de este proyecto consiste en identificar y desarrollar el perfil de persona cooperativa, en el curso académico 2018-2019 lo hemos retomado para construir, en este caso, la herramienta psicométrica que mide competencias específicas en los trabajadores y las trabajadoras
Investigating the performance of 410, PH13-8Mo and 300M steelsin a turning process with a focus on surfacefinish
Get PDFThis study generated novel behavioural data for three engineering steels undergoing a turning process. The materialswere hardened 410, PH13-8Mo and 300M, two stainless steels and one high strength steel respectively. A primary aimwas obtaining lowmachined surface roughness. A surface finish investigation compared tool geometries and tool materials.Multi-response cutting parameter screening was undertaken using a novel trade study
and iteration method, where the calculated cut quality was used to identify better feed rates and surface speeds.
In addition the sub-surface machined microstructure was examined.
Tools with a small nose radius produced the roughest surfaces. A surface roughness below 0.4 μm Ra could be consistently achieved on all three materials using rhombic wiper inserts and a feed rate up to 0.1 mm/rev. PH13-8Mo had the lowest machined surface roughness, as low as 0.11 μm in terms of Ra. In the parameter screening stage a generalised recommendation for good cut quality was a surface speed of at least 120 m/min
and a feed rate of 0.088mm/rev. The microstructure examination showed that for all materials under the conditions tested, therewas no evidence ofwhite amorphous layer formation and therewas grain deformation for the 410 material only
Managing Multiple Projects in Uncertain Contexts: A Case Study on the Application of a New Approach Based on the Critical Chain Method
Get PDFUncertainty and change are two features of modern project management. They strongly influence the project management needs to operate in such contexts. This is the case when a complete and accurate definition of the scope of a project is not available. Those situations require a project
management approach capable of dealing with the special conditions that characterise said contexts. This study focuses on the application of the progressive elaboration approach and the Critical Chain method. We analysed the implementation process of the new procedure in a company that produces capital goods for the automotive industry. The work’s main focus is on the e ect of this change from the multi-project perspective. We found that the change had a larger impact than was expected by the company. Firstly, we found that the new approach provided an opportunity to improve the performance of the company. Besides, the new approach uncovered significant problems that previously were ignored, as well as problems and obstacles to the change. Based on the results and findings of this work, we conclude that shifting to this kind of approach requires a global managerial perspective, and strong support from the management