Dissertationen zum Thema „Certification UL2“

The main aim of the this diploma thesis is the wing design of the UAV aircraft, including the appropriate material choice, calculation of the wing load and also strength analysis. Other goals include the design of the location and volume of fuel tanks, as well as the design of wingspan reduction after landing.

L’évolution et le succès qu’a connu Internet les dernières années a profondément marqué le domaine du génie logiciel et plus particulièrement des aspects tels que la conception, l’implémentation et l’exploitation de systèmes distribués. Cette ouverture qu’offre la toile aux systèmes brave les limites architecturales et géographiques pour permettre une interconnexion permanente des utilisateurs. Cependant, ce flux de communication et de code mobile comporte des risques de sécurité qui vont à l’encontre des politiques des entreprises concernées par ces échanges. Étant données la multitude et la diversité des intervenants, des mesures préventives s’imposent pour remédier à cette faille sécuritaire. Ce mémoire s’inscrit dans le cadre d’une contribution à cet effort, par la voie de la certification. En effet, le potentiel de l’approche proposée émerge de la synthèse des techniques fondamentales de ce domaine, qui sont le code incorporant une preuve (PCC), le langage assembleur typé (TAL) et le code incorporant un modèle (MCC). Toujours dans l’optique de renforcer la relation de confiance entre le producteur et le consommateur, et au-delà de la vérification du respect du code envers une politique de sécurité, notre projet qui s’intitule «code incorporant un modèle certifié» (CMCC) couvre en plus des aspects pratiques jusque là souvent délaissés par les concepteurs.

Nous avons utilisé un sondage en méthode-Q – une technique d’étude de la subjectivité – pour explorer les différentes perceptions de la certification forestière au Québec. Nous avons découvert trois discours distincts. Aussi, nous avons effectué une analyse des changements institutionnels en cours dans le milieu forestier québécois. Nous prévoyons que le régime forestier subira un important effort de décentralisation et que la certification forestière y jouera un rôle. Si cela s’avère vrai, ceux qui perçoivent la certification comme un outil de gestion feront valoir le leadership des industriels forestiers en matière de certification. Ils voudront sécuriser le rôle traditionnel d’aménagiste et de gestionnaires des forêts publiques assumé par les firmes privées. D’autre part, ceux qui voient la certification comme un outil de relation publique devrait s’opposer à la réforme envisagée. Ils demanderont des preuves de l’efficacité de la certification forestière pour améliorer l’aménagement forestier. Finalement, ceux qui voient la certification comme un outil de gouvernance approuveront la réforme et chercheront à la catalyser. Ils demanderont à ce que les processus de participation publique soient précisés de manière à améliorer le partage des pouvoirs et la distribution équitable des responsabilités en aménagement forestier.
We have used a Q-methodology survey – a subjectivity studying technique – to explore different perceptions of forest certification in Quebec. Three different viewpoints were discovered. We have also done an analysis of institutional changes within Quebec's forest sector. As a result, we expect Quebec's forest regime to undergo an important effort of decentralization in which forest certification will play an important role. First, we have individuals who primarily view certification as a tool of management and who may place greater importance on forest industries' certification leadership. People in this category may want the traditional role of private firms as developers and managers of the crown's forests to be secured. On the other hand, there are people who view certification as a tool for public relations and who may be opposed to preserving the traditional role of private firms. For this group of people, proof of improvement of certified forest practices would be a requirement. Finally, people who view certification as a tool of governance may approve of reform and thus, try to catalyze it. Such individuals will demand an enhancement of public involvement processes in the forest sector. This group of people will want forest management responsibilities and power to be more equitable.

