MPLM -- MaTeLo Product Line Manager

International audienceThe diversity of requirements elicited from different customers leads to the development of many variants. Furthermore, compliance with safety standards as mandated for safety-critical systems requires high test efforts for each variant. Model-based testing aims to reduce test efforts by automatically generating test cases from test models. In this paper, we introduce variability management to usage models, a widely used model-based testing formalism. We present an approach that allows to derive usage model variants from a desired set of features and thus generate test cases for each variant. The approach is integrated in the industrial model-based testing tool chain MaTeLo and exemplified using an industrial case study from the aerospace domain

Desarrollo de transformaciones de modelos para la derivación de arquitecturas de producto en LPS

[ES] Producir SW de calidad es uno de los mayores retos que encontramos en el ámbito del desarrollo de software y más aún en el desarrollo de líneas de productos, y uno de los aspectos clave, es la gestión de la variabilidad, definida como la habilidad de un sistema para ser cambiado o configurado para su uso en un determinado contexto. Esta variabilidad habrá de ser resuelta en tiempo de derivación, a la hora de obtener un determinado producto a partir de los activos de la línea de productos. Usar el paradigma Desarrollo de Software Dirigido por Modelos (DSDM) promueve el uso de modelos de software, a distintos niveles de abstracción, como artefactos principales en el desarrollo de software, y permite que estos modelos puedan ser transformados sucesivamente hasta la obtención del producto final. Aplicar el paradigma DSDM permite que los requisitos no-funcionales, pasen a ser un artefacto activo más a ser tratado durante los procesos de transformación para la obtención del producto final.[EN] Nowadays the development of high-quality software is one of the greatest challenges that can be found in software development area, and it is even more challenging in the Software Product Line Development (SPL). In this environment, one of the key facets is the variability management. Variability is the ability of a software system or software artifact to be extended, customized or configured for (re-)use in a specific context. This variability should be resolved at derivation time, when we want to obtain a specific product from a set of SPL assets. The Model Driven Software Development (MDSD) paradigm promotes the use of software models (in different abstraction levels), as main artifacts in software development, allowing us to transform models multiple times until we obtain the final product. Applying MDSD paradigm will allow us to automatize the derivation process by means of model transformation chains for obtaining the final product architecture[CA] Produir software de qualitat és un dels major reptes que trobem dintre del desenvolupament de software, i encara més, dintre del desenvolupament en línies de producte software. Un dels aspectes clau és la gestió de la variabilitat, definida com l’habilitat d’un sistema per a ser canviat o configurat per al seu ús en un determinat context. Aquesta variabilitat haurà de ser resolta en temps de derivació a l’hora d’obtenir un determinat producte a partir dels actius de la línia de productes. Utilitzar el paradigma de Desenvolupament de Software Dirigit per Models (DSDM), promou l’ús de models software, a distints nivells d’abstracció, com artefactes principals en el desenvolupament de software, i permet que aquests models puguen ser transformats successivament fins obtenir el producte final. Aplicar el paradigma DSDM permet automatitzar el procés de derivació mitjançant cadenes de transformacions de models, per a la obtenció de l’arquitectura del producte final.Benedé Garcés, J. (2015). Desarrollo de transformaciones de modelos para la derivación de arquitecturas de producto en LPS. http://hdl.handle.net/10251/50031.TFG

Modeling Deception for Cyber Security

