Applying a Consistency Checking Framework for Heterogeneous Models and Artifacts in Industrial Product Lines

Author(s):  
Michael Vierhauser ◽  
Paul Grünbacher ◽  
Wolfgang Heider ◽  
Gerald Holl ◽  
Daniela Lettner
Author(s):  
Michael Nieke ◽  
Gabriela Sampaio ◽  
Thomas Thüm ◽  
Christoph Seidl ◽  
Leopoldo Teixeira ◽  
...  

AbstractA product line is an approach for systematically managing configuration options of customizable systems, usually by means of features. Products are generated for configurations consisting of selected features. Product-line evolution can lead to unintended changes to product behavior. We illustrate that updating configurations after product-line evolution requires decisions of both, domain engineers responsible for product-line evolution as well as application engineers responsible for configurations. The challenge is that domain and application engineers might not be able to interact with each other. We propose a formal foundation and a methodology that enables domain engineers to guide application engineers through configuration evolution by sharing knowledge on product-line evolution and by defining automatic update operations for configurations. As an effect, we enable knowledge transfer between those engineers without the need for interactions. We evaluate our methodology on four large-scale industrial product lines. The results of the qualitative evaluation indicate that our method is flexible enough for real-world product-line evolution. The quantitative evaluation indicates that we detect product behavior changes for up to $$55.3\%$$ 55.3 % of the configurations which would not have been detected using existing methods.


Author(s):  
Bo Zhang ◽  
Martin Becker ◽  
Thomas Patzke ◽  
Krzysztof Sierszecki ◽  
Juha Erik Savolainen

Author(s):  
M.L. Anderson ◽  
P. Tangyunyong ◽  
T.A. Hill ◽  
C.Y. Nakakura ◽  
T.J. Headley ◽  
...  

Abstract By combining transmission electron microscopy (TEM) [1] with scanning capacitance microscopy (SCM) [2], it is possible to enhance our understanding of device failures. At Sandia, these complementary techniques have been utilized for failure analysis in new product development, process validation, and yield enhancement, providing unique information that cannot be obtained with other analytical tools. We have previously used these instruments to identify the root causes of several yield-limiting defects in CMOS device product lines [3]. In this paper, we describe in detail the use of these techniques to identify electrically active silicon dislocations in failed SRAMs and to study the underlying leakage mechanisms associated with these defects.


Author(s):  
Luzmila Burbano Mera ◽  
Marcos Dávila Cedeño ◽  
Tatiana Martínez Santana ◽  
Ramón E. Cevallos Cedeño

Abstract:  Manabí and Ecuadorian population in general are consumers of tomato paste in different forms, so that producers and industrial product processing always looking to have a high quality  and  good  prices  for  the  benefit  of its  customers.  This research based on the results obtained, it leaves a number of very valuable conclusions for determining the carrot pulp will have a positive impact on the physical, chemical and organoleptic, when combined with the tomato paste features, without diminishing or provide a look that could adversely affect its commercial presentation to the client. The objective of this research was to get the development of a tomato paste mixed with carrot paste, with the purpose of obtaining an improved nutritional properties (fiber and beta-carotene) for the benefit of the consumer. Index Terms:  Pasta, tomato, carrot, consistency, nutritional properties.


Sign in / Sign up

Export Citation Format

Share Document