La certification ISO 14001 sur les systèmes de gestion environnementale a connu une forte croissance depuis 1996 et représente une source de légitimité sociale pour les entreprises. Cette légitimité dépend notamment de l’indépendance du processus de vérification et des liens entre ce processus et l’amélioration des pratiques et des performances environnementales des organisations. Cependant, ces aspects demeurent encore peu étudiés dans la littérature. L’objectif de cette étude qualitative est d’analyser, à partir d’entretiens auprès de professionnels participant directement ou indirectement au processus de certification, les perceptions de l’indépendance des auditeurs, ses enjeux éthiques, et ses liens avec les pratiques environnementales des entreprises canadiennes. La construction sociale de l’indépendance des auditeurs est analysée, notamment à partir de diverses stratégies de production de sens. Ces stratégies s’appuient sur un ensemble de mécanismes procéduraux, de stéréotypes et de processus de distanciation pour créer une apparence de confiance et de confort concernant l’indépendance de l’auditeur. L’influence potentielle de la rémunération des auditeurs est également analysée; les résultats montrent que les répondants tendent à légitimer le processus actuel de rémunération en s’appuyant sur le concept d’utilisateurs-payeurs, sur la déontologie professionnelle et sur les procédures existantes. L’étude démontre également que l’absence de régulation formelle concernant la rotation des auditeurs favorise le maintien des auditeurs sur plusieurs cycles de certification qui concourt à une dynamique relationnelle entre l’auditeur et l’audité. Cette situation renforce le pouvoir du client sur le maintien des auditeurs. Si cette permanence peut avoir des répercussions positives, elle favorise également une familiarité sociale et technique qui tend à compromettre la crédibilité du processus à long terme. Enfin, l’étude montre que les audits de certification ISO 14001 sont surtout centrés sur des aspects procéduraux et tendent à négliger des aspects plus substantiels liés à l’amélioration des pratiques et des performances des organisations. Malgré les biais de désirabilité sociale inhérents aux discours des répondants, l’étude met en lumière des problèmes réels de conflits d’intérêts et de pratiques peu rigoureuses, réalité peu abordée dans la littérature. À partir de ce constat, l’étude propose de nouvelles pistes de recherches sur l’indépendance des audits de certification ISO en général. MOTS-CLÉS : Audit; certification ISO 14001; indépendance; permanence des auditeurs; systèmes de gestion environnementale; dépendance financière; stratégie de production de sens; rotation; performance.
The ISO 14001 certification for environmental management systems provides businesses with social legitimacy. Since its creation in 1996, this particular standard has experienced an increasing popularity. However, its legitimacy is directly linked with the independence of the audit process, as well as with, among other factors, its direct link with the improvement of the businesses’ environmental practices and performances. Nonetheless, the fact remains that these questions have rarely been explored in the formal literature. Therefore, the goal of this qualitative research is to analyse, on the basis of interviews with professionals in the field of the ISO 14001 certification process, the various perceptions of the auditor’s independence, the ethical issues it raises, and its influence on the environmental practices of Canadian businesses. The social construction of the auditor’s independence is studied through various sensemaking strategies (Schutz, 1967; Weick, 1995), among other elements. These strategies rely on procedural mechanisms, stereotypes and a distancing process to create the illusion of trust and comfort as regards the auditor’s independence. The potential influence of the auditor’s compensation has also been analysed in this study, and the results show that the participants tend to legitimize the current compensation practices by relying on the user-pay principle, on professional conduct and on the existing processes in the field. This qualitative research also shows that, in the absence of formal rules regarding auditor rotation, having the same auditor working through several certification cycles can lead to certain relationship dynamics between auditor and auditee, which increases the client’s influence on the choice of auditors. While such permanence can have positive repercussions, it can also cause a social and technical familiarity which can, in turn, jeopardize the long-term credibility of the certification process. Lastly, the study shows that ISO 14001 certification audits are primarily concerned with procedural questions, and tend to neglect the more important issues linked to improving businesses’ practices and performances. Despite the social desirability biases inherent to the study’s goals and the participants’ answers, this qualitative research reveals true problems of conflicts of interest and lax practices that remain rarely discussed in the formal literature. In closing, the study suggests new avenues of research on the independence of all types of ISO certification audits. Key words: Audit, ISO 14001 certification, independence, auditor tenure, environmental management systems, financial dependence, sensemaking strategies, rotation, performance.

