Analyse de sûreté des circuits complexes décrits en langage de haut niveau

Analyse de sûreté des circuits complexes décrits en langage de haut niveau PDF Author: Abdelaziz Ammari
Publisher:
ISBN:
Category :
Languages : fr
Pages : 149

Get Book Here

Book Description
La probabilité des fautes transitoires augmente avec l'évolution des technologies. Plusieurs approches ont été proposées pour analyser très tôt l'impact de ces fautes sur un circuit numérique. Il est notamment possible d'utiliser une approche fondée sur l'injection de fautes dans une description VHDL au niveau RTL. Dans cette thèse, nous apportons plusieurs contributions à ce type d'analyse. Un premier aspect considéré est la prise en compte de l'environnement du circuit numérique lors des campagnes d'injection. Ainsi, une approche basée sur une analyse de sûreté de fonctionnement multi-niveaux a été développée et appliquée sur un exemple. Les injections sont réalisées dans le circuit numérique décrit au niveau RTL alors que le reste du système est décrit à un niveau d'abstraction plus élevé. L'analyse des résultats montre que certaines défaillances apparaissant au niveau du circuit n'ont en fait aucun impact sur le système. Nous présentons ensuite les avantages de la combinaison de deux types d'analyses : la classification des fautes en fonction de leurs effets, et l'analyse plus détaillée des configurations d'erreurs activées dans le circuit. Une campagne d'injection de fautes de type SEU a été réalisée sur un microcontrôleur 8051 décrit au niveau RTL. Les résultats montrent que la combinaison des analyses permet au concepteur de localiser les points critiques, facilitant l'étape de durcissement. Ils montrent également que, dans le cas d'un processeur à usage général, les configurations d'erreurs peuvent être dépendantes du programme exécuté. Cette étude a également permis de montrer que l'injection d'un très faible pourcentage des fautes possibles permet déjà d'obtenir des informations utiles pour le concepteur. La même méthodologie a été utilisée pour valider la robustesse obtenue avec un durcissement au niveau logiciel. Les résultats montrent que certaines fautes ne sont pas détectées par les mécanismes implémentés bien que ceux-ci aient été préalablement validés par des injections de fautes basées sur un simulateur de jeu d'instructions. Le dernier aspect de cette thèse concerne l'injection de fautes dans des blocs analogiques. En fait très peu de travaux traitent du sujet. Nous proposons donc un flot global d'analyse pour circuits numériques, analogiques ou mixtes, décrits au niveau comportemental. La possibilité d'injecter des fautes dans des blocs analogiques est discutée. Les résultats obtenus sur une PLL, choisie comme cas d'étude, sont analysés et montrent la faisabilité de l'injection de fautes dans des blocs analogiques. Pour valider le flot, des injections de fautes sont également réalisées au niveau transistor et comparées à celles réalisées à haut niveau. Il apparaît une bonne corrélation entre les résultats obtenus aux deux niveaux.

Analyse de sûreté des circuits complexes décrits en langage de haut niveau

Analyse de sûreté des circuits complexes décrits en langage de haut niveau PDF Author: Abdelaziz Ammari
Publisher:
ISBN:
Category :
Languages : fr
Pages : 149

Get Book Here

