You searched for subject:(Safety critical product lines)
.
Showing records 1 – 30 of
37124 total matches.
◁ [1] [2] [3] [4] [5] … [1238] ▶
1.
Paulo Gabriel Gadelha Queiroz.
Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos.
Degree: 2015, University of São Paulo
URL: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/
► Sistemas embarcados críticos (SEC) correspondem aos sistemas embarcados para aplicações críticas, que são aplicações nas quais falhas podem por vidas em perigo. A crescente imersão…
(more)
▼ Sistemas embarcados críticos (SEC) correspondem aos sistemas embarcados para aplicações críticas, que são aplicações nas quais falhas podem por vidas em perigo. A crescente imersão deste tipo de sistema em nossas atividades cotidianas aumentou sua demanda, e consequentemente, a necessidade por novas técnicas de desenvolvimento que possam aumentar a produtividade dos desenvolvedores. Linha de produtos (LP) é uma técnica de reúso, na qual famílias de produtos similares são desenvolvidos em conjunto, e portanto, objetiva-se o desenvolvimento em larga escala. Com a utilização de LP, pode-se reusar requisitos e arquitetura de forma sistemática. Entretanto, o reúso no domínio de sistemas embarcados críticos ainda é visto de forma cética. Por outro lado, o domínio de SEC tem obtido avanços de desenvolvimento por meio de técnicas orientadas a modelo. A Engenharia orientada a modelos (MDE) concentra-se na importância de modelos no ciclo de vida do sistema,
tornando-os parte do produto final. Assim, mantêm-se os modelos simples, e a maioria da complexidade do software passa a pertencer às transformações, que podem ser obtidas automaticamente por motores de transformação. Isso ajuda a aumentar a qualidade do produto final, bem como facilitar a futura evolução do software, que poderá ser feita mudando-se os modelos de alto nível e obtendo-se, de forma automática, o novo produto. MDE é particularmente útil no domínio de SEC, pois a partir de modelos corretos do problema, a chance de introdução de erros durante a codificação é menor se geradores de aplicações forem utilizados em vez de codificação manual. Além disso, o aumento no nível de abstração proporcionado pelo MDE permite que técnicas de validação e verificação sejam usadas desde os estágios iniciais de desenvolvimento, tais como co-design e co-simulação. Portanto, este trabalho visa defender a tese de que é possível oferecer os benefícios do desenvolvimento em larga escala para o
domínio de SEC e ainda continuar se beneficiando de técnicas de MDE. Para corroborar esta tese, define-se uma abordagem de desenvolvimento de linha de produtos de sistema com uso de técnicas de engenharia orientada a modelos para o desenvolvimento de famílias de sistemas embarcados críticos. Além disso, apresenta-se um estudo de caso de marca-passo elaborado segundo as indicações da abordagem proposta que indicam a viabilidade de sua utilização.
Safety-critical embedded systems (SCES) correspond to embedded systems for critical applications, i.e., applications where lives can be lost if they fail. The increasing immersion of this type of system in our daily activities increased their demand and, consequently, the need for new development techniques that can increase developers productivity. Product Line (LP) is a promising technique for reuse, in which families of similar products are developed together and, therefore, it aims at large-scale development. With the use of LP we
can reuse requirements and architecture systematically. However, developers remain sceptical about reuse in the…
Advisors/Committee Members: Rosana Teresinha Vaccare Braga, Rossana Maria de Castro Andrade, Ellen Francine Barbosa, Rosângela Aparecida Dellosso Penteado.
Subjects/Keywords: Desenvolvimento orientado a modelos; Linha de produtos; Sistemas embarcados críticos; Model-driven development; Product lines; Safety-critical embedded families
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Queiroz, P. G. G. (2015). Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/
Chicago Manual of Style (16th Edition):
Queiroz, Paulo Gabriel Gadelha. “Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos.” 2015. Doctoral Dissertation, University of São Paulo. Accessed April 12, 2021.
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/.
MLA Handbook (7th Edition):
Queiroz, Paulo Gabriel Gadelha. “Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos.” 2015. Web. 12 Apr 2021.
Vancouver:
Queiroz PGG. Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos. [Internet] [Doctoral dissertation]. University of São Paulo; 2015. [cited 2021 Apr 12].
Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/.
Council of Science Editors:
Queiroz PGG. Uma abordagem de desenvolvimento de linha de produtos orientada a modelos para a construção de famílias de sistemas embarcados críticos. [Doctoral Dissertation]. University of São Paulo; 2015. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30062015-162028/
2.
Zhang, Xiaodi.
Methods for Modeling of Product Lines for Safety-critical Systems.
Degree: Design and Engineering, 2013, Mälardalen University
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017
► Software product line engineering is a proposed methodology that enables software products and software-intensive systems to be developed at lower cost, higher quality and…
(more)
▼ Software product line engineering is a proposed methodology that enables software products and software-intensive systems to be developed at lower cost, higher quality and less time to market. The structured and managed artifacts reuse among different products in development is the main target of software product line engineering. As a key-method of the product line engineering approach, the commonality and variability analysis is a technique that identifies the potential artifacts for reuse. But the reuse poses challenges for delivering safety-critical products from the product line and achieving product line functional safety. In order to analyze the product line and provide more valuable information for its safety analysis, we make use of established product line modeling techniques, which model the product line commonality and variability from different perspectives. In this report, we investigate the product line modeling techniques. The product modeling analysis process covers two aspects: 1. Study different product line modeling techniques and find the ones suitable for product line modeling. We choose the modeling techniques that can be implemented to discuss in detail. 2. We implement the industrial wheel loader product line with two modeling techniques. Comprehensive models and detailed modeling process explanation are presented. The product line functional safety analysis covers three aspects: 1. Investigate the different safety analysis techniques and choose the fault tree analysis as the main technique. 2. Extend the single system fault tree to the product line fault tree. 3. Investigate the contributions of the product line modeling techniques to the product line functional safety analysis. Specifically, we map the product line models to the product line fault tree. Furthermore, we evaluate the product line modeling techniques from their performance in domain analysis and safety analysis.
Subjects/Keywords: Product line modeling; Safety-critical system
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zhang, X. (2013). Methods for Modeling of Product Lines for Safety-critical Systems. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Zhang, Xiaodi. “Methods for Modeling of Product Lines for Safety-critical Systems.” 2013. Thesis, Mälardalen University. Accessed April 12, 2021.
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Zhang, Xiaodi. “Methods for Modeling of Product Lines for Safety-critical Systems.” 2013. Web. 12 Apr 2021.
Vancouver:
Zhang X. Methods for Modeling of Product Lines for Safety-critical Systems. [Internet] [Thesis]. Mälardalen University; 2013. [cited 2021 Apr 12].
Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Zhang X. Methods for Modeling of Product Lines for Safety-critical Systems. [Thesis]. Mälardalen University; 2013. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22017
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
3.
Gallucci, Antonio.
Building a safety case for a small sized product line of Fuel Level Display Systems.
Degree: Design and Engineering, 2013, Mälardalen University
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373
► ISO 26262 is an international standard valid for the automotive domain. It regulates all the activities to perform for developing safety critical systems in…
(more)
▼ ISO 26262 is an international standard valid for the automotive domain. It regulates all the activities to perform for developing safety critical systems in such domain. To be compliant with ISO 26262, all the required activities have to be performed and all the required work products have to be provided. Furthermore, in addition to develop a system in a safe way, following the safety standard guidelines, the achieved safety has also to be demonstrated. This is done through a safety case, a structured argument showing that a system is acceptably safe. ISO 26262 focuses on single systems and does not contain guidelines for product lines. Product line engineering is a valid approach to systematize reuse, aimed at reducing the effort needed to develop similar systems. But, it loses its strength when dealing with safety critical systems, since it is not aligned with safety standards. Hence, when developing a safety critical product line in the automotive domain, the work products required by ISO 26262 have to be provided every time from scratch, including the safety case, for each single system of the product line. This thesis work focuses on providing an approach for building and modeling a safety case for safety critical product lines in the automotive domain. Furthermore, the considered product line engineering approach is aligned with ISO 26262, through the inclusion of safety activities in the product line development process. Giving in this way, the concrete possibility to overtake to the current limitations, reducing the effort needed to develop and certificate each single system of a safety critical product line. To illustrate the validity of the proposed approach a safety critical product line developed by Scania is used as case study.
Subjects/Keywords: ISO 26262; Safety-critical product lines; Reusability; Variability management; Families of safety cases; GSN for product lines; Software Engineering; Programvaruteknik
…safety case is aimed at showing the safety of one single
system, and not of product lines that… …certification1 of the
entire safety critical product line.
This thesis work has been performed in… …development and
certification effort for a safety critical product line. The validity of the… …be significantly decreased.
Product lines can also be developed in the context of safety… …critical systems (Section 2.1). In
that case they are called safety critical product…
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Gallucci, A. (2013). Building a safety case for a small sized product line of Fuel Level Display Systems. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Gallucci, Antonio. “Building a safety case for a small sized product line of Fuel Level Display Systems.” 2013. Thesis, Mälardalen University. Accessed April 12, 2021.
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Gallucci, Antonio. “Building a safety case for a small sized product line of Fuel Level Display Systems.” 2013. Web. 12 Apr 2021.
Vancouver:
Gallucci A. Building a safety case for a small sized product line of Fuel Level Display Systems. [Internet] [Thesis]. Mälardalen University; 2013. [cited 2021 Apr 12].
Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Gallucci A. Building a safety case for a small sized product line of Fuel Level Display Systems. [Thesis]. Mälardalen University; 2013. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-22373
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universiteit Utrecht
4.
Sprockel, Y.H.B.
The impact of Software Product Lines from a Product Management perspective.
Degree: 2013, Universiteit Utrecht
URL: http://dspace.library.uu.nl:8080/handle/1874/276057
► In this research, we follow a well validated and already used at numerous Product Software Companies (PSC) Competence model, the SPM Competence Model and Maturity…
(more)
▼ In this research, we follow a well validated and already used at numerous
Product Software Companies (PSC) Competence model, the SPM Competence Model and Maturity Matrix. This Competence model serves as the foundation of SPM for this research. Through an extensive literature study, we identified the key practices of SPL. These SPL-practices describe
product management activities that are performed in a SPL development environment. In this research we evaluated the identified SPL-practices through experts active in SPL development and structured them accordingly through implementation into the SPM maturity matrix, making it the SPLM (Software
Product Line Management) maturity matrix.
Advisors/Committee Members: Brinkkemper, S..
Subjects/Keywords: Software product lines; Software Product management; Product lines; Software Product Lines Maturity Matrix
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Sprockel, Y. H. B. (2013). The impact of Software Product Lines from a Product Management perspective. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/276057
Chicago Manual of Style (16th Edition):
Sprockel, Y H B. “The impact of Software Product Lines from a Product Management perspective.” 2013. Masters Thesis, Universiteit Utrecht. Accessed April 12, 2021.
http://dspace.library.uu.nl:8080/handle/1874/276057.
MLA Handbook (7th Edition):
Sprockel, Y H B. “The impact of Software Product Lines from a Product Management perspective.” 2013. Web. 12 Apr 2021.
Vancouver:
Sprockel YHB. The impact of Software Product Lines from a Product Management perspective. [Internet] [Masters thesis]. Universiteit Utrecht; 2013. [cited 2021 Apr 12].
Available from: http://dspace.library.uu.nl:8080/handle/1874/276057.
Council of Science Editors:
Sprockel YHB. The impact of Software Product Lines from a Product Management perspective. [Masters Thesis]. Universiteit Utrecht; 2013. Available from: http://dspace.library.uu.nl:8080/handle/1874/276057