The main interest of this interdisciplinary thesis (psychology-law) is the understanding of transphobia and discrimination against trans* people. I locate the problem of this type of discrimination in the social construction of ‘sex/gender’ categories. Particularly, I situate it in the definition of the norms that constitute ‘woman’ and ‘man’ as two essential and mutually exclusive categories that sustain the unequal binary organisation of society. People who transgress those norms have been labelled as ‘mentally ill’ by psychiatry and psychology since the end of the 19th century. The emergence of trans* activism from the 1960s and especially Trans Studies in the 1990s has allowed questioning those pathologising discourses. In the present context, we observe a tendency towards the depathologisation of trans* experiences and identities. Depathologisation is coupled with increased visibility of trans* people in the cultural domain and a more favourable public opinion towards them. However, trans* people still face serious discrimination and the norm that divides humankind into ‘women’ and ‘men’ is still very much present. Drawing on these premises I argue that the transgression of ‘sex/gender’ norms have been redefined nowadays so that the binary opposition between women and men is maintained as the norm. Thus, trans* people are still depicted as ‘abnormal’ although pathologising and psychiatric discourses are not necessarily employed today. The general objective of the thesis is to understand how this redefinition is carried out and the effects of it in two specific contexts: the legal certification of sex in the civil status of individuals in Belgium and the definition of the worker subject. The choice of these two cases responds to the fact that trans* people report facing many obstacles and discrimination in them. Based on the theoretical and methodological principles of discursive psychology and Perelmanian new rhetoric, I realised the discourse analysis of two corpora: a legislative corpus and a corpus of interviews. The legislative corpus comprises texts of Acts, bills, amendments, parliamentary debates and Circulars regulating the mention of sex in the civil status in Belgium. The second corpus includes the transcriptions of five group interviews with workers carried out with co-workers from five work organisations in Brussels. In both cases, the identification of discursive practices and their variability allowed me to elucidate the effects they produce. Specifically, it allowed me to show that, although the identified practices seem less stigmatising, they still depict trans* people as a ‘deviation from the norm’, thereby legitimising a different legal treatment towards them and justifying the discrimination and exclusion they endure at work. Moreover, the identified practices reproduce the binary organisation of society and justify discrimination against women in the workplace. The ultimate purpose of this thesis is to promote an informed critical attitude towards those discursive practices and, in this way, to contribute to the struggle against transphobia and sexism.
Dans cette thèse interdisciplinaire (psychologie-droit) je m’intéresse à la transphobie et la discrimination à l’égard des personnes trans*. Je situe ce problème de discrimination dans la construction sociale des catégories « sexe/genre », notamment dans la définition des normes qui constituent les catégories « femme » et « homme » comme deux catégories essentielles et mutuellement exclusives qui soutiennent l’organisation binaire et inégale de la société. Les personnes qui ont transgressé ces normes ont été étiquetées comme « malades mentales » par la psychiatrie et la psychologie depuis la fin du 19ème siècle. L’émergence de l’activisme trans* dans les années soixante et notamment des Trans Studies dans les années nonantes ont permis la remise en question de ces discours pathologisants. Dans le contexte actuel, on observe une tendance vers la dépathologisation des expériences et identités trans*, accompagnée d’une croissante visibilité des personnes trans* dans le domaine culturel et d’une opinion publique globalement plus favorable à leur égard. Par contre, les personnes trans* font encore l’objet de nombreuses discriminations et la norme qui divise l’humanité entre « femmes » et « hommes » est encore extrêmement présente. Sur la base de ces prémisses, je soutiens que la transgression des normes de « sexe/genre » a été actuellement redéfinie de façon à ce l’opposition binaire entre les femmes et les hommes est maintenue comme norme. Ainsi, les personnes trans* sont encore définies comme « anormales » alors que des discours pathologisants et psychiatrisants ne sont pas nécessairement mobilisés aujourd’hui. L’objectif général de la thèse est de comprendre comment cette redéfinition est faite et quels sont ses effets dans deux contextes spécifiques :la certification légal de la mention du sexe dans l’état civil en Belgique et la définition du sujet travailleur. Le choix de ces deux cas se justifie par le fait que ce sont deux domaines dans lesquels les personnes trans* signalent beaucoup d’obstacles et de discrimination. M’appuyant sur les principes théoriques et méthodologiques de la psychologie discursive et de la nouvelle rhétorique perelmanienne, j’ai effectué l’analyse du discours de deux corpus :un corpus législatif et un corpus d’entretiens. Le corpus législatif est composé de textes de loi, projets et propositions de loi, amendements, travaux parlementaires et circulaires régulant la mention du sexe dans l’état civil en Belgique. Le deuxième corpus inclut les transcriptions de cinq entretiens de groupe menés auprès de travailleuses et de travailleurs dans cinq organisations de Bruxelles. Dans les deux cas, l’identification des pratiques discursives et de leur variabilité m’a permis de dévoiler les effets qu’elles produisent. Spécifiquement, j’ai pu démontrer que, bien que ces pratiques semblent moins stigmatisantes aujourd’hui, elles continuent à définir les personnes trans* comme une « déviation de la norme », légitimant ainsi un traitement légal différent à leur égard et justifiant la discrimination et l’exclusion dont elles sont victimes au travail. En outre, ces pratiques discursives reproduisent l’organisation binaire de la société et la discrimination à l’égard des femmes au travail. Avec cette thèse j’espère contribuer à la promotion d’une attitude critique informée par rapport aux pratiques discursives identifiées et, par ce biais, à la lutte contre la transphobie et le sexisme.
Doctorat en Sciences psychologiques et de l'éducation
info:eu-repo/semantics/nonPublished

