The interaction of embedded systems with their environments and their resource limitations make it important to take into account properties such as timing, security, and resource consumption in designing such systems. These so-called Extra-Functional Properties (EFPs) capture and describe the quality and characteristics of a system, and they need to be taken into account from early phases of development and throughout the system's lifecycle. An important challenge in this context is to ensure that the EFPs that are defined at early design phases are actually preserved throughout detailed design phases as well as during the execution of the system on its platform. In this thesis, we provide solutions to help with the preservation of EFPs; targeting both system design phases and system execution on the platform. Starting from requirements, which form the constraints of EFPs, we propose an approach for modeling Non-Functional Requirements (NFRs) and evaluating different design alternatives with respect to the satisfaction of the NFRs. Considering the relationship and trade-off among EFPs, an approach for balancing timing versus security properties is introduced. Our approach enables balancing in two ways: in a static way resulting in a fixed set of components in the design model that are analyzed and thus verified to be balanced with respect to the timing and security properties, and also in a dynamic way during the execution of the system through runtime adaptation. Considering the role of the platform in preservation of EFPs and mitigating possible violations of them, an approach is suggested to enrich the platform with necessary mechanisms to enable monitoring and enforcement of timing properties. In the thesis, we also identify and demonstrate the issues related to accuracy in monitoring EFPs, how accuracy can affect the decisions that are made based on the collected information, and propose a technique to tackle this problem. As another contribution, we also show how runtime monitoring information collected about EFPs can be used to fine-tune design models until a desired set of EFPs are achieved. We have also developed a testing framework which enables automatic generation of test cases in order verify the actual behavior of a system against its desired behavior. On a high level, the contributions of the thesis are thus twofold: proposing methods and techniques to 1) improve maintenance of EFPs within their correct range of values during system design, 2) identify and mitigate possible violations of EFPs at runtime. / CHESS / MBAT / ITS-EASY

No description available.

No description available.

Current design methods in transportation engineering do not simultaneously address the levels of risk and service associated with the design and use of various highway geometric elements. Passing sight distance (PSD) is an example of a geometric element designed with no risk measures. PSD is provided to ensure the safety of passing maneuvers on two-lane roads. Many variables decide the minimum length required for a safe passing maneuver. These are random variables and represent a wide range of human and vehicle characteristics. Also, current PSD design practices replace these random variables by single-value means in the calculation process, disregarding their inherent variations. The research focuses on three main objectives. The first goal is to derive a PSD distribution that accounts for the variations in the contributing parameters. Two models are devised for this purpose, a Monte-Carlo simulation model and a closed form analytical estimation model. The results of both models verify each other and differ by less than 5 percent. Using the PSD distribution, the reliability index of the current PSD criteria are assessed. The second goal is to attach risk indices to the various PSD lengths of the obtained distribution. A unique microscopic simulation is devised to replicate passing maneuvers on two-lane roads. Using the simulation results, the author is able to assess the risk of various PSD lengths for a specific design speed. The risk index of the AASHTO Green Book and the MUTCD PSD standards are also obtained using simulation. With risk measures attached to the PSD lengths, a trade-off analysis between the level of service and risk is feasible to accomplish. The last task is concerned with applying the Highway Capacity Manual concepts to assessing the service measures of the different PSD lengths. The results of the final trade-off analysis show that for a design speed of 50 mph, the AASHTO Green Book and the MUTCD standards overestimate the PSD requirements. The criteria can be reduced to 725 ft and still be within an acceptable risk level. / Ph. D.

Acknowledging the necessity of a detailed understanding of the dynamics and contributions of wetlands in decision making processes, this research aims to identify the trade-offs between human interventions and human well-being in wetlands. Being one of the thirteen Ramsar Sites of Turkey and providing various ecosystem functions, Kizilirmak Delta was determined as the case study area of the research. Following the literature review on wetlands and their valuation, an assessment framework was developed for analyzing the trade-offs in the Kizilirmak Delta. Following this framework, first the importance, values and functions of the delta were defined by evaluation of its ecological, socio-cultural and economic structures and function analysis. Then, the pressures on the delta and their impacts were analyzed through DPSIR (Driving forces, Pressures, State, Impacts and Responses) Framework by action analysis. Finally, the trade-offs in the delta were calculated in monetary terms through valuation of the functions of the delta. Because of time and data constraints only a small portion of the functions of the delta was quantified in monetary terms. Calculated functions of the delta provide 753.531.772 TL worth of services that constitutes the 34 % of total GDP of the delta. This value was accepted as the cost of trade-offs in the delta, because the pressures on the delta would result in the loss of this value.