University of Waterloo
5.
Olaechea Velazco, Rafael Ernesto.
Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines.
Degree: 2013, University of Waterloo
URL: http://hdl.handle.net/10012/8015
► Software product lines (SPLs) manage product variants in a systematical way and allow stakeholders to derive variants by selecting features. Finding a desirable variant is…
(more)
▼ Software product lines (SPLs) manage product variants in a systematical way and allow stakeholders to derive variants by selecting features. Finding a desirable variant is hard, due to the huge configuration space and usually conflicting objectives (e.g., lower cost and higher performance). This scenario can be reduced to a multi-objective optimization prob- lem in SPLs. We address the problem using an exact and an approximate algorithm and compare their accuracy, time consumption, scalability and parameter setting requirements on five case studies with increasing complexity.
Our empirical results show that (1) it is feasible to use exact techniques for small SPL multi-objective optimization problems, and (2) approximate methods can be used for large problems but require substantial effort to find the best parameter settings for acceptable approximation. Finally, we discuss the tradeoff between accuracy and time consumption when using exact and approximate techniques for SPL multi-objective optimization and guide stakeholders to choose one or the other in practice.
Subjects/Keywords: software product lines; software engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Olaechea Velazco, R. E. (2013). Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/8015
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Olaechea Velazco, Rafael Ernesto. “Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines.” 2013. Thesis, University of Waterloo. Accessed April 12, 2021.
http://hdl.handle.net/10012/8015.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Olaechea Velazco, Rafael Ernesto. “Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines.” 2013. Web. 12 Apr 2021.
Vancouver:
Olaechea Velazco RE. Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines. [Internet] [Thesis]. University of Waterloo; 2013. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/10012/8015.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Olaechea Velazco RE. Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines. [Thesis]. University of Waterloo; 2013. Available from: http://hdl.handle.net/10012/8015
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Limerick
6.
Abid, Saad bin.
Consistency checking of runtime feature dependencies in software product lines.
Degree: 2014, University of Limerick
URL: http://hdl.handle.net/10344/4012
► peer-reviewed
Feature dependency is a kind of feature interaction which can be observed in the features that realize the functionality of a software product, and…
(more)
▼ peer-reviewed
Feature dependency is a kind of feature interaction which can be observed in the features that realize the functionality of a software product, and particularly in the features of Software Product Lines (SPLs). In feature modelling for SPLs, common and variable features are organized both in terms of their structural dependencies (e.g., aggregation and specialization) and in terms of their configuration dependencies (e.g., excluded and required). These dependencies are essential but are not sufficient for developing reusable and adaptable SPL components. There are various other types of feature dependencies (e.g., runtime feature dependencies) that are responsible for implementing the behaviour of an end product. The aim of this research is to facilitate a software product line engineer to detect whether the latter types of feature dependencies have been implemented as specified and as intended.
This thesis proposes and evaluates a four-step technique for consistency checking of runtime feature dependencies in SPL artefacts. The four-step process uses a domain-specific language developed for specifying the product line assets (i.e., features, interdependencies among the features and the implementation source code). The proposed technique uses existing reverse engineering techniques to perform a code-to-model transformation. Aspect-oriented (AO) pattern detection algorithms were developed that implement the runtime feature dependencies. The simple detection of AO-patterns does not guarantee that the behaviour is implemented as intended. Model validation constraints are then applied to provide feature dependency related feedback to a product line engineer.
The key contributions of this thesis are: (i) the extension of previous work on the modularization of runtime feature dependencies, by providing a technique for consistency checking of runtime feature dependencies at various abstraction levels, (ii) the theoretical contribution in the form of a model-driven technique based on round-trip engineering (RTE), (iii) a plug-in based prototype realizing the proposed model-driven technique and (iv) a validation mechanism inspired by a technique called mutation testing which is applied using an existing product line case study.
Advisors/Committee Members: Power, Norah, Botterweck, Goetz.
Subjects/Keywords: software product lines; SPL
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Abid, S. b. (2014). Consistency checking of runtime feature dependencies in software product lines. (Thesis). University of Limerick. Retrieved from http://hdl.handle.net/10344/4012
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Abid, Saad bin. “Consistency checking of runtime feature dependencies in software product lines.” 2014. Thesis, University of Limerick. Accessed April 12, 2021.
http://hdl.handle.net/10344/4012.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Abid, Saad bin. “Consistency checking of runtime feature dependencies in software product lines.” 2014. Web. 12 Apr 2021.
Vancouver:
Abid Sb. Consistency checking of runtime feature dependencies in software product lines. [Internet] [Thesis]. University of Limerick; 2014. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/10344/4012.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Abid Sb. Consistency checking of runtime feature dependencies in software product lines. [Thesis]. University of Limerick; 2014. Available from: http://hdl.handle.net/10344/4012
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
7.
Salikiryaki, Aleksandra.
Graphical Approach for Variability Management in Safety-Critical Product Lines.
Degree: Design and Engineering, 2015, Mälardalen University
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28580
► The number and complexity of the systems realizing the functionality of the machines in the automotive domain are growing. In this arises the need…
(more)
▼ The number and complexity of the systems realizing the functionality of the machines in the automotive domain are growing. In this arises the need for a systematic way to manage their development. As the technologies advance, the vehicles introduce an increasing range of capabilities. However, they have similar functions, which have the potential to be reused. One of the widely used approaches that manages the commonality and variability of the development artifacts in a systematic manner is Product Line Engineering (PLE). Consequently, PLE reduces the time to market and the development cost. The machines, realized in the automotive domain, interact with their operators and the surrounding environment. Possible malfunctions of the machines may introduce a risk of accidents with fatal consequences. Therefore, the products should be analyzed, developed and managed in a safe manner and certified according to different relevant safety standards like ISO 15998, ISO 61508 and ISO 26262. There is a diversity of functions in a Product Line (PL). Some of them are mandatory for all machines and others are optional for some models. This gives the opportunity to combine the functions in multiple configurations. However, not all combinations are possible due to dependencies among the functions. Furthermore, the configurations should be valid from a safety perspective, and the developed products should satisfy the requirements identified during the safety analysis. The above mentioned factors emphasize the need for explicit representation of the systems' characteristics, such as commonality and variability, functional dependencies and quality attributes. The purpose of the current work is to find an efficient way to satisfy this need. The scope of our research is limited to the automotive domain. In order to gain familiarity with the state of practice, we collaborated with Volvo Construction Equipment (Volvo CE) as an industrial partner. In particular, we: conducted an informal interview study with the practitioners,analyzed the requirements management tool used in Volvo CE and studied products typical for the domain in detail,examined the deliverables defined in the related domain specific safety standards. We gained knowledge on how variability is managed in an industrial context today, which safety aspects need to be considered and how functional safety artifacts are managed with regards to variability. We synthesized the characteristics that are explicitly represented during the development and safety certification of the products in a safety-critical product line. We identified the challenges that the practitioners meet today and the areas that need to be improved. As a result, we formulated evaluation criteria for search and assessment of possible solutions. Subsequently we searched in the literature for different modeling techniques, that are able to respond to the industrial needs, and found the following to be relevant in our…
Subjects/Keywords: Safety-critical product line; Product line engineering; Software reuse; Variability management; Commonality and variability; Functional safety; Model-based development; Graphical approach; Software Engineering; Programvaruteknik
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Salikiryaki, A. (2015). Graphical Approach for Variability Management in Safety-Critical Product Lines. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28580
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Salikiryaki, Aleksandra. “Graphical Approach for Variability Management in Safety-Critical Product Lines.” 2015. Thesis, Mälardalen University. Accessed April 12, 2021.
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28580.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Salikiryaki, Aleksandra. “Graphical Approach for Variability Management in Safety-Critical Product Lines.” 2015. Web. 12 Apr 2021.
Vancouver:
Salikiryaki A. Graphical Approach for Variability Management in Safety-Critical Product Lines. [Internet] [Thesis]. Mälardalen University; 2015. [cited 2021 Apr 12].
Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28580.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Salikiryaki A. Graphical Approach for Variability Management in Safety-Critical Product Lines. [Thesis]. Mälardalen University; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28580
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
8.
Reitmaier, Rebecka.
Using software product line engineering to construct products with different certification levels - An Industrial Action Research Study
.
Degree: Chalmers tekniska högskola / Institutionen för data och informationsteknik, 2019, Chalmers University of Technology
URL: http://hdl.handle.net/20.500.12380/300148
► Background: Software product line engineering (SPLE) is used to derive multiple products from a common platform and has many industry examples of its benefits such…
(more)
▼ Background: Software product line engineering (SPLE) is used to derive multiple
products from a common platform and has many industry examples of its benefits
such as reduced development cost and decreased time to market. However, there
is no research to our knowledge on how well it functions with agile development
when there is a need to create both safety-critical products and non safety-critical
products. The regulatory difference between these two is that the safety-critical
products require certification to be sold.
Aim: This thesis investigates which SPLE variability approaches can be used to
differentiate code associated to a safety-critical and a non safety-critical product.
The research was done at the company 1928 Diagnostics, with the goal of finding
the most suitable variability approach for the company and how this might affect
their business, architecture, process and organization.
Method: We investigate variability approaches by looking at current SPLE literature
and by using an action research methodology. The data is collected through
interviews, focus groups, a mockup of a chosen variability approach and discussions
at the company.
Results: We identify five variability approaches that can support differentiation:
design patterns, components, preprocessor, parameter-based and version control. We
found that the most suitable variability approach for 1928 Diagnostics was components.
From the evaluation of the mockup we found that potential effects primarily
would be related to the architecture and the assistance it could provide to the process
later. Finally, we present a methodology for how to derive the most suitable
variability approach.
Subjects/Keywords: Software Product Line;
Agile Development;
Safety-critical system;
Development Process;
CE-marked products;
Certification;
Medical Device;
Software Engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Reitmaier, R. (2019). Using software product line engineering to construct products with different certification levels - An Industrial Action Research Study
. (Thesis). Chalmers University of Technology. Retrieved from http://hdl.handle.net/20.500.12380/300148
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Reitmaier, Rebecka. “Using software product line engineering to construct products with different certification levels - An Industrial Action Research Study
.” 2019. Thesis, Chalmers University of Technology. Accessed April 12, 2021.
http://hdl.handle.net/20.500.12380/300148.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Reitmaier, Rebecka. “Using software product line engineering to construct products with different certification levels - An Industrial Action Research Study
.” 2019. Web. 12 Apr 2021.
Vancouver:
Reitmaier R. Using software product line engineering to construct products with different certification levels - An Industrial Action Research Study
. [Internet] [Thesis]. Chalmers University of Technology; 2019. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/20.500.12380/300148.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Reitmaier R. Using software product line engineering to construct products with different certification levels - An Industrial Action Research Study
. [Thesis]. Chalmers University of Technology; 2019. Available from: http://hdl.handle.net/20.500.12380/300148
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
9.
André Luiz de Oliveira.
A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering.
Degree: 2016, University of São Paulo
URL: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/
► Software Product Line Engineering (SPLE) has been proven to reduce development and maintenance costs, improving the time-to-market, and increasing the quality of product variants developed…
(more)
▼ Software Product Line Engineering (SPLE) has been proven to reduce development and maintenance costs, improving the time-to-market, and increasing the quality of product variants developed from a product family via systematic reuse of its core assets. SPLE has been successfully used in the development of safety-critical systems, especially in automotive and aerospace domains. Safety-critical systems have to be developed according to safety standards, which demands safety analysis, Fault Tree Analysis (FTA), and assurance cases safety engineering artefacts. However, performing safety analysis, FTA, and assurance case construction activities from scratch and manually for each product variant is time-consuming and error-prone, whereas variability in safety engineering artefacts can be automatically managed with the support of variant management techniques. As safety is context-dependent, context and design variation directly impact in the safety
properties changing hazards, their causes, the risks posed by these hazards to system safety, risk mitigation measures, and FTA results. Therefore, managing variability in safety artefacts from different levels of abstraction increases the complexity of the variability model, even with the support of variant management techniques. To achieve an effective balance between benefits and complexity in adopting an SPLE approach for safety-critical systems it is necessary to distinguish between reusable safety artefacts, whose variability should be managed, and those that should be generated from the reused safety artefacts. On the other hand, both industry and safety standards have recognized the use of model-based techniques to support safety analysis and assurance cases. Compositional safety analysis, design optimization, and model-based assurance cases are examples of techniques that have been used to support the generation of safety artefacts required to achieve safety certification.
This thesis aims to propose a model-based approach that integrates model-based development, compositional safety analysis, and variant management techniques to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. The approach contributes to reduce the effort and costs of performing safety analysis and assessment for a particular product variant, since such analysis is performed from the reused safety artefacts. Thus, variant-specific fault trees, Failure Modes and Effects Analysis (FMEA), and assurance case artefacts required to achieve safety certification can be automatically generated with the support the model-based safety analysis and assurance case construction techniques.
Engenharia de Linha de Produtos de Software (ELPS) contribui para a redução dos custos de desenvolvimento e de manutenção, a melhoria do time-to-market, e o aumento da qualidade de produtos desenvolvidos a partir de uma família de produtos
por meio do reuso sistemático dos ativos principais da linha de produtos. A ELPS vem sendo utilizada com sucesso…
Advisors/Committee Members: Rosana Teresinha Vaccare Braga, Timothy Patrick Kelly, Leandro Buss Becker, João Batista Camargo Júnior, Timothy Patrick Kelly, Daniel Lucredio.
Subjects/Keywords: Análise de segurança composicional; Desenvolvimento baseado em modelos; Gerenciamento de variabilidades; Linha de produtos de software; Reuso; Compositional safety analysis; Model-based development; Reuse; Software product lines; Variability management
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Oliveira, A. L. d. (2016). A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/
Chicago Manual of Style (16th Edition):
Oliveira, André Luiz de. “A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering.” 2016. Doctoral Dissertation, University of São Paulo. Accessed April 12, 2021.
http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/.
MLA Handbook (7th Edition):
Oliveira, André Luiz de. “A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering.” 2016. Web. 12 Apr 2021.
Vancouver:
Oliveira ALd. A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. [Internet] [Doctoral dissertation]. University of São Paulo; 2016. [cited 2021 Apr 12].
Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/.
Council of Science Editors:
Oliveira ALd. A model-based approach to support the systematic reuse and generation of safety artefacts in safety-critical software product line engineering. [Doctoral Dissertation]. University of São Paulo; 2016. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-22112016-161607/