In the era of software-intensive, smart and connected systems, the growing power and so- phistication of cyber attacks poses increasing challenges to software security. The reactive posture of traditional security mechanisms, such as anti-virus and intrusion detection systems, has not been sufficient to combat a wide range of advanced persistent threats that currently jeopardize systems operation. To mitigate these extant threats, more ac- tive defensive approaches are necessary. Such approaches rely on the concept of actively hindering and deceiving attackers. Deceptive techniques allow for additional defense by thwarting attackers’ advances through the manipulation of their perceptions. Manipu- lation is achieved through the use of deceitful responses, feints, misdirection, and other falsehoods in a system. Of course, such deception mechanisms may result in side-effects that must be handled. Current methods for planning deception chiefly portray attempts to bridge military deception to cyber deception, providing only high-level instructions that largely ignore deception as part of the software security development life cycle. Con- sequently, little practical guidance is provided on how to engineering deception-based techniques for defense. This PhD thesis contributes with a systematic approach to specify and design cyber deception requirements, tactics, and strategies. This deception approach consists of (i) a multi-paradigm modeling for representing deception requirements, tac- tics, and strategies, (ii) a reference architecture to support the integration of deception strategies into system operation, and (iii) a method to guide engineers in deception mod- eling. A tool prototype, a case study, and an experimental evaluation show encouraging results for the application of the approach in practice. Finally, a conceptual coverage map- ping was developed to assess the expressivity of the deception modeling language created.Na era digital o crescente poder e sofisticação dos ataques cibernéticos apresenta constan- tes desafios para a segurança do software. A postura reativa dos mecanismos tradicionais de segurança, como os sistemas antivírus e de detecção de intrusão, não têm sido suficien- tes para combater a ampla gama de ameaças que comprometem a operação dos sistemas de software actuais. Para mitigar estas ameaças são necessárias abordagens ativas de defesa. Tais abordagens baseiam-se na ideia de adicionar mecanismos para enganar os adversários (do inglês deception). As técnicas de enganação (em português, "ato ou efeito de enganar, de induzir em erro; artimanha usada para iludir") contribuem para a defesa frustrando o avanço dos atacantes por manipulação das suas perceções. A manipula- ção é conseguida através de respostas enganadoras, de "fintas", ou indicações erróneas e outras falsidades adicionadas intencionalmente num sistema. É claro que esses meca- nismos de enganação podem resultar em efeitos colaterais que devem ser tratados. Os métodos atuais usados para enganar um atacante inspiram-se fundamentalmente nas técnicas da área militar, fornecendo apenas instruções de alto nível que ignoram, em grande parte, a enganação como parte do ciclo de vida do desenvolvimento de software seguro. Consequentemente, há poucas referências práticas em como gerar técnicas de defesa baseadas em enganação. Esta tese de doutoramento contribui com uma aborda- gem sistemática para especificar e desenhar requisitos, táticas e estratégias de enganação cibernéticas. Esta abordagem é composta por (i) uma modelação multi-paradigma para re- presentar requisitos, táticas e estratégias de enganação, (ii) uma arquitetura de referência para apoiar a integração de estratégias de enganação na operação dum sistema, e (iii) um método para orientar os engenheiros na modelação de enganação. Uma ferramenta protó- tipo, um estudo de caso e uma avaliação experimental mostram resultados encorajadores para a aplicação da abordagem na prática. Finalmente, a expressividade da linguagem de modelação de enganação é avaliada por um mapeamento de cobertura de conceitos

A systematic literature review on the semi-automatic configuration of extended product lines

Product line engineering has become essential in mass customisation given its ability to reduce production costs and time to market, and to improve product quality and customer satisfaction. In product line literature, mass customisation is known as product configuration. Currently, there are multiple heterogeneous contributions in the product line configuration domain. However, a secondary study that shows an overview of the progress, trends, and gaps faced by researchers in this domain is still missing. In this context, we provide a comprehensive systematic literature review to discover which approaches exist to support the configuration process of extended product lines and how these approaches perform in practice. Extend product lines consider non-functional properties in the product line modelling. We compare and classify a total of 66 primary studies from 2000 to 2016. Mainly, we give an in-depth view of techniques used by each work, how these techniques are evaluated and their main shortcomings. As main results, our review identified (i) the need to improve the quality of the evaluation of existing approaches, (ii) a lack of hybrid solutions to support multiple configuration constraints, and (iii) a need to improve scalability and performance conditions

A Value-Driven Framework for Software Architecture

Software that is not aligned with the business values of the organization for which it was developed does not entirely fulfill its raison d’etre. Business values represent what is important in a company, or organization, and should influence the overall software system behavior, contributing to the overall success of the organization. However, approaches to derive a software architecture considering the business values exchanged between an organization and its market players are lacking. Our quest is to address this problem and investigate how to derive value-centered architectural models systematically. We used the Technology Research method to address this PhD research question. This methodological approach proposes three steps: problem analysis, innovation, and validation. The problem analysis was performed using systematic studies of the literature to obtain full coverage on the main themes of this work, particularly, business value modeling, software architecture methods, and software architecture derivation methods. Next, the innovation step was accomplished by creating a framework for the derivation of a software reference architecture model considering an organization’s business values. The resulting framework is composed of three core modules: Business Value Modeling, Agile Reference Architecture Modeling, and Goal-Driven SOA Architecture Modeling. While the Business value modeling module focuses on building a stakeholder-centric business specification, the Agile Reference Architecture Modeling and the Goal-Driven SOA Architecture Modeling modules concentrate on generating a software reference architecture aligned with the business value specification. Finally, the validation part of our framework is achieved through proof-of-concept prototypes for three new domain specific languages, case studies, and quasi-experiments, including a family of controlled experiments. The findings from our research show that the complexity and lack of rigor in the existing approaches to represent business values can be addressed by an early requirements specification method that represents the value exchanges of a business. Also, by using sophisticated model-driven engineering techniques (e.g., metamodels, model transformations, and model transformation languages), it was possible to obtain source generators to derive a software architecture model based on early requirements value models, while assuring traceability throughout the architectural derivation process. In conclusion, despite using sophisticated techniques, the derivation process of a software reference architecture is helped by simple to use methods supported by black box transformations and guidelines that facilitate the activities for the less experienced software architects. The experimental validation process used confirmed that our framework is feasible and perceived as easy to use and useful, also indicating that the participants of the experiments intend to use it in the future