A abordagem de linha de produto de software (LP) tem como objetivo principal promover a geração de produtos específicos de um determinado domínio com base na reutilização de uma infraestrutura central, chamada núcleo de artefatos. Um dos principais artefatos do núcleo de uma LP é a Arquitetura de LP (ALP), que representa a abstração de todas as arquiteturas de sistemas únicos que podem ser gerados, para um domínio específico. Avaliações de ALP são importantes, pois permitem aumentar a produtividade e a qualidade dos produtos da LP, bem como, seus resultados permitem a análise de metas de negócio e de retorno de investimento. Este trabalho propõe um método sistemático para avaliação de ALP, o SystEM-PLA (a Systematic Evaluation Method for Software Product Line Architectures). Tal método considera modelos de ALP em UML, por ser uma notação amplamente conhecida e consolidada. SystEM-PLA é composto por um metaprocesso de avaliação, diretrizes que guiam o usuário em como avaliar uma ALP e métricas básicas para modelos UML e atributos de qualidade. O método utiliza a abordagem SMarty (Stereotype-based Management of Variability), para gerenciar variabilidades em LP baseadas em UML. Análises de trade-off com o objetivo de priorizar atributos de qualidade para o desenvolvimento e evolução dos produtos de uma LP são realizadas com base na aplicação e coleta das métricas do SystEM-PLA em configurações de uma ALP. As métricas propostas para os atributos de qualidade complexidade e extensibilidade foram validadas por meio de um estudo experimental. Evidências indicaram a viabilidade de aplicação do método SystEM-PLA na indústria com base em um estudo experimental realizado com profissionais de uma empresa de grande porte no setor de desenvolvimento de software / The software product line (PL) approach aims at promoting the generation of specific products from a particular domain based on the reuse of a central infra-structure, so-called core assets. One of the main assets of a PL is the PL Architecture (PLA) that represents the abstraction of all possible single-product architectures that can be generated for a particular domain. PLA evaluations are important due to allow the increasing of the productivity and the quality of PL products, as well as their results allow business drivers and return on investment analyzes. This work proposes a Systematic Evaluation Method for Software Product Line Architectures, the SystEM-PLA. This method takes into account UML models with PLA variability explicitly represented, since UML is a widely known and consolidated notation. SystEM-PLA is composed of an evaluation meta-process, guidelines that drive the user on how to evaluate a PLA, and basic and quality attribute metrics. This method uses the proposed approach Stereotype-based Management of Variability (SMarty) to manage variabilities in UML-based PLs. Trade-off analyses to prioritize quality attributes for the development and evolution of PL products are carried out based on the application and collection of the SystEM-PLA metrics from PLA configurations. The quality attribute metrics were validated trough an experimental study. Evidences indicated the SystEM-PLA application feasibility in industry based on an experimental study, planned and conducted with professionals from a large software development organization