Luleå University of Technology
10.
Berglund, Jacob.
Key Characteristics as a Practice toAchieve Robust Design : A case study in the aerospace industry.
Degree: 2014, Luleå University of Technology
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49690
► Continuous technological development and increasing efficiency demands are driving products toward becoming more and more complex. For the aerospace industry - where the requirements…
(more)
▼ Continuous technological development and increasing efficiency demands are driving products toward becoming more and more complex. For the aerospace industry - where the requirements for performance, safety and low environmental impact already are substantial - this means that more extensive quality assurance measures must be taken to ensure the fulfillment of the requirements of each individual component.However, to avoid that the work with quality improvement become too extensive and increase the product cost to unbearable levels it is necessary to have methods to prioritize and focus improvement efforts on the product features that matters most for fulfilling customer requirements. Therefore, the concept of Key Characteristics is used today, both in the aerospace and other industries; a term for those characteristics that have a significant impact on requirement compliance and whose outcomes at the same time are expected to vary considerably in manufacturing.The concept itself is similar among those who use it but the purpose of and methodology for identifying and managing Key Characteristics vary, even within the same industry. This thesis is therefore aimed to create a view of which factors that characterize an effective and efficient way for companies in the aerospace industry to work with Key Characteristics. The thesis involves a case study to create a framework for how companies within this industry work with Key Characteristics, a literature review to see which approaches are advocated by previous research and two benchmark studies to see examples of how Key Characteristics are used and handled in practice in industry.The results show that the work of Key Characteristics should meet three main criteria in order to be effective and efficient: • it must be clearly focused on the characteristics that have critical impact on customer requirements and at the same time considerable variation in production, • it should be initiated early in the product development process and then performed iteratively during the process of continuously reducing variation problems in manufacturing, and • it should identify Key Characteristics using both qualitative and quantitative tools to best capture all different kinds of requirements on the product.Finally a practical example is given of how the work with Key Characteristics should look like at GKN Sweden AB, the case study company in the aerospace industry, to effectively minimize the costs associated with production variation, and yet satisfy all customer requirements.
Validerat; 20140811 (global_studentproject_submitter)
Subjects/Keywords: Technology; Teknik; Robust; Design; Design for robustness; Key characteristics; Key; Characteristic; Aerospace; GKN; Aircraft; Variation; AS9103; Variation management; Risk; Volvo; Saab; Variation risk management; Flight safety; Safety; Flow-down; Thornton; Critical item; Critical; Item; Characteristics; Proactive; VRM; CI; KC; Risk mitigation; Flowdown; Product development; Development; Product characteristics; Product defects; Defect; Deviation; Variation cost; Quality; Critical effect; PDP
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Berglund, J. (2014). Key Characteristics as a Practice toAchieve Robust Design : A case study in the aerospace industry. (Thesis). Luleå University of Technology. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49690
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Berglund, Jacob. “Key Characteristics as a Practice toAchieve Robust Design : A case study in the aerospace industry.” 2014. Thesis, Luleå University of Technology. Accessed April 12, 2021.
http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49690.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Berglund, Jacob. “Key Characteristics as a Practice toAchieve Robust Design : A case study in the aerospace industry.” 2014. Web. 12 Apr 2021.
Vancouver:
Berglund J. Key Characteristics as a Practice toAchieve Robust Design : A case study in the aerospace industry. [Internet] [Thesis]. Luleå University of Technology; 2014. [cited 2021 Apr 12].
Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49690.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Berglund J. Key Characteristics as a Practice toAchieve Robust Design : A case study in the aerospace industry. [Thesis]. Luleå University of Technology; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-49690
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Toronto
11.
Rubin, Julia.
Cloned Product Variants: From Ad-hoc to Well-managed Software Reuse.
Degree: PhD, 2014, University of Toronto
URL: http://hdl.handle.net/1807/68443
► A large number of companies, especially in the automotive, electronics, aerospace and defense domains, develop a portfolio of closely related software products designed to satisfy…
(more)
▼ A large number of companies, especially in the automotive, electronics, aerospace and defense domains, develop a portfolio of closely related software products designed to satisfy similar, yet not identical, needs of their customers (a.k.a. a software
product line). Even though numerous software
product line engineering approaches promise to ease the
product line development and maintenance effort, in practice, the adoption of such approaches is still limited. Instead, products are often established ad-hoc, e.g., by copying existing variants and modifying them to fit the requirements of a new customer or market segment.In this thesis, we investigate the reuse culture in organizations that employ cloning to realize their
product lines. By analyzing development activities in several industrial
product lines, we show that an efficient management of clones relies on both (1) the unification of the cloned variants into single-copy representations promoted by
product line engineering methods and (2) the construction of a management infrastructure on top of existing variants, which allows to mitigate the shortcomings of cloning while leveraging its benefits. These two directions, in fact, coexist and complement each other within a single organization during the transition from ad-hoc to managed reuse~ – a process that usually takes several years. Based on empirical evidence, we build the foundations for the management of cloned
product variants, contributing a framework that specifies a set of conceptual operators required for variant maintenance and evolution. We show that these operators provide the necessary building blocks that can be composed to realize complex scenarios related to the management of clones, during both the unification and the maintenance of existing variants. We discuss possible implementations of the operators, mapping them to existing work when available. We also provide implementation for some of the missing functionality, and identify opportunities for future research.We believe that the operator-based view promoted by this work provides a systematic approach for understanding the required, existing and missing functionality. It thus transforms the effort of introducing managed reuse in organizations that employ cloning from opportunistic to predicted, controlled and reproducible. Our work supports both researchers and practitioners interested in improving reuse practices in families of related products, promoting an incremental and staged transition from ad-hoc to well-managed reuse.
Advisors/Committee Members: Marsha, Chechik, Computer Science.
Subjects/Keywords: Cloned Product Variants; Feature Location; Legacy Product Lines; N-Way Merge; Product Merging; Software Product Lines; 0984
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Rubin, J. (2014). Cloned Product Variants: From Ad-hoc to Well-managed Software Reuse. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/68443
Chicago Manual of Style (16th Edition):
Rubin, Julia. “Cloned Product Variants: From Ad-hoc to Well-managed Software Reuse.” 2014. Doctoral Dissertation, University of Toronto. Accessed April 12, 2021.
http://hdl.handle.net/1807/68443.
MLA Handbook (7th Edition):
Rubin, Julia. “Cloned Product Variants: From Ad-hoc to Well-managed Software Reuse.” 2014. Web. 12 Apr 2021.
Vancouver:
Rubin J. Cloned Product Variants: From Ad-hoc to Well-managed Software Reuse. [Internet] [Doctoral dissertation]. University of Toronto; 2014. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/1807/68443.
Council of Science Editors:
Rubin J. Cloned Product Variants: From Ad-hoc to Well-managed Software Reuse. [Doctoral Dissertation]. University of Toronto; 2014. Available from: http://hdl.handle.net/1807/68443