In this thesis, I analyze the impacts of the design and implementation of different environmental policy tools from a theoretical and empirical perspective: certificates providing information on the energy performance of buildings (chapter 1); urban road pricing schemes such as congestion charges (chapter 2); quantity-based policy tools to support production with non-polluting technologies (chapter 3).In chapter 1, co-authored with Luisa Dressler, we study how energy performance certificates (EPCs) impact the residential rental market. These certificates can help solve information asymmetries between landlords and tenants about the thermal quality of dwellings for rent, which, in turn, is expected to facilitate investment aimed at improving dwellings' energy performance. However, disclosure of EPCs is often incomplete, which hampers their effectiveness in relieving such information asymmetries. Moreover, even when a certificate is available, landlords do not always disclose it. This contradicts the so-called information unraveling result, according to which all landlords should disclose quality information unless it is costly to do so: in such a setting, information eventually unravels. Using a cross-sectional dataset of residential rental advertisements from the Belgian region of Brussels, we empirically evaluate incentives to disclose energy performance ratings. We find that two fundamental assumptions underlying the unraveling result are not confirmed in our setting: firstly, tenants value energy performance of rental property only when dwellings are of very high quality; secondly, tenants do not appear to rationally adjust their expectations when faced with dwellings that withhold their energy performance rating. Finally, we formulate specific policy advice for reforming EPC mechanisms to increase disclosure rates.In chapter 2, I study how urban congestion pricing impacts the use of sustainable mobility options such as bike sharing, presenting evidence from the city of Milan, Italy.As concern for air pollution grows in cities across the world, policies such as urban road pricing are rolled out to induce urban residents to opt for greener transport options. While several papers have analyzed the impact of urban road pricing on air pollution and on car use, this is the first analysis of its impact on sustainable travel behaviors, such as the use of bike sharing.I extend a stylized theoretical model of travel behavior to formalize the drivers of bike-sharing demand. Then, I exploit a panel dataset covering all bike-sharing trips carried out over an 8-year period in the city of Milan to estimate the impact of congestion pricing on bike-sharing use. The empirical strategy I employ in this study is based on the sudden suspension and reintroduction of congestion pricing, which generate a quasi-experimental setting. Adopting an event study approach, I find that suspending the congestion charge reduces daily bike-sharing traffic by about 5% in the short run. I show that, in Milan, congestion pricing mainly impacts bike-sharing use through the reduction of road traffic congestion, which makes cycling safer and more pleasant. The direct effect of the increased relative cost of car use is secondary in individual decisions to use bike-sharing. The role of these effects is likely to be context-specific, as they may be affected by the baseline level of urban congestion, the broader policy mix affecting the cost of driving and the specific design of the congestion pricing scheme.In chapter 3, co-authored with Renaud Foucart, we study the impact of different quantity-based tools that governments can use to support the production of homogeneous goods through clean rather than polluting inputs in a setting where production costs are uncertain.In recent years, many sectors have been disrupted by clean innovation, as clean inputs have emerged as close substitutes of polluting ones: for example, in the power sector renewable energy sources are increasingly used for electricity generation instead of fossil fuels. Whenever the negative externalities caused by polluting incumbent technologies are not internalized in production costs, emerging clean technologies are left at a disadvantage. For this reason, governments may want to design policy support schemes for emerging clean technologies.We develop a theoretical framework in which well-established polluting technologies entail known production and pollution costs, while using emerging green technologies requires higher, steeper and uncertain production costs. In this context, a government chooses between a range of quantity-based instruments to support the deployment of clean technologies based on cost estimates, as costs of production with green inputs are uncertain.We show that a cap on production with polluting inputs is the least distortionary among quantity instruments; next is a mandatory share of production with green inputs out of total production. Setting a policy objective in terms of a precise level of green inputs for production is the least efficient policy approach. This ranking results from the so-called “technology effect”, which determines the extent to which the market corrects cost estimation errors after real costs are observed.
Doctorat en Sciences économiques et de gestion
info:eu-repo/semantics/nonPublished