As competing uses of our coastlines increase, natural resource agencies are employing marine spatial planning (MSP) to designate areas for different uses or activities in order to reduce conflicts while achieving ecological, economic and social objectives. A central challenge of implementing MSP is development of a rigorous approach for analyzing tradeoffs across the provision of ecosystem services (i.e., the benefits humans receive from nature). This study develops an operational approach to this problem that is founded on community-based methods, ecological production theory, and multi-criteria decision analysis (MCDA). The approach merges ecological models with surveys to identify marine ecosystem services for use in tradeoff analysis. The approach allows for a single set of marine ecosystem services to at once be valued by local stakeholders and measured by biologists, thus connecting social and biological monitoring efforts. To develop the approach in a real-world context, I examined ecosystem services associated with nearshore marine ecosystems in Oregon, where marine reserves are being introduced for biodiversity conservation. I worked with stakeholder focus groups in three Oregon communities to identify 24 marine ecosystem services. I then linked the ecosystem services with ecological indicators, which I then consolidated to derive 11 items for use in a survey-based tradeoff analysis exercise. I administered the survey to a nonrandom sample of stakeholders in Oregon (n=31), from which their relative preferences and preference weights for ecosystem services were derived. The weights and preference measures may then be used in MSP decision-making. Furthermore, I grouped the stakeholder survey data in three ways: by location of residence (coastal vs. non-coastal), by eight categories of affiliation (e.g., business owners, conservationists, commercial and recreational fishers, etc.), and by resource use patterns. I then analyzed the various groupings of stakeholders for within- and between-group homogeneity of preferences. Results of the analyses showed that there are statistically significant variations in preferences within and between most groupings. Capturing the variations in stakeholder preferences is important when developing policies that affect different stakeholder groups. Thus, when implementing the survey instrument, I suggest random sampling of stakeholders stratified by location, affiliation, and resource use. This study provides one of the first examples of a systems-based approach to ecosystem service valuation operationalized to inform MSP, and novel features of the approach have a number of implications for advancing marine research and management. First, by using stakeholders to identify ecosystem services, the approach allows for a tailored implementation of ecosystem-based management at the community level. Second, by integrating ecological and economic information on the provision and value of ecosystem services, the approach provides relevant data for MSP decision-making during the siting, evaluation, and monitoring stages. And third, by applying both stated-preference and MCDA methods, the approach may capture the array of values represented by diverse stakeholder groups. / Graduation date: 2013

A abordagem de linha de produto de software (LP) tem como objetivo principal promover a geração de produtos específicos de um determinado domínio com base na reutilização de uma infraestrutura central, chamada núcleo de artefatos. Um dos principais artefatos do núcleo de uma LP é a Arquitetura de LP (ALP), que representa a abstração de todas as arquiteturas de sistemas únicos que podem ser gerados, para um domínio específico. Avaliações de ALP são importantes, pois permitem aumentar a produtividade e a qualidade dos produtos da LP, bem como, seus resultados permitem a análise de metas de negócio e de retorno de investimento. Este trabalho propõe um método sistemático para avaliação de ALP, o SystEM-PLA (a Systematic Evaluation Method for Software Product Line Architectures). Tal método considera modelos de ALP em UML, por ser uma notação amplamente conhecida e consolidada. SystEM-PLA é composto por um metaprocesso de avaliação, diretrizes que guiam o usuário em como avaliar uma ALP e métricas básicas para modelos UML e atributos de qualidade. O método utiliza a abordagem SMarty (Stereotype-based Management of Variability), para gerenciar variabilidades em LP baseadas em UML. Análises de trade-off com o objetivo de priorizar atributos de qualidade para o desenvolvimento e evolução dos produtos de uma LP são realizadas com base na aplicação e coleta das métricas do SystEM-PLA em configurações de uma ALP. As métricas propostas para os atributos de qualidade complexidade e extensibilidade foram validadas por meio de um estudo experimental. Evidências indicaram a viabilidade de aplicação do método SystEM-PLA na indústria com base em um estudo experimental realizado com profissionais de uma empresa de grande porte no setor de desenvolvimento de software / The software product line (PL) approach aims at promoting the generation of specific products from a particular domain based on the reuse of a central infra-structure, so-called core assets. One of the main assets of a PL is the PL Architecture (PLA) that represents the abstraction of all possible single-product architectures that can be generated for a particular domain. PLA evaluations are important due to allow the increasing of the productivity and the quality of PL products, as well as their results allow business drivers and return on investment analyzes. This work proposes a Systematic Evaluation Method for Software Product Line Architectures, the SystEM-PLA. This method takes into account UML models with PLA variability explicitly represented, since UML is a widely known and consolidated notation. SystEM-PLA is composed of an evaluation meta-process, guidelines that drive the user on how to evaluate a PLA, and basic and quality attribute metrics. This method uses the proposed approach Stereotype-based Management of Variability (SMarty) to manage variabilities in UML-based PLs. Trade-off analyses to prioritize quality attributes for the development and evolution of PL products are carried out based on the application and collection of the SystEM-PLA metrics from PLA configurations. The quality attribute metrics were validated trough an experimental study. Evidences indicated the SystEM-PLA application feasibility in industry based on an experimental study, planned and conducted with professionals from a large software development organization