Book Description
La probabilité des fautes transitoires augmente avec l'évolution des technologies. Plusieurs approches ont été proposées pour analyser très tôt l'impact de ces fautes sur un circuit numérique. Il est notamment possible d'utiliser une approche fondée sur l'injection de fautes dans une description VHDL au niveau RTL. Dans cette thèse, nous apportons plusieurs contributions à ce type d'analyse. Un premier aspect considéré est la prise en compte de l'environnement du circuit numérique lors des campagnes d'injection. Ainsi, une approche basée sur une analyse de sûreté de fonctionnement multi-niveaux a été développée et appliquée sur un exemple. Les injections sont réalisées dans le circuit numérique décrit au niveau RTL alors que le reste du système est décrit à un niveau d'abstraction plus élevé. L'analyse des résultats montre que certaines défaillances apparaissant au niveau du circuit n'ont en fait aucun impact sur le système. Nous présentons ensuite les avantages de la combinaison de deux types d'analyses : la classification des fautes en fonction de leurs effets, et l'analyse plus détaillée des configurations d'erreurs activées dans le circuit. Une campagne d'injection de fautes de type SEU a été réalisée sur un microcontrôleur 8051 décrit au niveau RTL. Les résultats montrent que la combinaison des analyses permet au concepteur de localiser les points critiques, facilitant l'étape de durcissement. Ils montrent également que, dans le cas d'un processeur à usage général, les configurations d'erreurs peuvent être dépendantes du programme exécuté. Cette étude a également permis de montrer que l'injection d'un très faible pourcentage des fautes possibles permet déjà d'obtenir des informations utiles pour le concepteur. La même méthodologie a été utilisée pour valider la robustesse obtenue avec un durcissement au niveau logiciel. Les résultats montrent que certaines fautes ne sont pas détectées par les mécanismes implémentés bien que ceux-ci aient été préalablement validés par des injections de fautes basées sur un simulateur de jeu d'instructions. Le dernier aspect de cette thèse concerne l'injection de fautes dans des blocs analogiques. En fait très peu de travaux traitent du sujet. Nous proposons donc un flot global d'analyse pour circuits numériques, analogiques ou mixtes, décrits au niveau comportemental. La possibilité d'injecter des fautes dans des blocs analogiques est discutée. Les résultats obtenus sur une PLL, choisie comme cas d'étude, sont analysés et montrent la faisabilité de l'injection de fautes dans des blocs analogiques. Pour valider le flot, des injections de fautes sont également réalisées au niveau transistor et comparées à celles réalisées à haut niveau. Il apparaît une bonne corrélation entre les résultats obtenus aux deux niveaux.

The Violence of Modernity

The Violence of Modernity PDF Author: Debarati Sanyal
Publisher: JHU Press
ISBN: 1421429292
Category : Literary Criticism
Languages : en
Pages : 289

Get Book Here

Book Description
The Violence of Modernity turns to Charles Baudelaire, one of the most canonical figures of literary modernism, in order to reclaim an aesthetic legacy for ethical inquiry and historical critique. Works of modern literature are commonly theorized as symptomatic responses to the trauma of history. In a climate that tends to privilege crisis over critique, Debarati Sanyal argues that it is urgent to rethink literary experience in terms that recall its contestatory potential. Examining Baudelaire's poems afresh, she shifts the focus of critical attention toward an account of modernism as an active engagement with violence, specifically the violence of history in nineteenth-century France. Sanyal analyzes a literary current that uses the traditional hallmarks of modernism—irony, intertextuality, self-reflexivity, and formalism—to challenge the historical violence of modernity. Baudelaire and the committed ironists writing in his wake teach us how to read and resist the violence of history, and thereby to challenge the melancholy tenor of our contemporary "wound culture." In a series of provocative readings, Sanyal presents Baudelaire's poetry as an aesthetic form that contests historical violence through rhetorical strategies of complicity, counterviolence, and critique. The book develops a new account of Baudelaire's significance as a modernist by dislodging him both from his traditional status as a practitioner of "art for art's sake" and from his more recent incarnation as the poet of trauma. Following her extended analysis of Baudelaire's poetry, Sanyal in later chapters considers a number of authors influenced by his strategies—including Rachilde, Virginie Despentes, Albert Camus, and Jean-Paul Sartre—to examine the relevance of their interventions for our current climate of trauma and terror. The result is a study that underscores how Baudelaire's legacy continues to energize literary engagements with the violence of modernity.

Terra 2008

Terra 2008 PDF Author: Leslie Rainer
Publisher: Getty Publications
ISBN: 1606060430
Category : Architecture
Languages : fr
Pages : 438

Get Book Here

Book Description
Earthen architecture constitutes one of the most diverse forms of cultural heritage and one of the most challenging to preserve. It dates from all periods and is found on all continents but is particularly prevalent in Africa, where it has been a building tradition for centuries. Sites range from ancestral cities in Mali to the palaces of Abomey in Benin, from monuments and mosques in Iran and Buddhist temples on the Silk Road to Spanish missions in California. This volume's sixty-four papers address such themes as earthen architecture in Mali, the conservation of living sites, local knowledge systems and intangible aspects, seismic and other natural forces, the conservation and management of archaeological sites, research advances, and training.

Safeguarding Traditional Cultures