University of Manchester
12.
Zakaria, Zalina.
Cosmetic safety regulations : a comparative study of Europe, the USA and Malaysia.
Degree: PhD, 2012, University of Manchester
URL: https://www.research.manchester.ac.uk/portal/en/theses/cosmetic-safety-regulationsa-comparative-studyof-europe-the-usaand-malaysia(61936734-3118-4e89-986f-147211ec82cb).html
;
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.568577
► The need for product safety regulation is no longer a source of debate. It should be the primary aim in any consumer protection policy. This…
(more)
▼ The need for product safety regulation is no longer a source of debate. It should be the primary aim in any consumer protection policy. This is due to the fact that there are a lot of consumer goods that are heterogeneous and more technologically advanced that are continually being introduced to consumers. Cosmetic products are currently one of the most popular consumer products. Their increase in sales is evident globally including in developing countries. They are no longer solely associated with women but are being used by all people, of all ages. With such popularity, cosmetics producers are eager to make a profit, which sometimes has resulted in the introduction of cosmetics which are not safe and cause adverse effects. This suggests that there might be a loophole in the adequacy of the safety laws or regulations. The possibility of these safety issues occurring anywhere is generally acknowledged, which makes it a global issue. Although such cases are not as frequent as for other consumer goods such as foods or pharmaceuticals, there is a need to investigate the cosmetics safety mechanisms in order to see if consumers are adequately protected and if the safety mechanisms for cosmetics are efficient. In realising this aim, the study takes three jurisdictions to compare, namely the EU, the USA and Malaysia. Through analysis, the ideal features of cosmetics regulations based on the larger picture of safety regulation generally are also considered. This study contrasts the EU and Malaysia, that have in place government regulation of cosmetics, with the USA that has a different regime for cosmetics, more dependent on self-regulation. Out of the three, Malaysia is the newest country that has introduced a new law on cosmetic products and this has been adopted from the EU model. Although discussions on cosmetic regulations have been undertaken in Malaysia, the legal safety issues to which they give rise have not been investigated systematically in comparison with the EU and the USA. Even in these jurisdictions cosmetics safety is not discussed as much as other consumer products. This thesis also investigates why Malaysia has adopted the EU policy and not some other policy such as the American one. Once the above issues have been considered, the impact of the new emerging technology of nano-cosmetics is analysed. The thesis found that, Malaysia, as with any newly introduced system, has experienced some setbacks and encountered teething problems due to a lack of resources, structure, technical facilities and qualified personnel. However, as a developing nation, it certainly has benefited from the adoption of the EU system. Although there is still much room for improvement, this borrowing has benefited consumers, in so far as safety is concerned, because of the common and standard safety assessments and the responsibility of safety now being placed on the manufacturers. Consumers can also enjoy more products due to the elimination of trade barriers through free movement and cooperation between member states
Subjects/Keywords: 344.04; product safety regulation; cosmetic safety regululation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zakaria, Z. (2012). Cosmetic safety regulations : a comparative study of Europe, the USA and Malaysia. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/cosmetic-safety-regulationsa-comparative-studyof-europe-the-usaand-malaysia(61936734-3118-4e89-986f-147211ec82cb).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.568577
Chicago Manual of Style (16th Edition):
Zakaria, Zalina. “Cosmetic safety regulations : a comparative study of Europe, the USA and Malaysia.” 2012. Doctoral Dissertation, University of Manchester. Accessed April 12, 2021.
https://www.research.manchester.ac.uk/portal/en/theses/cosmetic-safety-regulationsa-comparative-studyof-europe-the-usaand-malaysia(61936734-3118-4e89-986f-147211ec82cb).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.568577.
MLA Handbook (7th Edition):
Zakaria, Zalina. “Cosmetic safety regulations : a comparative study of Europe, the USA and Malaysia.” 2012. Web. 12 Apr 2021.
Vancouver:
Zakaria Z. Cosmetic safety regulations : a comparative study of Europe, the USA and Malaysia. [Internet] [Doctoral dissertation]. University of Manchester; 2012. [cited 2021 Apr 12].
Available from: https://www.research.manchester.ac.uk/portal/en/theses/cosmetic-safety-regulationsa-comparative-studyof-europe-the-usaand-malaysia(61936734-3118-4e89-986f-147211ec82cb).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.568577.
Council of Science Editors:
Zakaria Z. Cosmetic safety regulations : a comparative study of Europe, the USA and Malaysia. [Doctoral Dissertation]. University of Manchester; 2012. Available from: https://www.research.manchester.ac.uk/portal/en/theses/cosmetic-safety-regulationsa-comparative-studyof-europe-the-usaand-malaysia(61936734-3118-4e89-986f-147211ec82cb).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.568577
13.
Jonsson, Erik.
Mobile Interaction with Safety Critical Systems : A feasibility study.
Degree: Design and Engineering, 2015, Mälardalen University
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820
► Embedded systems exists everywhere around us and the number of applications seems to be ever growing. They are found in electrical devices from coee…
(more)
▼ Embedded systems exists everywhere around us and the number of applications seems to be ever growing. They are found in electrical devices from coee machines to aircrafts. The common denominator is that they are designed for the specic purpose of the application. Some of them are used in safety critical systems where it is crucial that they operate correct and as intended in order to avoid accidents that can harm humans or properties. Meanwhile, general purpose Commercial O The Shelf (COTS) devices that can be found in the retail store, such as smartphones and tablets, has become a natural part of everyday life in the society. New applications are developed every day that improves everyday living, but numerous are also coupled to specic devices in order to control its functionality. Interaction between embedded systems and the exible devices do however not come without issues. Security, safety and ethical aspects are some of the issues that should be considered. In this thesis, a case study was performed to investigate the feasibility of using mobile COTS products in interaction with safety critical systems with respect to functional safety. Six user scenarios were identied for investigation, which could be of interest for industrial applications; The operator presented live machine data, The operator controlling the machine remotely, The service technician using mobile device in maintenance, service technician reading machine logs from the oce, the production manager analyzing machine productivity logs from the oce and the software manager uploading software. Restrictions in the functional safety standard, IEC 61508, and the characteristics of COTS devices, leads to the conclusion that real time interaction with safety systems is not allowed if the certication is to be preserved. Extracting information used to analyze the system where data is only sent from the machine would be allowed. All scenarios where the machine sends data to the user, and the data is only used as information, are hence allowed if isolation properties are guaranteed. A prototype system was designed and parts of it were implemented to show how sending and logging information can be performed using the company developed communication platform Data Engine.
Subjects/Keywords: Safety Critical Systems; COTS interaction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Jonsson, E. (2015). Mobile Interaction with Safety Critical Systems : A feasibility study. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Jonsson, Erik. “Mobile Interaction with Safety Critical Systems : A feasibility study.” 2015. Thesis, Mälardalen University. Accessed April 12, 2021.
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Jonsson, Erik. “Mobile Interaction with Safety Critical Systems : A feasibility study.” 2015. Web. 12 Apr 2021.
Vancouver:
Jonsson E. Mobile Interaction with Safety Critical Systems : A feasibility study. [Internet] [Thesis]. Mälardalen University; 2015. [cited 2021 Apr 12].
Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Jonsson E. Mobile Interaction with Safety Critical Systems : A feasibility study. [Thesis]. Mälardalen University; 2015. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-29820
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Queensland University of Technology
14.
Catchpoole, Jesani Mitsuko.
Developing and evaluating approaches for utilising injury data to support product safety initiatives.
Degree: 2015, Queensland University of Technology
URL: https://eprints.qut.edu.au/82805/
► With increasing concern about consumer product-related injuries in Australia, product safety regulators need evidence-based research to understand risks and patterns to inform their decision making.…
(more)
▼ With increasing concern about consumer product-related injuries in Australia, product safety regulators need evidence-based research to understand risks and patterns to inform their decision making. This study analysed paediatric injury data to identify and quantify product-related injuries in children to inform product safety prioritisation. This study provides information on novel techniques for interrogating health data to identify trends and patterns in product-related injuries to inform strategic directions in this growing area of concern.
Subjects/Keywords: Injury data; Injury Surveillance; Product Causality; Product involvement fcator; Product-related injury; Product Safety; Prioritisation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Catchpoole, J. M. (2015). Developing and evaluating approaches for utilising injury data to support product safety initiatives. (Thesis). Queensland University of Technology. Retrieved from https://eprints.qut.edu.au/82805/
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Catchpoole, Jesani Mitsuko. “Developing and evaluating approaches for utilising injury data to support product safety initiatives.” 2015. Thesis, Queensland University of Technology. Accessed April 12, 2021.
https://eprints.qut.edu.au/82805/.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Catchpoole, Jesani Mitsuko. “Developing and evaluating approaches for utilising injury data to support product safety initiatives.” 2015. Web. 12 Apr 2021.
Vancouver:
Catchpoole JM. Developing and evaluating approaches for utilising injury data to support product safety initiatives. [Internet] [Thesis]. Queensland University of Technology; 2015. [cited 2021 Apr 12].
Available from: https://eprints.qut.edu.au/82805/.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Catchpoole JM. Developing and evaluating approaches for utilising injury data to support product safety initiatives. [Thesis]. Queensland University of Technology; 2015. Available from: https://eprints.qut.edu.au/82805/
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