The diploma thesis involves the design of certification static strength tests for the newly developed aircraft of the TL-Ultralight company. At the beginning of the work, the theory of aircraft testing is generally discussed with emphasis on static strength tests. Furthermore, an analysis of the requirements of the Czech regulation UL 2 and the German LTF-UL, which represent the certification basis for this aircraft, is performed. The requirements of regulations on the construction of the aircraft (or its individual parts) and the requirements for strength tests are discussed in detail. Based on the regulation and the provided calculation protocols, individual test cases and test plans of the wing, tail surfaces, engine bed, and chassis are calculated and prepared. In the end, the calculation of the rocker system and the basic design of jigs are performed.

La thèse s’attache à définir la certification équitable depuis une perspective juridique. Tant l’analyse de sa dimension formelle que matérielle permettent de conclure qu’elle est caractérisée par un dualisme face au droit étatique. Elle entretient à la fois une relation d’autonomie et d’hétéronomie à l’égard des ordres juridiques étatiques. Sur le plan formel, le caractère autonome du régime équitable est révélé par l’existence d’un ordre juridique distinct des ordres étatiques. En effet, les institutions du régime équitable jouent le rôle de tiers impartial et désintéressé à l’égard des producteurs du Sud et des acheteurs du Nord. Le rapport d’hétéronomie se manifeste par l’intervention d’éléments provenant d’ordres juridiques étatiques au sein du régime. Celle-ci contribue à sécuriser et à bonifier le régime équitable. Sur le plan matériel, l’autonomie du régime se traduit par des dispositions inédites. Bien qu’originales par rapport aux normes d’origine étatique, l’analyse de ces normes montre qu’elles ne se placent cependant pas en situation de concurrence face à celles-ci. Elles interviennent plutôt comme complément. Les standards de la certification équitable ne comportent cependant pas que des normes inédites. Plusieurs reprennent textuellement des dispositions d’instruments juridiques internationaux et nationaux d’origine étatique, alors que d’autres les traduisent dans un langage plus accessible et adapté au contexte de leurs destinataires. Dans ces deux cas, il s’agit de réitérer le droit en vigueur plutôt que de s’y opposer en ne se limitant pas à le répéter mais plutôt en facilitant sa connaissance et sa mise en œuvre par des mesures concrètes
The thesis aims to define fairtrade certification from a legal perspective. Both its formal and its material dimensions allow concluding that it is characterized by a dualism towards state law. It is both autonomous and heteronomous in relation to state legal orders. On the formal dimension, the fairtrade regime autonomy is revealed by the existence of a legal order distinct from state orders. Indeed, fairtrade regime institutions act as the impartial and disinterested third party towards the producers of the South and the buyers of the North. The heteronomy is shown by interventions, in the fairtrade regime, of elements originated in state legal orders. These interventions contribute to secure and improve the fairtrade regime. On the material dimension, the regime’s original provisions reveal its autonomy. The analysis concludes that these provisions although novel if compared to state norms are not competing with the latters. To the contrary, they intervene as a complement to state legal orders. Fairtrade standards do not only contain unprecedented norms. Several simply reproduce the exact wording of state legal instruments, while other translate them into a more accessible and context adapted language. In both cases, they reiterate the law instead of contradicting it. The regime’s main appeal is that it does not repeat the law but contributes to facilitate its understanding and implementation by concrete measures