Using CVL to Operationalize Product Line Development with Reusable Aspect Models

International audienceThis paper proposes a software design modelling approach that uses the Common Variability Language (CVL) to specify and resolve the variability of a software design, and the aspect-oriented modelling technique Reusable Aspect Models (RAM) to specify and then compose the detailed structural and behavioural design models corresponding to the chosen variants. This makes it possible to 1) exploit the advanced modularization capabilities of RAM to specify a complex, detailed design concern and its variants by means of a set of interdependent aspect models; 2) use CVL to provide an easy-to-use product-line interface for the design concern; 3) automatically generate a detailed design model for a chosen variant using a custom generic CVL derivation operator and the RAM weaver

Proceedings of USM-AUT International Conference 2012 Sustainable Economic Development: Policies and Strategies

This proceedings includes papers presented at the USM-AUT International Conference (UAIC 2012) carrying the theme “Sustainable Economic Development: Policies and Strategies”, held on 17-18 November 2012 at Bayview Beach Resort Penang Malaysia. This conference is jointly organized by the School of Social Sciences, Universiti Sains Malaysia (USM), Malaysia, and Faculty of Business and Law, Auckland University of Technology (AUT), New Zealand. We received a total of 167 papers from various institutions and organizations around the world where 82 papers were accepted for inclusion in this proceedings. The proceedings is compiled according to the three sub themes of the conference. It covers both theoretical and empirical works from the scholars globally. It is hoped that the collection of these conference papers will become a valuable reference to the conference participants, researchers, scholars, students, businesses and policy makers. The proceedings will be submitted to Thomson ISI for indexing

7th International Conference on Higher Education Advances (HEAd'21)

Information and communication technologies together with new teaching paradigms are reshaping the learning environment.The International Conference on Higher Education Advances (HEAd) aims to become a forum for researchers and practitioners to exchange ideas, experiences,opinions and research results relating to the preparation of students and the organization of educational systems.Doménech I De Soria, J.; Merello Giménez, P.; Poza Plaza, EDL. (2021). 7th International Conference on Higher Education Advances (HEAd'21). Editorial Universitat Politècnica de València. https://doi.org/10.4995/HEAD21.2021.13621EDITORIA

Electricity Consumption, Export and Production: Evidence from Malaysian Manufacturing Sector

Study on the impact of energy on economic development becomes the new interest in the economy since the industrial revolution where greater amount of energy have been used in industrial production with high scale. Numeral studies have been done at the micro and macro levels to discover the role of energy and its impact on economic growth. However, little have been done to explore the essence of energy in a particular sector especially the energy based sector like manufacturing sector. This paper investigates the relationship between electricity consumption, export and production in Malaysia’s manufacturing sector in a multivariate framework. This study has two objectives. The first objective is to discover the existence of long-run relationship among the variables and the second objective is to examine the short-run causality among the variables. This is a time series analysis with the sample period covers from 1980-2010. Johansen and Juselius cointegration test is employed to discover the long-run relationship while Vector Error Correction Model (VECM) Granger causality test will be used to find out the causal relationship. We found that GDP of manufacturing sector, electricity consumption of the manufacturing sector, export of manufacturing sector, labor of the manufacturing sector and capital of the manufacturing sector are cointegrated in the long run. The VECM results show unidirectional causality running from electricity consumption of manufacturing sector to GDP of the manufacturing sector and from electricity consumption of manufacturing sector to labor of the manufacturing sector. Hence, these results indicate electricity is essential in the manufacturing sector. Keywords: Electricity consumption, output, Granger causality, cointegratio