George Mason University
15.
Tzeremes, Vasilios.
End User Software Product Line Support for Smart Spaces
.
Degree: 2016, George Mason University
URL: http://hdl.handle.net/1920/10632
► Smart spaces are physical environments equipped with pervasive technology that sense and react to human activities and changes in the environment. End User Development (EUD)…
(more)
▼ Smart spaces are physical environments equipped with pervasive technology that sense and react to human activities and changes in the environment. End User Development (EUD) skills vary significantly among end users who want to design, develop and deploy software applications for their smart spaces. Typical end user development is opportunistic, requirements are usually unplanned and undocumented, applications are simplistic in nature, design is ad-hoc, reuse is limited, and software testing is typically haphazard, leading to many quality issues. On the other hand, technical end users with advanced EUD skills and domain expertise have the ability to create sophisticated software applications for smart spaces that are well designed and tested.
Advisors/Committee Members: Gomaa, Hassan (advisor).
Subjects/Keywords: Information technology;
Computer science;
End User Development;
End User Software Product Lines;
Feature Modeling;
Smart Spaces;
Software Product Lines;
Software Reuse
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Tzeremes, V. (2016). End User Software Product Line Support for Smart Spaces
. (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/10632
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Tzeremes, Vasilios. “End User Software Product Line Support for Smart Spaces
.” 2016. Thesis, George Mason University. Accessed April 12, 2021.
http://hdl.handle.net/1920/10632.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Tzeremes, Vasilios. “End User Software Product Line Support for Smart Spaces
.” 2016. Web. 12 Apr 2021.
Vancouver:
Tzeremes V. End User Software Product Line Support for Smart Spaces
. [Internet] [Thesis]. George Mason University; 2016. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/1920/10632.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Tzeremes V. End User Software Product Line Support for Smart Spaces
. [Thesis]. George Mason University; 2016. Available from: http://hdl.handle.net/1920/10632
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Universitat Politècnica de València
16.
Gómez Llana, Abel.
MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS
.
Degree: 2012, Universitat Politècnica de València
URL: http://hdl.handle.net/10251/15075
► La Ingeniería de Líneas de Productos Software -Software Product Line Engineerings (SPLEs) en inglés- es una técnica de desarrollo de software que busca aplicar los…
(more)
▼ La Ingeniería de Líneas de Productos Software -Software
Product Line Engineerings
(SPLEs) en inglés- es una técnica de desarrollo de software que busca aplicar
los principios de la fabricación industrial para la obtención de aplicaciones informáticas:
esto es, una Línea de productos Software -Software
Product Line (SPL)-
se emplea para producir una familia de productos con características comunes, cuyos
miembros, sin embargo, pueden tener características diferenciales. Identificar
a priori estas características comunes y diferenciales permite maximizar la reutilización,
reduciendo el tiempo y el coste del desarrollo. Describir estas relaciones
con la suficiente expresividad se vuelve un aspecto fundamental para conseguir el
éxito.
La Ingeniería Dirigida por Modelos -Model Driven Engineering (MDE) en
inglés- se ha revelado en los últimos años como un paradigma que permite tratar
con artefactos software con un alto nivel de abstracción de forma efectiva. Gracias
a ello, las SPLs puede aprovecharse en granmedida de los estándares y herramientas
que han surgido dentro de la comunidad de MDE.
No obstante, aún no se ha conseguido una buena integración entre SPLE y MDE,
y como consecuencia, los mecanismos para la gestión de la variabilidad no son suficientemente expresivos. De esta manera, no es posible integrar la variabilidad de
forma eficiente en procesos complejos de desarrollo de software donde las diferentes
vistas de un sistema, las transformaciones de modelos y la generación de código
juegan un papel fundamental.
Esta tesis presenta MULTIPLE, un marco de trabajo y una herramienta que persiguen
integrar de forma precisa y eficiente los mecanismos de gestión de variabilidad
propios de las SPLs dentro de los procesos de MDE. MULTIPLE proporciona
lenguajes específicos de dominio para especificar diferentes vistas de los sistemas
software. Entre ellas se hace especial hincapié en la vista de variabilidad ya que es
determinante para la especificación de SPLs.
Advisors/Committee Members: Ramos Salavert, Isidro (advisor).
Subjects/Keywords: Model driven engineering (mde);
Software product lines (spl);
Model driven software product lines (mdspl);
Variability;
Feature modeling
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Gómez Llana, A. (2012). MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS
. (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/15075
Chicago Manual of Style (16th Edition):
Gómez Llana, Abel. “MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS
.” 2012. Doctoral Dissertation, Universitat Politècnica de València. Accessed April 12, 2021.
http://hdl.handle.net/10251/15075.
MLA Handbook (7th Edition):
Gómez Llana, Abel. “MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS
.” 2012. Web. 12 Apr 2021.
Vancouver:
Gómez Llana A. MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS
. [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2012. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/10251/15075.
Council of Science Editors:
Gómez Llana A. MODEL DRIVEN SOFTWARE PRODUCT LINE ENGINEERING: SYSTEM VARIABILITY VIEW AND PROCESS IMPLICATIONS
. [Doctoral Dissertation]. Universitat Politècnica de València; 2012. Available from: http://hdl.handle.net/10251/15075

Iowa State University
17.
Liu, Jing.
Safety analysis of software product lines using state-based modeling and compositional model checking.
Degree: 2008, Iowa State University
URL: https://lib.dr.iastate.edu/etd/11210
► Software product lines are widely used due to their advantageous reuse of shared features while still allowing optional and alternative features in the individual products.…
(more)
▼ Software product lines are widely used due to their advantageous reuse of shared features while still allowing optional and alternative features in the individual products. In high-integrity product lines such as pacemakers, flight control systems, and medical imaging systems, ensuring that common and variable safety requirements hold as each new product is built or existing products are evolved is key to the safe operations of those systems.
However, this goal is currently hampered by the complexity of identifying the interactions among common and variable features that may undermine system safety. This is largely due to (1) the fact that the available safety analysis techniques lack sufficient support for analyzing the combined effects of different features, and (2) existing techniques for identifying feature interactions do not adequately accommodate the presence of common features and results in repeated checking across different products.
The work described here addresses the first problem by systematically exploring the relationships between behavioral variations and potential hazardous states through scenario guided executions of the state model over the variations. It contributes to a solution to the second problem by generating formal obligations at the interfaces between features, so that sequentially composed features can be verified in a way that allows reuse for subsequent products.
The main contributions of this work are an approach to perform safety analysis on the variations in a product line using state-based modeling, a tool-supported technique that guides and manages the generation of model-checkable properties from product-line requirements, and a formal framework for model checking product-line features that removes restrictions on how the features can be sequentially composed. The techniques and their implementations are demonstrated in the context of a medical-device product line.
Subjects/Keywords: Compositional Model Checking; Features; Property Specification; Safety Analysis; Software Product Lines; State-based Modeling; Computer Sciences
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Liu, J. (2008). Safety analysis of software product lines using state-based modeling and compositional model checking. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/11210
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Liu, Jing. “Safety analysis of software product lines using state-based modeling and compositional model checking.” 2008. Thesis, Iowa State University. Accessed April 12, 2021.
https://lib.dr.iastate.edu/etd/11210.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Liu, Jing. “Safety analysis of software product lines using state-based modeling and compositional model checking.” 2008. Web. 12 Apr 2021.
Vancouver:
Liu J. Safety analysis of software product lines using state-based modeling and compositional model checking. [Internet] [Thesis]. Iowa State University; 2008. [cited 2021 Apr 12].
Available from: https://lib.dr.iastate.edu/etd/11210.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Liu J. Safety analysis of software product lines using state-based modeling and compositional model checking. [Thesis]. Iowa State University; 2008. Available from: https://lib.dr.iastate.edu/etd/11210
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

McMaster University
18.
Alabbad, Mohammed.
A Feature Modelling Language Based on Product Family Algebra.
Degree: MASc, 2013, McMaster University
URL: http://hdl.handle.net/11375/13324
► Feature modelling is an emerging software engineering paradigm, which helps organizations to develop products from core assets. Products are organized into families that share…
(more)
▼ Feature modelling is an emerging software engineering paradigm, which helps organizations to develop products from core assets. Products are organized into families that share common core features. Feature modelling involves capturing, into a feature model, the commonality and variability of product families and several relationships among features or products. This thesis is about proposing a language for specifying feature models that is based on product family algebra (PFA). The language is intended to encompass the constructs found in early feature modelling graphical notations and languages. The thesis gives the syntax and the semantics of the proposed language. It discusses the design of its compiler that takes a feature model specification and generates its corresponding PFA, which can be analyzed using the tool Jory. The thesis uses a quite extensive case study to illustrate the use of the proposed language and its compiler.
Master of Applied Science (MASc)
Advisors/Committee Members: Khedri, Ridha, Computing and Software.
Subjects/Keywords: feature modelling; language; software product lines; product families; Software Engineering; Software Engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Alabbad, M. (2013). A Feature Modelling Language Based on Product Family Algebra. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/13324
Chicago Manual of Style (16th Edition):
Alabbad, Mohammed. “A Feature Modelling Language Based on Product Family Algebra.” 2013. Masters Thesis, McMaster University. Accessed April 12, 2021.
http://hdl.handle.net/11375/13324.
MLA Handbook (7th Edition):
Alabbad, Mohammed. “A Feature Modelling Language Based on Product Family Algebra.” 2013. Web. 12 Apr 2021.
Vancouver:
Alabbad M. A Feature Modelling Language Based on Product Family Algebra. [Internet] [Masters thesis]. McMaster University; 2013. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/11375/13324.
Council of Science Editors:
Alabbad M. A Feature Modelling Language Based on Product Family Algebra. [Masters Thesis]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13324

University of Alberta
19.
Necyk, Candace.
The Detection and Causality Assessment of Adverse Events
Related to Natural Health Product Use in Community Pharmacies
through the Implementation of Active Surveillance.
Degree: MS, Department of Medicine, 2013, University of Alberta
URL: https://era.library.ualberta.ca/files/9306sz64n
► Background: Natural health products (NHP) are widely used by the public. Since NHPs are pharmacologically active products, their ability to cause adverse reactions (AR) is…
(more)
▼ Background: Natural health products (NHP) are widely
used by the public. Since NHPs are pharmacologically active
products, their ability to cause adverse reactions (AR) is present
and well-documented. Currently employed passive surveillance
systems are not well-equipped to detect NHP adverse events (AE) due
to issues with significant underreporting, lack of patient
disclosure of NHP use to health care providers and patients not
attributing an AE to a NHP due to their perception of safety with
these products. Other types of surveillance systems, such as active
surveillance, may be more appropriate to detect NHP AEs as
increased detection has been documented with these systems.
Pharmacists are well-trained to screen for NHP use and AEs,
including interactions between health products. Once an AE is
detected, causality assessment is required to determine if there is
a causal link between a health product and the AE. Currently, no
causality tools are available, or take into consideration, the
evaluation of AEs involving NHPs. Methods: The work for this thesis
was derived from two studies. The first study involved the
implementation of active surveillance into community pharmacies to
screen for the proportion of patients taking prescription drugs
and/or NHPs, as well as their respective AE rates. All AEs reported
by patients who consented to, and were available for, a detailed
telephone interview were adjudicated fully to assess for causality.
The second study involved developing, piloting and refining an
adjudication process and subsequent causality assessment tools to
be used to assess AEs; these process and tools were modified for
inclusion of NHP-specific factors. Important case reports resulting
from the screening and causality assessment were used to translate
knowledge to pharmacists. Results: We screened 1118 patients
screened in 10 community pharmacies across Alberta and British
Columbia, and obtained reports of 54 AEs. Of the 657 (58.8%; 95%
CI: 55.5-61.6) patients who took prescription drugs and NHPs
concurrently, 48 (7.3%; 95% CI: 5.6% to 9.6%) reported an AE. This
AE rate is 6.4 times (OR; 95% CI: 2.5 – 16.2; p<0.001)
greater than those who took prescription drugs alone. On a national
level, combined with data from Ontario, Canada, 45.4% (95% CI:
43.8%-47.0%) of Canadians that visit community pharmacies take NHPs
and prescription drugs concurrently and of those, 7.4% (95% CI:
6.3%-8.8%) report an AE. Three causality assessment scales,
Naranjo, Horn and WHO-UMC, were modified to include the assessment
of NHP AEs. The adjudication process and scales developed were
piloted in 24 cases (patients reporting an AE with NHP use and
available for a full interview) and were able to assess causality
of all cases. The tools were then refined by the adjudication team
until no further changes were deemed necessary. Two cases found
through this process were submitted and will be published in a
well-known national pharmacists’ journal to highlight the
importance of the data found to practicing pharmacists. Conclusion:
A…
Subjects/Keywords: Natural Health Product; Safety; Active Surveillance
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Necyk, C. (2013). The Detection and Causality Assessment of Adverse Events
Related to Natural Health Product Use in Community Pharmacies
through the Implementation of Active Surveillance. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/9306sz64n
Chicago Manual of Style (16th Edition):
Necyk, Candace. “The Detection and Causality Assessment of Adverse Events
Related to Natural Health Product Use in Community Pharmacies
through the Implementation of Active Surveillance.” 2013. Masters Thesis, University of Alberta. Accessed April 12, 2021.
https://era.library.ualberta.ca/files/9306sz64n.
MLA Handbook (7th Edition):
Necyk, Candace. “The Detection and Causality Assessment of Adverse Events
Related to Natural Health Product Use in Community Pharmacies
through the Implementation of Active Surveillance.” 2013. Web. 12 Apr 2021.
Vancouver:
Necyk C. The Detection and Causality Assessment of Adverse Events
Related to Natural Health Product Use in Community Pharmacies
through the Implementation of Active Surveillance. [Internet] [Masters thesis]. University of Alberta; 2013. [cited 2021 Apr 12].
Available from: https://era.library.ualberta.ca/files/9306sz64n.
Council of Science Editors:
Necyk C. The Detection and Causality Assessment of Adverse Events
Related to Natural Health Product Use in Community Pharmacies
through the Implementation of Active Surveillance. [Masters Thesis]. University of Alberta; 2013. Available from: https://era.library.ualberta.ca/files/9306sz64n

Technical University of Lisbon
20.
Lygina, Natalya.
Educational Scientific toys for children of 5-10 years.
Degree: 2015, Technical University of Lisbon
URL: https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/13584
Dissertação de Mestrado em Design, com a especialização em Design de Produto, apresentada na Faculdade de Arquitetura da Universidade de Lisboa para obtenção do grau de Mestre.
N/A
Advisors/Committee Members: Almeida, Rita Assoreira.
Subjects/Keywords: Children; Product design; Science; Materials & techology; Safety
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Lygina, N. (2015). Educational Scientific toys for children of 5-10 years. (Thesis). Technical University of Lisbon. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/13584
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Lygina, Natalya. “Educational Scientific toys for children of 5-10 years.” 2015. Thesis, Technical University of Lisbon. Accessed April 12, 2021.
https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/13584.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Lygina, Natalya. “Educational Scientific toys for children of 5-10 years.” 2015. Web. 12 Apr 2021.
Vancouver:
Lygina N. Educational Scientific toys for children of 5-10 years. [Internet] [Thesis]. Technical University of Lisbon; 2015. [cited 2021 Apr 12].
Available from: https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/13584.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Lygina N. Educational Scientific toys for children of 5-10 years. [Thesis]. Technical University of Lisbon; 2015. Available from: https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/13584
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Victoria University of Wellington
21.
Samoylov, Vlad.
Addressing the legal issues of an innovative start-up company.
Degree: 2014, Victoria University of Wellington
URL: http://hdl.handle.net/10063/3439
► Before examining the substance of the law it is necessary to discuss the contrast between law and practice. It is important to keep in mind…
(more)
▼ Before examining the substance of the law it is necessary to discuss the contrast between law and practice. It is important to keep in mind that the letter of the law is sometimes not what is done in practice. This realisation is often referred to as the “law and society perspective.” Advocates of this perspective treat legal doctrine as more than just a closed system because they recognise that there are other external influences at play. Beyond the law, people are also influenced by other factors such as social roles, morals, religion and culture. For example, university researchers have an external incentive mechanism outside of IP law. Such researchers frequently prefer to publish their results and discoveries in academic journals rather than file for patents. A patent cannot be granted where there has been a publication. However the researchers are motivated by other incentives such as access to research funds and the attainment of professorship.
The Law and Society perspective highlights the fact that the formal processes, which are provided for by the law are at times substituted by informal customs and understandings. An information technology (IT) firm that contributed to this paper by participating in an interview (Interviewee A), provided a good example of such an occurrence. Rather than use any of the formal IP modes of protection which are discussed in the following sections of this paper, ‘Interviewee A’ uses a very unorthodox strategy to protect their IP. They said: “we rely on employment contracts, code of conduct, and especially personal ethics and behaviour to protect our IP. We therefore have a company culture that encourages teamwork and cooperation”.
Advisors/Committee Members: Corbett, Susan.
Subjects/Keywords: Intellectual property; Product safety standards; Law
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Samoylov, V. (2014). Addressing the legal issues of an innovative start-up company. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/3439
Chicago Manual of Style (16th Edition):
Samoylov, Vlad. “Addressing the legal issues of an innovative start-up company.” 2014. Masters Thesis, Victoria University of Wellington. Accessed April 12, 2021.
http://hdl.handle.net/10063/3439.
MLA Handbook (7th Edition):
Samoylov, Vlad. “Addressing the legal issues of an innovative start-up company.” 2014. Web. 12 Apr 2021.
Vancouver:
Samoylov V. Addressing the legal issues of an innovative start-up company. [Internet] [Masters thesis]. Victoria University of Wellington; 2014. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/10063/3439.
Council of Science Editors:
Samoylov V. Addressing the legal issues of an innovative start-up company. [Masters Thesis]. Victoria University of Wellington; 2014. Available from: http://hdl.handle.net/10063/3439
22.
Shaker, Pourya.
A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements.
Degree: 2013, University of Waterloo
URL: http://hdl.handle.net/10012/8100
► Many organizations specialize in the development of families of software systems, called software product lines (SPLs), for one or more domains (e.g., automotive, telephony, health…
(more)
▼ Many organizations specialize in the development of families of software systems, called software product lines (SPLs), for one or more domains (e.g., automotive, telephony, health care). SPLs are commonly developed as a shared set of assets representing the common and variable aspects of an SPL, and individual products are constructed by assembling the right combinations of assets. The feature-oriented software development (FOSD) paradigm advocates the use of system features as the primary unit of commonality and variability among the products of an SPL. A feature represents a coherent and identifiable bundle of system functionality, such as call waiting in telephony and cruise control in an automobile. Furthermore, FOSD aims at feature-oriented artifacts (FOAs); that is, software-development artifacts that explicate features, so that a clear mapping is established between a feature and its representation in different artifacts. The thesis first identifies the problem of developing a suitable language for expressing feature-oriented models of the functional requirements of an SPL, and then presents the feature-oriented requirements modelling language (FORML) as a solution to this problem. FORML's notation is based on standard software-engineering notations (e.g., UML class and state-machine models, feature models) to ease adoption by practitioners, and has a precise syntax and semantics to enable analysis.
The novelty of FORML is in adding feature-orientation to state-of-the-art requirements modelling approaches (e.g., KAOS), and in the systematic treatment of modelling evolutions of an SPL via enhancements to existing features. An existing feature can be enhanced by extending or modifying its requirements. Enhancements that modify a feature's requirements are called intended feature interactions. For example, the call waiting feature in telephony intentionally overrides the basic call service feature's treatment of incoming calls when the subscriber is already involved in a call. FORML prescribes different constructs for specifying different types of enhancements in state-machine models of requirements. Furthermore, unlike some prominent approaches (e.g., AHEAD, DFC), FORML's constructs for modelling intended feature interactions do not depend on the order in which features are composed; this can lead to savings in analysis costs, since only one rather than (possibly) multiple composition orders need to be analyzed.
A well-known challenge in FOSD is managing feature interactions, which, informally defined, are ways in which different features can influence one another in defining the overall properties and behaviours of their combination. Some feature interactions are intended, as described above, while other feature interactions are unintended: for example, the cruise control and anti-lock braking system features of an automobile may have incompatible affects on the automobile's acceleration, which would make their combination inconsistent. Unintended feature interactions should be detected and resolved. To…
Subjects/Keywords: requirements modelling; software product lines; feature-oriented software development; feature interactions
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Shaker, P. (2013). A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/8100
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Shaker, Pourya. “A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements.” 2013. Thesis, University of Waterloo. Accessed April 12, 2021.
http://hdl.handle.net/10012/8100.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Shaker, Pourya. “A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements.” 2013. Web. 12 Apr 2021.
Vancouver:
Shaker P. A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements. [Internet] [Thesis]. University of Waterloo; 2013. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/10012/8100.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Shaker P. A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements. [Thesis]. University of Waterloo; 2013. Available from: http://hdl.handle.net/10012/8100
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Newcastle
23.
Zhang, Guoheng.
Quality attributes modeling in feature models and feature model validation in software product lines.
Degree: PhD, 2013, University of Newcastle
URL: http://hdl.handle.net/1959.13/1036757
► Research Doctorate - Doctor of Philosophy (PhD)
In a software product line, a feature model represents the commonalities and variabilities among a family of software…
(more)
▼ Research Doctorate - Doctor of Philosophy (PhD)
In a software product line, a feature model represents the commonalities and variabilities among a family of software systems. Each valid combination of features authorized by a feature model corresponds to a possible product of the software product line. In feature-based product configuration, the desired features are selected from a feature model based on the customers’ requirements, but the selected features must satisfy the selection constraints specified in the feature model. In practice, two problems arise as the major obstacles of using feature models in product configuration. Firstly, a feature model may have errors which must be resolved for the effective product configuration. The feature model validation aims to identify the feature model errors and provide explanations for each identified error. The current validation approaches transform a feature model into a constraint satisfaction problem (CSP) and use solvers to reason on the CSP. However, the use of solvers might take an infeasible amount of time for validating large-scale feature models, as CSP exhibits the exponential complexity and requires a combination of heuristics and combinational search methods. A more efficient feature model validation approach is needed. Another problem is to assess the product quality in feature-based product configuration. In software development, the product quality is mostly handled until the final product is generated and tested. However, if the final product cannot satisfy the customers’ quality requirements, it will be very costly to fix the problems. Therefore, the product quality should be assessed in feature-based product configuration which is considered as the first stage of deriving valid products. To achieve this aim, the quality attributes must be modelled in a feature model. The current quality attributes modelling approaches have several limitations, such as requiring real products which are difficult to obtain or involving onerous human efforts. A systematic quality attributes modelling approach is needed to reduce the efforts involved in domain experts’ judgments. This research aims to address the above problems. First, I developed an efficient validation approach based on the contradictory feature relationships behind the errors. As the contradictory feature relationships were found based on feature relationship propagation, the solvers were not required by this approach. Second, I developed a quality attributes modelling approach which uses domain experts to make judgments and uses analytic hierarchical process to reduce the efforts involved in the judgments. A knowledge database called quality attribute knowledge base is generated to maintain the captured quality knowledge. Finally, I enhanced the feature-based product configuration with the captured quality knowledge. A desired product is configured from a feature model in a quality-aware manner. A prototype tool was developed to implement the concepts of the proposed approaches and a set of…
Advisors/Committee Members: University of Newcastle. Faculty of Engineering & Built Environment, School of Electrical Engineering and Computer Science.
Subjects/Keywords: software product lines; feature model; analytic hierarchical process; validation
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Zhang, G. (2013). Quality attributes modeling in feature models and feature model validation in software product lines. (Doctoral Dissertation). University of Newcastle. Retrieved from http://hdl.handle.net/1959.13/1036757
Chicago Manual of Style (16th Edition):
Zhang, Guoheng. “Quality attributes modeling in feature models and feature model validation in software product lines.” 2013. Doctoral Dissertation, University of Newcastle. Accessed April 12, 2021.
http://hdl.handle.net/1959.13/1036757.
MLA Handbook (7th Edition):
Zhang, Guoheng. “Quality attributes modeling in feature models and feature model validation in software product lines.” 2013. Web. 12 Apr 2021.
Vancouver:
Zhang G. Quality attributes modeling in feature models and feature model validation in software product lines. [Internet] [Doctoral dissertation]. University of Newcastle; 2013. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/1959.13/1036757.
Council of Science Editors:
Zhang G. Quality attributes modeling in feature models and feature model validation in software product lines. [Doctoral Dissertation]. University of Newcastle; 2013. Available from: http://hdl.handle.net/1959.13/1036757

University of Newcastle
24.
Tan, Lei.
Quality-oriented software product line.
Degree: MPhil, 2013, University of Newcastle
URL: http://hdl.handle.net/1959.13/1036939
► Masters Research - Master of Philosophy (MPhil)
In software engineering, quality evaluation and achievement are difficult tasks because of the complexity of the software systems.…
(more)
▼ Masters Research - Master of Philosophy (MPhil)
In software engineering, quality evaluation and achievement are difficult tasks because of the complexity of the software systems. Software reuse is one of the most promoted ways to improve software quality. Software Product Line Engineering (SPLE) is a newly established reuse-based paradigm, which has been well-recognised by the industry. SPLE has been successfully applied by the companies such as HP, Philips, Siemens, TomTom and so on. Instead of developing individual software products from scratch, SPLE aims to develop a set of similar software systems which share commonalities within a particular application domain. In software product lines (SPLs), reusable assets are developed from the beginning with the view that they will be used in other similar software products. Once they have been successfully developed, the individual product development follows a rigorous customization process. Quality-related issues for product lines, on both requirement and architectural levels, are the main focus of my research. To enhance quality-oriented product configuration, we have proposed an approach of measuring the contributions of software features to quality attributes. Features are compared in a pair-wise fashion, and the result is used to generate a ranking list, in which is indicated the relative importance of features to software quality achievement. The ranking list of features is able to greatly help software engineers to understand the factors that impact on final quality, thus assisting product configuration of SPLs. Additionally, the efficiency of feature-based configuration should also be improved, as configuration is normally a time-consuming and error-prone task. To improve the efficiency of configuration, we have taken into account of the dependencies between features, and adapted some classical algorithms to reduce errors and rollbacks possibly occuring in the product configuration. We have also considered quality issues in the process of software product line architecture development. A quality-oriented architectural framework has been proposed to specify various views and components composition for improving the quality awareness at the architectural level. We believe that software quality should be emphasised and modelled throughout the whole process of SPL development, rather than been focused on in a particular phase in the development. We have proposed an aspect-oriented SPL framework, in which we have introduced aspect-oriented modelling for both feature modelling and reference architecture design. The proposed framework is expected to model the impact of the nonfunctional requirements (NFRs) better, and to deal with software quality from requirement engineering to architecture design in a systematic way in SPL development.
Advisors/Committee Members: University of Newcastle. Faculty of Engineering & Built Environment, School of Electrical Engineering and Computer Science.
Subjects/Keywords: software product lines; quality evaluation; software engineers; architectural design
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Tan, L. (2013). Quality-oriented software product line. (Masters Thesis). University of Newcastle. Retrieved from http://hdl.handle.net/1959.13/1036939
Chicago Manual of Style (16th Edition):
Tan, Lei. “Quality-oriented software product line.” 2013. Masters Thesis, University of Newcastle. Accessed April 12, 2021.
http://hdl.handle.net/1959.13/1036939.
MLA Handbook (7th Edition):
Tan, Lei. “Quality-oriented software product line.” 2013. Web. 12 Apr 2021.
Vancouver:
Tan L. Quality-oriented software product line. [Internet] [Masters thesis]. University of Newcastle; 2013. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/1959.13/1036939.
Council of Science Editors:
Tan L. Quality-oriented software product line. [Masters Thesis]. University of Newcastle; 2013. Available from: http://hdl.handle.net/1959.13/1036939

University of Wisconsin – Milwaukee
25.
Naebulharam, Raed Ahmad.
Production Systems with Deteriorating Product Quality : System-Theoretic Approach.
Degree: PhD, Engineering, 2014, University of Wisconsin – Milwaukee
URL: https://dc.uwm.edu/etd/734
► Manufacturing systems with perishable products are widely seen in practice (e.g., food, metal processing, etc.). In such systems, the quality of a part is…
(more)
▼ Manufacturing systems with perishable products are widely seen in practice (e.g., food, metal processing, etc.). In such systems, the quality of a part is highly dependent on its residence time within the system. However, the behavior and properties of these systems have not been studied systematically, and, therefore, is carried out in this dissertation. Specifically, it was assumed that the probability that each unfinished part is of good quality is a decreasing function of its residence time in the preceding buffer. Then, in the framework of serial production
lines with machines having Bernoulli and geometric reliability models, closed-form formulas for performance evaluation in the two-machine line case were derived, and develop an aggregation-based procedure to approximate the performance measures in M>2-machine
lines. In addition, the monotonicity properties of these production
lines using numerical experiments were studied. A case study in an automotive stamping plant is described to illustrate the theoretical results obtained. Also, Bernoulli serial
lines with controlled parts released was analyzed for both deterministic and stochastic releases. Finally, bottleneck analysis in Bernoulli serial
lines with deteriorating
product quality were studied.
Advisors/Committee Members: Liang Zhang.
Subjects/Keywords: Deteriorating Quality; Production Systems; Product Quality; Serial Lines; Industrial Engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Naebulharam, R. A. (2014). Production Systems with Deteriorating Product Quality : System-Theoretic Approach. (Doctoral Dissertation). University of Wisconsin – Milwaukee. Retrieved from https://dc.uwm.edu/etd/734
Chicago Manual of Style (16th Edition):
Naebulharam, Raed Ahmad. “Production Systems with Deteriorating Product Quality : System-Theoretic Approach.” 2014. Doctoral Dissertation, University of Wisconsin – Milwaukee. Accessed April 12, 2021.
https://dc.uwm.edu/etd/734.
MLA Handbook (7th Edition):
Naebulharam, Raed Ahmad. “Production Systems with Deteriorating Product Quality : System-Theoretic Approach.” 2014. Web. 12 Apr 2021.
Vancouver:
Naebulharam RA. Production Systems with Deteriorating Product Quality : System-Theoretic Approach. [Internet] [Doctoral dissertation]. University of Wisconsin – Milwaukee; 2014. [cited 2021 Apr 12].
Available from: https://dc.uwm.edu/etd/734.
Council of Science Editors:
Naebulharam RA. Production Systems with Deteriorating Product Quality : System-Theoretic Approach. [Doctoral Dissertation]. University of Wisconsin – Milwaukee; 2014. Available from: https://dc.uwm.edu/etd/734

Colorado State University
26.
Jaksic, Aleksandar.
Design and evaluation of the FAMILIAR tool.
Degree: MS(M.S.), Computer Science, 2014, Colorado State University
URL: http://hdl.handle.net/10217/82556
► Software Product Line Engineering (SPLE) aims to efficiently produce multiple software products, on a large scale, that share a common set of core development features.…
(more)
▼ Software
Product Line Engineering (SPLE) aims to efficiently produce multiple software products, on a large scale, that share a common set of core development features. Feature Modeling is a popular SPLE technique used to describe variability in a
product family. FAMILIAR (FeAture Model scrIpt Language for manipulation and Automatic Reasoning) is a Domain-Specific Modeling Language (DSML) for manipulating Feature Models (FMs). One of the strengths of the FAMILIAR language is that it provides rich semantics for FM composition operators (aggregate, merge, insert) as well as decomposition operators (slice). The main contribution of this thesis is to provide an integrated graphical modeling environment that significantly improves upon the initial FAMILIAR framework that was text-based and consisted of loosely coupled parts. As part of this thesis we designed and implemented a new FAMILIAR Tool that provides (1) a fast rendering framework for the graphically representing feature models, (2) a configuration editor and (3) persistence of feature models. Furthermore, we evaluated the usability of our new FAMILIAR Tool by performing a small experiment primarily focusing on assessing quality aspects of newly authored FMs as well as user effectiveness and efficiency.
Advisors/Committee Members: France, Robert B. (advisor), Anderson, Charles W. (committee member), Ghosh, Sudipto (committee member), Troup, Lucy J. (committee member).
Subjects/Keywords: feature models; feature modeling; FAMILIAR; FAMILIAR tool; software product lines
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Jaksic, A. (2014). Design and evaluation of the FAMILIAR tool. (Masters Thesis). Colorado State University. Retrieved from http://hdl.handle.net/10217/82556
Chicago Manual of Style (16th Edition):
Jaksic, Aleksandar. “Design and evaluation of the FAMILIAR tool.” 2014. Masters Thesis, Colorado State University. Accessed April 12, 2021.
http://hdl.handle.net/10217/82556.
MLA Handbook (7th Edition):
Jaksic, Aleksandar. “Design and evaluation of the FAMILIAR tool.” 2014. Web. 12 Apr 2021.
Vancouver:
Jaksic A. Design and evaluation of the FAMILIAR tool. [Internet] [Masters thesis]. Colorado State University; 2014. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/10217/82556.
Council of Science Editors:
Jaksic A. Design and evaluation of the FAMILIAR tool. [Masters Thesis]. Colorado State University; 2014. Available from: http://hdl.handle.net/10217/82556

Columbia University
27.
Li, Anran.
Product Line Design, Pricing and Framing under General Choice Models.
Degree: 2018, Columbia University
URL: https://doi.org/10.7916/D8B86M2H
► This thesis handles fundamental problems faced by retailers everyday: how do consumers make choices from an enormous variety of products? How to design a product…
(more)
▼ This thesis handles fundamental problems faced by retailers everyday: how do consumers make choices from an enormous variety of products? How to design a product portfolio to maximize the expected profit given consumers’ choice behavior? How to frame products if consumers’ choices are influenced by the display location? We solve those problems by first, constructing mathematical models to describe consumers’ choice behavior from a given offer set, i.e., consumer choice models; second, by designing efficient algorithms to optimally select the product portfolio to maximize the expected profit, i.e., assortment optimization. This thesis consists of three main parts: the first part solves assortment optimization problem under a consideration set based choice model proposed by Manzini and Mariotti (2014) [Manzini, Paola, Marco Mariotti. 2014. Stochastic choice and consideration sets. Econometrica 82(3) 1153-1176.]; the second part proposes an approximation algorithm to jointly optimize products’ selection and display; the third part works on optimally designing a product line under the Logit family choice models when a product’s utility depends on attribute-level configurations.
Subjects/Keywords: Operations research; Industrial engineering; Consumer behavior; Product lines
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Li, A. (2018). Product Line Design, Pricing and Framing under General Choice Models. (Doctoral Dissertation). Columbia University. Retrieved from https://doi.org/10.7916/D8B86M2H
Chicago Manual of Style (16th Edition):
Li, Anran. “Product Line Design, Pricing and Framing under General Choice Models.” 2018. Doctoral Dissertation, Columbia University. Accessed April 12, 2021.
https://doi.org/10.7916/D8B86M2H.
MLA Handbook (7th Edition):
Li, Anran. “Product Line Design, Pricing and Framing under General Choice Models.” 2018. Web. 12 Apr 2021.
Vancouver:
Li A. Product Line Design, Pricing and Framing under General Choice Models. [Internet] [Doctoral dissertation]. Columbia University; 2018. [cited 2021 Apr 12].
Available from: https://doi.org/10.7916/D8B86M2H.
Council of Science Editors:
Li A. Product Line Design, Pricing and Framing under General Choice Models. [Doctoral Dissertation]. Columbia University; 2018. Available from: https://doi.org/10.7916/D8B86M2H
28.
Herbas, Jose Antonio Mercado.
Capturing Architectural Knowledge of Software Product Lines.
Degree: 2011, , School of Computing
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5206
► The architecture of a software system is defined by significant decisions that drive the way in which the software is designed implemented and maintained.…
(more)
▼ The architecture of a software system is defined by significant decisions that drive the way in which the software is designed implemented and maintained. In the context of software product lines, these decisions will determine the design of an architec- ture that provides the software with the ability to be configured for different product variants and extended to accommodate future requirements. Although, variability models describe the different configurations of current and fu- ture products that the product line supports, the knowledge of how the architecture was designed to support variations of a product in space and time exists only in the architects’ mind or remains implicit in architectural models. This thesis argues that the knowledge found in architectural models and design rationale can be used to facilitate the derivation of product variants and the evolution of the product line. To support this notion, we propose the AKinSPL method for capturing the architec- tural knowledge in software product lines. The method is founded on the factors that architects take into consideration when designing the architecture, and a meta-model that represents the mental models and processes architects follow during the creation of a product line architecture. To validate the concepts of AKinSPL, its guidelines were mapped to activities of the PuLSE-DSSA methodology and new artifacts were created to capture architectural knowledge on the basis of those guidelines. Next, it was applied to capture the archi- tectural knowledge of an embedded software system for automatic control of agricul- tural equipment. The results showed that diagrams augmented with design rationale enable a faster understanding of the purpose of the architectural models. Similarly, the prescriptions of the architecture with respect to the implementation are conveyed more easily.
[email protected] Tel: +4916099058545
Subjects/Keywords: Software Architecture; Knowledge Software Product Lines; Software Engineering; Programvaruteknik
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Herbas, J. A. M. (2011). Capturing Architectural Knowledge of Software Product Lines. (Thesis). , School of Computing. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5206
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Herbas, Jose Antonio Mercado. “Capturing Architectural Knowledge of Software Product Lines.” 2011. Thesis, , School of Computing. Accessed April 12, 2021.
http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5206.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Herbas, Jose Antonio Mercado. “Capturing Architectural Knowledge of Software Product Lines.” 2011. Web. 12 Apr 2021.
Vancouver:
Herbas JAM. Capturing Architectural Knowledge of Software Product Lines. [Internet] [Thesis]. , School of Computing; 2011. [cited 2021 Apr 12].
Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5206.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Herbas JAM. Capturing Architectural Knowledge of Software Product Lines. [Thesis]. , School of Computing; 2011. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5206
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

George Mason University
29.
Fant, Julie Street.
An Approach to Building Domain Specific Software Architectures from Software Architectural Design Patterns
.
Degree: 2011, George Mason University
URL: http://hdl.handle.net/1920/6588
► Software architectural design patterns represent best practice solutions to common design challenges. However, applying design patterns in practice can be difficult because they are typically…
(more)
▼ Software architectural design patterns represent best practice solutions to common design
challenges. However, applying design patterns in practice can be difficult because they
are typically documented to be domain independent. This makes applying them in a
particular domain difficult. Knowing where and at what level of abstraction software
architectural design patterns should be applied in a given domain is not always clear.
Currently, there are no existing approaches for building and validating domain specific
software architectures that focus on reusing and composing existing software
architectural design patterns. This dissertation addresses this gap by developing a
software
product line (SPL) based approach to building and validating domain specific
software architectures from software architectural design patterns.
The key contributions of this research include: the definition of distributed real-time and
embedded (DRE) executable design patterns; the definition of a SPL design approach that
captures SPL variability at a higher degree of granularity using design patterns; the
definition of different levels of required executable design pattern customizations; and a
feature and design pattern based functional validation approach. Additionally, a domain
specific SPL and two real world case studies are provided to validate and demonstrate the
applicability of this approach.
Advisors/Committee Members: Gomaa, Hassan (advisor).
Subjects/Keywords: Software Architecture;
Software Product Lines;
Software Design Patterns;
uml
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Fant, J. S. (2011). An Approach to Building Domain Specific Software Architectures from Software Architectural Design Patterns
. (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/6588
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Fant, Julie Street. “An Approach to Building Domain Specific Software Architectures from Software Architectural Design Patterns
.” 2011. Thesis, George Mason University. Accessed April 12, 2021.
http://hdl.handle.net/1920/6588.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Fant, Julie Street. “An Approach to Building Domain Specific Software Architectures from Software Architectural Design Patterns
.” 2011. Web. 12 Apr 2021.
Vancouver:
Fant JS. An Approach to Building Domain Specific Software Architectures from Software Architectural Design Patterns
. [Internet] [Thesis]. George Mason University; 2011. [cited 2021 Apr 12].
Available from: http://hdl.handle.net/1920/6588.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Fant JS. An Approach to Building Domain Specific Software Architectures from Software Architectural Design Patterns
. [Thesis]. George Mason University; 2011. Available from: http://hdl.handle.net/1920/6588
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Iowa State University
30.
Khoshmanesh, Seyedehzahra.
The role of similarity in detecting feature interaction in software product lines.
Degree: 2019, Iowa State University
URL: https://lib.dr.iastate.edu/etd/17717
► As a software product line evolves, it typically introduces new features and includes new products over time. A feature is a unit of functionality. Unwanted…
(more)
▼ As a software product line evolves, it typically introduces new features and includes new products over time. A feature is a unit of functionality. Unwanted feature interactions, wherein one feature hinders another feature’s operation, are a significant problem, especially as large software product lines evolve. This can lead to failures, performance degradation, and hazardous states in a new product. Software product line developers currently identify new, unwanted feature interactions primarily in the testing of each new product. This incurs significant costs, comes late in development, and does not exploit the knowledge of prior feature interactions within a product line. The contribution of this thesis is to leverage knowledge of prior feature interactions in a software product line, together with similarity measures between the features in known feature interactions and the new features, in order to detect similar feature interactions in a new product much earlier in the development process. Results obtained from application of our approach to three small software product lines from the literature showed an accuracy of 69% to 73% and coverage of 71% to 82% in detecting feature interactions. This indicates that the use of similarity measures between features in a software product line can help detect potential feature interactions in the design phase of a newly added product.
Subjects/Keywords: Feature Interaction; Similarity Metrics; Software Product Lines; Computer Sciences
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Khoshmanesh, S. (2019). The role of similarity in detecting feature interaction in software product lines. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/17717
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Khoshmanesh, Seyedehzahra. “The role of similarity in detecting feature interaction in software product lines.” 2019. Thesis, Iowa State University. Accessed April 12, 2021.
https://lib.dr.iastate.edu/etd/17717.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Khoshmanesh, Seyedehzahra. “The role of similarity in detecting feature interaction in software product lines.” 2019. Web. 12 Apr 2021.
Vancouver:
Khoshmanesh S. The role of similarity in detecting feature interaction in software product lines. [Internet] [Thesis]. Iowa State University; 2019. [cited 2021 Apr 12].
Available from: https://lib.dr.iastate.edu/etd/17717.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Khoshmanesh S. The role of similarity in detecting feature interaction in software product lines. [Thesis]. Iowa State University; 2019. Available from: https://lib.dr.iastate.edu/etd/17717
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
◁ [1] [2] [3] [4] [5] … [1238] ▶
.