Diploma work includes summary of aeroplanes accidents, incurred by human factor malfunction in general aviation and in ultralight aeroplanes category on Czech Republic territory since year 2000. It analyses accidents enclosures with a view to discover similarities near particular accidents. From ascertained lockworks ared proposal created for possibly steps, how prevent rise of these accidents. Part of this work are also attachments (formularies, etc.).

Malgré les demandes pour l’intégration de préoccupation sociétales dans les processus d’homologation des aliments dérives de la biotechnologie (ADB), la plupart des cadres réglementaires à l’échelle internationale s’identifient avec la représentation scientifique du risque. Cette représentation considère comme un risque tout événement négatif susceptible d’atteindre la santé humaine ou animale, ou l’environnement. Lors des processu d’homologation, les évaluateurs du risque et les décideurs se concentrent notamment sur ce trois types de risques. D’autres considérations comme la justice sociale, la sécurité alimentaire, les impacts économiques sur les agriculteurs sont, entre autres, négligées. Nonobstant, les évaluateurs du risque ou les décideurs canadiens peuvent-ils se montrer ouverts à tenir compte d’une ou plusieurs de ces considérations et cela malgré le fait que le cadre réglementaire canadien s’aligne avec la représentation scientifique du risque? À partir d’une série d’entrevues, deux caractéristiques de la culture organisationnelle (CO) de ces fonctionnaires étaient identifiées. Il s’agit des rapports à l’autorité et à la vérité. Le rapport à l’autorité des évaluateurs du risque se caractérise pour un respect absolu du cadre réglementaire canadien. Ils se montrent ainsi pas ou peu disposés à agir en dehors des termes du cadre. Dissemblablement, les décideurs sont plus flexibles notamment en raison de son obligation de protéger d’autres objectifs en même temps que la santé humaine et animale, et l’environnement. Le rapport à la vérité des évaluateurs du risque est constitué notamment par la science. Ainsi, l’existence d’un risque est déterminée uniquement à travers des preuves scientifiques. Le rapport à la vérité des décideurs est beaucoup plus large. En effet, ils établissent ce qu’est la vérité non seulement à l’aide de la science mais aussi avec d’autres informations fournies par les acteurs politiques. La CO de ces fonctionnaires fédéraux permet de conclure qu’au Canada, les évaluateurs du risque se concentreront uniquement dans l’identificacion des risques pour la santé humaine ou animale et pour l’environnement. Contrairement les décideurs se monteront ouverts à tenir compte de certaines préoccupations sociétales mais de manière indirecte. Ce faisant, le Canada peut encore se vanter de respecter ses engagements et obligations au niveau international.
Despite calls for the integration of societal concerns in the approval process of genetically modified (GM) foods, most regulatory frameworks internationally identify with scientific representation of risk. This representation considers as a risk any negative event that could reach human or animal health or the environment. During approval process, risk assessors and decision makers focus especially on these three types of risk. Other considerations such as social justice, food security, economic impacts on farmers among others are neglected. Nevertheless, can Canadian risk assessors or decision-makers be open to take into account one or more of these considerations and it despite the fact that the Canadian regulatory framework aligns with scientific representation of risk? From a series of interviews, two features of the organizational culture (OC) of these officials were identified: authority relationship and assumptions about truth. The authority relationship of risk assessors is characterized by an absolute compliance with the Canadian regulatory framework. They show little or no inclination to act beyond the powers conferred by the regulatory framework. Although decision-makers are also required to abide the Canadian regulatory framework, they are more flexible notably because of their obligation to protect other objectives at the same time that human and animal health and the environment. The assumptions about truth of risk assessors are notably constituted by the science. Thus, the existence of a risk is determined solely through scientific evidence. For the decision-makers their assumptions about truth are much broader than that of risk assessors. Indeed, they establish what is the truth not only by means of the science but also with the other information provided by the political actors. The OC of these federal civil servants allows to conclud that in Canada, the risk assessors will concentrate only in the identification of risk for human or animal health and for environment. Contrary, the decision makers will amount open to take into account certain societal concerns in an indirect way. In doing so, Canada can still boast to meet its commitments and obligations at the international level.

Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-08-03T19:57:54Z No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5)
Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-08-08T19:03:08Z (GMT) No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5)
Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-08-08T19:03:15Z (GMT) No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5)
Made available in DSpace on 2017-08-08T19:08:45Z (GMT). No. of bitstreams: 1 DissBC.pdf: 2204728 bytes, checksum: d6f6478009c1aa1b7990a8bbfc71eaa8 (MD5) Previous issue date: 2016-03-08
Não recebi financiamento
Context: Operating in different contexts and segments, embedded systems (ESs) are increasingly present in everyday society. The ESs usually operate invisibly to the user but, even so, possible software failures cease to pose risks, causing serious material and financial damage. Taking into consideration the safety of users of ESs, government entities and institutions around the world have studied and created standards development and SEs test to ensure systems that are more robust and free from defects that may cause faults that may endanger the user. However, standards are usually applied at the level of code, which increases substantially the resources to be used if there are defects in the SE. Objective: To present the UL/ME Strategy that addresses the shortcomings described in SEs certification standard, UL 1998 level modeling, more specifically, in the model of Statechart states. The purpose is to anticipate the identification of defects, to generate code that has more chance to meet the standard requirements, preventing rework and therefore improving quality. Methodology: The study was conducted in three stages: first stage identified the defects treated by the standard UL 1998, tabulating these defects, and then, link them to the SEs components. In the second stage were designed generic models for each component and also the ESs models that represents the tests required by the standard for each components, and in the third step, it was created two proposed for use UL/ME Strategy, one for ESs already implemented and other for ESs in development. These proposals were used for evaluation of the strategy using two real ESs, one already implemented and other in development. Results: According to the requirements of UL 1998 standard, the use of Strategy UL/ME helped to correct the defects of the first ES and evaluated the development of the second ES. Conclusion: the use of Strategy UL/ME assisted in the correction of an SE already implemented and modeling of an ES in development.
Contexto: Operando em diferentes contextos e segmentos, os sistemas embarcados (SEs) estão cada vez mais presentes no cotidiano da sociedade. Os SEs geralmente operam de forma invisível ao usuário mas, nem por isso, possíveis falhas de software deixam de oferecer riscos, ocasionando sérios danos materiais e financeiros. Levando em consideração a segurança dos usuários de SEs, entidades governamentais e instituições pelo mundo têm estudado e criado normas de desenvolvimento e de teste de SEs que garantam sistemas mais robustos e livres de defeitos que possam gerar falhas que ponham em risco o usuário. Contudo, as normas são habitualmente aplicadas no nível de código, o que aumenta, substancialmente, os recursos a serem empregados caso haja defeitos no SE. Objetivo: Apresentar a estratégia UL/ME que trata os defeitos descritos na norma de certificação de SEs, a UL 1998, no nível de modelagem, mais especificamente, no modelo de estados Statechart. O propósito é antecipar a identificação dos defeitos, de forma a gerar código com mais chance de atender aos requisitos da norma, evitando retrabalho e, consequentemente, melhorando a qualidade. Método: O trabalho foi realizado em três etapas: na primeira identificaram-se os defeitos tratados pela norma UL 1998, tabulando esses defeitos de forma a associá-los aos componentes de SEs; na segunda etapa foram desenhados modelos genéricos para cada componente e também os modelos de componentes de SEs que representam os testes requeridos pela norma e na terceira etapa, criaram-se duas proposta para utilização da Estratégia UL/ME, uma para SEs já implementados e outra para SEs em desenvolvimento. Essas propostas serviram para avaliação da estratégia utilizando dois SEs reais, um já implementado e outro em desenvolvimento. Resultados: De acordo com os requisitos da norma UL 1998, o uso da Estratégia UL/ME auxiliou a correção dos defeitos do primeiro SE avaliado o desenvolvimento do segundo SE. Conclusão: o uso da Estratégia UL/ME auxiliou na correção de um SE já implementado e na modelagem de um SE em desenvolvimento.