Safeguarding Traditional Cultures PDF Author: Peter Seitel
Publisher:
ISBN: 9780966552010
Category : Biens culturels - Politique gouvernementale - Congrès
Languages : en
Pages : 399

Get Book Here

Book Description
Proceedings from a conference "A global assessment of the 1989 recommendation on the safeguarding of traditional culture and folklore" held at the Smithsonian Institution June 27-30 1999. The purpose of the conference was to assess the implementation of the Recommendation (an international normative instrument adopted by UNESCO in 1989), to bring together points of view and perspectives on the Recommendaion from around the world, and suggest ways in which the Recommendation might develop in the future so that its purpose, the safeguarding of traditional culture and folklore, might be achieved.

Your Mindful Compass

Your Mindful Compass PDF Author: Andrea Maloney Schara
Publisher:
ISBN: 9780615928791
Category : Families
Languages : en
Pages : 318

Get Book Here

Book Description
"Your Mindful Compass" takes us behind the emotional curtain to see the mechanisms regulating individuals in social systems. There is great comfort and wisdom in knowing we can increase our awareness to manage the swift and ancient mechanisms of social control. We can gain greater flexibility by seeing how social controls work in systems from ants to humans. To be less controlled by others, we learn how emotional systems influence our relationship-oriented brain. People want to know what goes on in families that give rise to amazing leaders and/or terrorists. For the first time in history we can understand the systems in which we live. The social sciences have been accumulating knowledge since the early fifties as to how we are regulated by others. S. Milgram, S. Ashe, P. Zimbardo and J. Calhoun, detail the vulnerability to being duped and deceived and the difficulty of cooperating when values differ. Murray Bowen, M.D., the first researcher to observe several live-in families, for up to three years, at the National Institute of Mental Health. Describing how family members overly influence one another and distribute stress unevenly, Bowen described both how symptoms and family leaders emerge in highly stressed families. Our brain is not organized to automatically perceive that each family has an emotional system, fine-tuned by evolution and "valuing" its survival as a whole, as much as the survival of any individual. It is easier to see this emotional system function in ants or mice but not in humans. The emotional system is organized to snooker us humans: encouraging us to take sides, run away from others, to pressure others, to get sick, to blame others, and to have great difficulty in seeing our part in problems. It is hard to see that we become anxious, stressed out and even that we are difficult to deal with. But "thinking systems" can open the doors of perception, allowing us to experience the world in a different way. This book offers both coaching ideas and stories from leaders as to strategies to break out from social control by de-triangling, using paradoxes, reversals and other types of interruptions of highly linked emotional processes. Time is needed to think clearly about the automatic nature of the two against one triangle. Time and experience is required as we learn strategies to put two people together and get self outside the control of the system. In addition, it takes time to clarify and define one's principles, to know what "I" will or will not do and to be able to take a stand with others with whom we are very involved. The good news is that systems' thinking is possible for anyone. It is always possible for an individual to understand feelings and to integrate them with their more rational brains. In so doing, an individual increases his or her ability to communicate despite misunderstandings or even rejection from important others. The effort involved in creating your Mindful Compass enables us to perceive the relationship system without experiencing it's threats. The four points on the Mindful Compass are: 1) Action for Self, 2) Resistance to Forward Progress, 3) Knowledge of Social Systems and the 4) The Ability to Stand Alone. Each gives us a view of the process one enters when making an effort to define a self and build an emotional backbone. It is not easy to find our way through the social jungle. The ability to know emotional systems well enough to take a position for self and to become more differentiated is part of the natural way humans cope with pressure. Now people can use available knowledge to build an emotional backbone, by thoughtfully altering their part in the relationship system. No one knows how far one can go by making an effort to be more of a self-defined individual in relationships to others. Through increasing emotional maturity, we can find greater individual freedom at the same time that we increase our ability to cooperate and to be close to others.

Bourdieu and Literature

Bourdieu and Literature PDF Author: John R. W. Speller
Publisher: Open Book Publishers
ISBN: 1906924422
Category : Social Science
Languages : en
Pages : 208

Get Book Here

