Analysis of Software Binaries for Reengineering-Driven Product Line Architecture\^aAn Industrial Case Study

This paper describes a method for the recovering of software architectures from a set of similar (but unrelated) software products in binary form. One intention is to drive refactoring into software product lines and combine architecture recovery with run time binary analysis and existing clustering methods. Using our runtime binary analysis, we create graphs that capture the dependencies between different software parts. These are clustered into smaller component graphs, that group software parts with high interactions into larger entities. The component graphs serve as a basis for further software product line work. In this paper, we concentrate on the analysis part of the method and the graph clustering. We apply the graph clustering method to a real application in the context of automation / robot configuration software tools.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301

An Empirical Study of a Repeatable Method for Reengineering Procedural Software Systems to Object- Oriented Systems

This paper describes a repeatable method for reengineering a procedural system to an object-oriented system. The method uses coupling metrics to assist a domain expert in identifying candidate objects. An application of the method to a simple program is given, and the effectiveness of the various coupling metrics are discussed. We perform a detailed comparison of our repeatable method with an ad hoc, manual reengineering effort based on the same procedural program. The repeatable method was found to be effective for identifying objects. It produced code that was much smaller, more efficient, and passed more regression tests than the ad hoc method. Analysis of object-oriented metrics indicated both simpler code and less variability among classes for the repeatable method

Software (Re-)Engineering with PSF II: from architecture to implementation

This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the specification of the architecture to obtain a specification low enough to build an implementation from

Advanced thermal energy storage research in demo plants for commercial systems

La present tesis s’enmarca en el camp/sector de l’emmagatzematge d’energia tèrmica, concretament en el procès de disseny i optimització que comporta el desenvolupament d’una tecnologia d’emmagatzematge tèrmic. Per aquest fi s’han dissenyat, construit, operat i analitzat dues plantes prototip, la primera d’elles situada a la Universitat de Lleida amb una capacitate de 66 kWhth i la segona situada a la plataforma Solcar d’Abengoa, amb 8m5 MWhth. Al llarg d’aquesta tesis, es mostra el procès d’anàlisi, estudi i optimització realitzat per permetre desenvolupar els sistemes d’emmagatzematge tèrmic amb sals foses desde la seva etapa inicial de desenvolupament y la seva extrapolació a dissenys comercials, permetent el desenvolupament de tecnologies d’emmagatzematge tèrmic que ajudin a reduir els costs i a augmentar l’eficiència de les plantes de generació de concentració solar amb un objectiu clar: que l’electricitat d’origen solar sigui competitiva enfront a les plantes fòssils en l’horitzó 2020.La presente tesis se encuadra en el campo del almacenamiento de energía térmica, en concreto en el proceso de diseño y optimización que conlleva el desarrollo de una tecnología de almacenamiento térmico. Para ello se han diseñado, construido, operado y analizado dos plantas prototipos, la primera de ellas sita en la Universidad de Lleida con una capacidad de 66 kWhth y la segunda sita en la plataforma Solucar de Abengoa, con 8,5 MWhth. A lo largo de esta tesis, se muestra el proceso de análisis, estudio y optimización realizado para permitir desarrollar los sistemas de almacenamiento térmico con sales fundidas desde su etapa inicial de desarrollo hasta su etapa de demostración y su extrapolación a diseños comerciales, permitiendo el desarrollo de tecnologías de almacenamiento que ayuden a reducir costes y a aumentar la eficiencia de las plantas de generación de concentración solar con un objetivo claro: que la electricidad de origen solar sea competitiva frente a las plantas fósiles en el horizonte 2020.This thesis is framed in the field of thermal energy storage, particularly in the design and optimization process needed for the development of a thermal storage technology. For this purpose we have been designed, built, operated and analyzed two prototypes, the first one located at the University of Lleida with a capacity of 66 kWhth and the second one located at the Solucar Platform Abengoa, with 8,5 MWhth. Throughout this thesis, the process of analysis, study and optimization done allow developing thermal storage systems with molten salt from its initial stage of development to demonstration stage and their extrapolation to commercial designs. This development of the storage technologies helps to reduce costs and increase the efficiency of solar power plants concentration with a clear objective: solar electricity is competitive with fossil plants in 2020

Social Life of Values

The case of the Danish “cartoon war†was a premonition of things to come: accelerated social construction of inequalities and their accelerated symbolic communication, translation and negotiation. New uses of values in organizing and managing inequalities emerge. Values lead active social life as bourgeois virtues (McCloskey, 2006), their subversive alternatives or translated “memes†of cultural history. Since social life of values went global and online, tracing their hybrid manifestations requires cross-culturally competent domestication (Magala, 2005) as if they were “memes†manipulated for further reengineering. Hopes are linked to emergent concepts of “microstorias†(Boje,2002), bottom-up, participative, open citizenship (Balibar,2004), disruption of stereotypical branding in mass-media (Sennett, 2006). However, Kuhn’s opportunistic deviation from Popperian evolutionary epistemology should fade away with other hidden injuries of Cold War, to free our agenda for the future of social sciences in general and organizational sciences in particular (Fuller, 2000, 2003).Complex Identities;Cross-Cultural Competence;Intersubjective Falsificationism;Managing Inequalities;Political Paradigms;Professional Evolution

Observation-Based Modeling for Testing and Verifying Highly Dependable Systems – A Practitioner’s Approach

Model-based testing (MBT) can reduce the cost of making test cases for critical applications significantly. Depending on the formality of the models, they can also be used for verification. Once the models are available model-based test case generation and verification can be seen as "push-button solutions." However, making the models is often perceived by practitioners as being extremely difficult, error prone, and overall daunting. This paper outlines an approach for generating models out of observations gathered while a system is operating. After refining the models with moderate effort, they can be used for verification and test case generation. The approach is illustrated with a concrete system from the safety and security domain