Book Description
Bourdieu and Literature is a wide-ranging, rigorous and accessible introduction to the relationship between Pierre Bourdieu's work and literary studies. It provides a comprehensive overview and critical assessment of his contributions to literary theory and his thinking about authors and literary works. One of the foremost French intellectuals of the post-war era, Bourdieu has become a standard point of reference in the fields of anthropology, linguistics, art history, cultural studies, politics, and sociology, but his longstanding interest in literature has often been overlooked. This study explores the impact of literature on Bourdieu's intellectual itinerary, and how his literary understanding intersected with his sociological theory and thinking about cultural policy. This is the first full-length study of Bourdieu's work on literature in English, and it provides an invaluable resource for students and scholars of literary studies, cultural theory and sociology.

Uncertain Territories

Uncertain Territories PDF Author: Inge E. Boer
Publisher: BRILL
ISBN: 9401203717
Category : Law
Languages : en
Pages : 341

Get Book Here

Book Description
Tracing and theorizing the concept of the boundaries through literary works, visual objects and cultural phenomena, this book argues against the reification of boundaries as fixed and empty non-spaces that simply divide the world. Expanding on her previous work on gender and Orientalism, Inge Boer takes us into uncertain territories of fashion and art, tourism and travel, skilfully engaging the ambivalence of boundaries, as both protecting and confining, as bringing distinction while existing by virtue of their ability to be transgressed. In her close readings of that boundaries as desert, as frame, as home (or lack of it), Boer shows that boundaries are spaces within, through, and in the name of which negotiations take place. They are not lines but spaces ; neither fixed nor empty but flexible and inhabited. With the publication of this book, Boer’s intellectual legacy stretches beyond her untimely passing. The writings that she left behind can be said to have inaugurated the future of her work, presented in the latter part by several of Boer’s intellectual companions. In their original essays, the contributors elaborate on Boer’s theme of boundaries as spaces where opposition yields to negotiation. Committed to the artefact as cultural stimulant, as the embodiment of thought, their analyses span a multitude of artefacts and media, ranging from literature to photography, to art installation and presentation, to film and song. Fanning out from Boer ‘s central focus – Orientalism – to other places of contestation, boundaries are shown to mediate the relationship between self and other ; they are, ultimately, spaces of encounter.

Design Theory

Design Theory PDF Author: Pascal Le Masson
Publisher: Springer
ISBN: 3319502778
Category : Technology & Engineering
Languages : en
Pages : 390

Get Book Here

Book Description
This textbook presents the core of recent advances in design theory and its implications for design methods and design organization. Providing a unified perspective on different design methods and approaches, from the most classic (systematic design) to the most advanced (C-K theory), it offers a unique and integrated presentation of traditional and contemporary theories in the field. Examining the principles of each theory, this guide utilizes numerous real life industrial applications, with clear links to engineering design, industrial design, management, economics, psychology and creativity. Containing a section of exams with detailed answers, it is useful for courses in design theory, engineering design and advanced innovation management. "Students and professors, practitioners and researchers in diverse disciplines, interested in design, will find in this book a rich and vital source for studying fundamental design methods and tools as well as the most advanced design theories that work in practice". Professor Yoram Reich, Tel Aviv University, Editor-in-Chief, Research In Engineering Design. "Twenty years of research in design theory and engineering have shown that training in creative design is indeed possible and offers remarkably operational methods - this book is indispensable for all leaders and practitioners who wish to strengthen theinnovation capacity of their company." Pascal Daloz, Executive Vice President, Dassault Systèmes

The Telephone, the Microphone and the Phonograph

The Telephone, the Microphone and the Phonograph PDF Author: comte Th Du Moncel
Publisher:
ISBN:
Category : Microphone
Languages : en
Pages : 296

Get Book Here

Book Description


The Planetarium

The Planetarium PDF Author: Nathalie Sarraute
Publisher: Deep Vellum Publishing
ISBN: 1628974176
Category : Fiction
Languages : en
Pages : 203

Get Book Here

Book Description
A young writer has his heart set on his aunt's large apartment. With this seemingly simple conceit, the characters of The Planetarium are set in orbit and a galaxy of argument, resentment, and bitterness erupts. Telling the story from various points of view, Sarraute focuses below the surface, on the emotional lives of the characters in a way that surpasses even Virginia Woolf. Always deeply engaging, The Planetarium reveals the deep disparity between the way we see ourselves and the way others see us.