Safety and Mission Assurance Acronyms, Abbreviations, and Definitions

This NASA Technical Handbook compiles into a single volume safety, reliability, maintainability, and quality assurance and risk management terms defined and used in NASA safety and mission assurance directives and standards. The purpose of this handbook is to support effective communication within NASA and with its contractors. The definitions in this handbook are updated when the definition of the acronym or term is updated in the originating document

Validation matérielle d'une architecture générique de réseaux avioniques basée sur une gestion modulaire de la redondance

RÉSUMÉ Les systèmes avioniques ne cessent d'évoluer depuis l'apparition des technologies numériques au tournant des années 60. Après le passage par plusieurs paradigmes de développement, ces systèmes suivent maintenant l'approche « Integrated Modular Avionics » (IMA) depuis le début des années 2000. Contrairement aux méthodes antérieures, cette approche est basée sur une conception modulaire, un partage de ressources génériques entre plusieurs systèmes et l'utilisation plus poussée de bus multiplexés. La plupart des concepts utilisés par l'architecture IMA, bien que déjà connus dans le domaine de l'informatique distribuée, constituent un changement marqué par rapport aux modèles antérieurs dans le monde avionique. Ceux-ci viennent s'ajouter aux contraintes importantes de l'avionique classique telles que le déterminisme, le temps réel, la certification et les cibles élevées de fiabilité. L'adoption de l'approche IMA a déclenché une révision de plusieurs aspects de la conception, de la certification et de l'implémentation d'un système IMA afin d'en tirer profit. Cette révision, ralentie par les contraintes avioniques, est toujours en cours, et offre encore l'opportunité de développement de nouveaux outils, méthodes et modèles à tous les niveaux du processus d'implémentation d‟un système IMA. Dans un contexte de proposition et de validation d'une nouvelle architecture IMA pour un réseau générique de capteurs à bord d‟un avion, nous avons identifié quelques aspects des différentes approches traditionnelles pour la réalisation de ce type d‟architecture pouvant être améliorés. Afin de remédier à certaines des différentes lacunes identifiées, nous avons proposé une approche de validation basée sur une plateforme matérielle reconfigurable ainsi qu'une nouvelle approche de gestion de la redondance pour l'atteinte des cibles de fiabilité. Contrairement aux outils statiques plus limités satisfaisant les besoins pour la conception d'une architecture fédérée, notre approche de validation est spécifiquement développée de manière à faciliter la conception d'une architecture IMA. Dans le cadre de cette thèse, trois axes principaux de contributions originales se sont dégagés des travaux exécutés suivant les différents objectifs de recherche énoncés précédemment. Le premier axe se situe au niveau de la proposition d'une architecture hiérarchique de réseau de capteurs s'appuyant sur le modèle de base de la norme IEEE 1451. Cette norme facilite l'intégration de capteurs et actuateurs intelligents à tout système de commande par des interfaces normalisées et génériques.----------ABSTRACT Since the emergence of digital technologies in the 1960s, avionics has evolved very rapidly. To reflect the technological evolution, several design approaches have been followed up to the Integrated Modular Avionics (IMA) introduced in the late 1990s. Unlike previous approaches, IMA is based on modular conception, generic resources sharing between several previously independent systems and further use of multiplexed busses. While the major aspects used in the IMA architecture is already known in other fields such as distributed computing, they represent a fundamental change in regards to traditional approaches for avionics. These new concepts are added to the existing constraints of classic avionic such as determinism, real time application, certification and stringent reliability targets. Several aspects of the design, certification and implementation of an IMA system must be revised in order to maximize its benefice. The adoption of the IMA thus requires the development of new approaches, models and tools at each level of the implementation process of an IMA system. In a context of proposition and validation of a new IMA architecture for a generic sensor network, we have identified several key aspects of the traditional approaches that could be enhanced for a better compatibility with the IMA approach. In order to overcome these identified deficiencies, we have proposed a global validation approach based on a reconfigurable material platform combined with a new approach to redundancy management required to reach the reliability targets. Unlike the static tools devised for the previous federated design approach, our approach was specifically devised to ease the design process under the IMA architecture. Within the context of this thesis, three primary areas of original contributions have been identified from our work done within the objectives of project AVIO 402. The first contribution resides in the proposition of a hierarchical architecture for a sensor network base on the reference model of the IEEE 1451 standard

Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries

Lithium-ion batteries are increasingly being used in safety-critical applications, such as automotive, avionics and aerospace systems. They require the adoption of an electronic control system, called Battery Management System (BMS), to guarantee their safe and effective operation. Therefore, the reliability of the BMS is of paramount importance. In this paper, we analyze the effects of Single Event Upsets (SEUs) occurring in the control logic of an important BMS subsystem, i.e., the charge equalizer. Moreover, some SEU mitigation techniques based on logic redundancy are presented and their effectiveness is compared through fault simulation

Space station systems: A bibliography with indexes (supplement 6)

This bibliography lists 1,133 reports, articles, and other documents introduced into the NASA scientific and technical information system between July 1, 1987 and December 31, 1987. Its purpose is to provide helpful information to the researcher, manager, and designer in technology development and mission design according to system, interactive analysis and design, structural and thermal analysis and design, structural concepts and control systems, electronics, advanced materials, assembly concepts, propulsion, and solar power satellite systems. The coverage includes documents that define major systems and subsystems, servicing and support requirements, procedures and operations, and missions for the current and future Space Station

Bowdoin Orient v.137, no.1-25 (2007-2008)

https://digitalcommons.bowdoin.edu/bowdoinorient-2000s/1008/thumbnail.jp

Bowdoin Orient v.139, no.1-26 (2009-2010)

https://digitalcommons.bowdoin.edu/bowdoinorient-2010s/1000/thumbnail.jp

Kant in English: An Index

Kant in English: An Index / By Daniel Fidel Ferrer. ©Daniel Fidel Ferrer, 2017. Pages 1 to 2675. Includes bibliographical references. Index. 1. Ontology. 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Practice (Philosophy). 7. Philosophy and civilization. 8). Kant, Immanuel, 1724-1804 -- Wörterbuch. 9. Kant, Immanuel, 1724-1804 -- Concordances. 10. Kant, Immanuel, 1724-1804 -- 1889-1976 – Indexes. I. Ferrer, Daniel Fidel, 1952-. MOTTO As a famous motto calls us back to Kant, Otto Liebmann’s writes (Kant and His Epigones of 1865): “Also muss auf Kant zurückgegangen werden.” “Therefore, must return to Kant.” Table of Contents 1). Preface and Introduction. 2. Background on Kant’s Philosophy (hermeneutical historical situation). 3). Main Index (pages, 25 to 2676). Preface and Introduction Total words indexed: 58,928; for the 12 volumes that are in the MAIN INDEX are indexed: pages 1 to 7321. This monograph by Daniel Fidel Ferrer is 2676 pages in total. The following is a machine index of 12 volumes written by Immanuel Kant and translated from German into English. Everything is indexed including the text, title pages, preface, notes, editorials, glossary, indexes, biographical notes, and even some typos. No stop words or words removed from this index. There are some German words in the text, bibliographies, and in the glossaries (also included in Main Index). Titles in English of Kant’s writings for this index (pages 1 to 7321). Anthropology, History, and Education [Starts on page 1 Correspondence [Starts on page 313 Critique of Pure Reason [Starts page 971 Critique of the Power of Judgment [Starts on page 1771 Lectures on Logic [Starts on page 2247 Lectures on Metaphysics [Starts on page 2991 Notes and Fragments [Starts on page 3670 Opus Postumum [Starts on page 4374 Practical Philosophy [Starts on page 4741 Religion and Rational Theology [Starts on page 5446 Theoretical Philosophy after 1781 [Starts on page 5990 Theoretical Philosophy, 1755-1770 [Starts on page 6541 Universal Natural History and Theory of the Heavens or An Essay on the Constitution and the Mechanical Origin of the Entire Structure of the Universe Based on Newtonian Principles [Starts on page 7162 The whole single file which includes all of these books ends on page 7321. 12 volumes are pages 1 to 7321. These actual texts of these books by Kant are not include here because of copyright. This is only an index of these 7321 pages by Immanuel Kant. There are some German words in the text and in the glossaries, etc. Searching this Main Index. Please note the German words that start with umlauts are at the end of the index because of machine sorting of the words. Starting with the German word “ße” on page 2674 page of this book (see in Main Index). Use the FIND FUNCTION for all examples of the words or names you are searching. Examples from the Main Index mendacium, 5171, 5329, 5389 mendation, 220 mendax, 2702, 2800 mended, 360 Mendel, 416, 925, 965 Mendelian, 2212 Mendels, 345, 363, 417, 458, 560, 572, 588, 926, 928, 929 MENDELSSOHN, 925 Mendelssohn, 8, 9, 19, 98, 99, 100, 101

Kant in English: An Index

Kant in English: An Index / By Daniel Fidel Ferrer. ©Daniel Fidel Ferrer, 2017. Pages 1 to 2675. Includes bibliographical references. Index. 1. Ontology. 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Practice (Philosophy). 7. Philosophy and civilization. 8). Kant, Immanuel, 1724-1804 -- Wörterbuch. 9. Kant, Immanuel, 1724-1804 -- Concordances. 10. Kant, Immanuel, 1724-1804 -- 1889-1976 – Indexes. I. Ferrer, Daniel Fidel, 1952-. MOTTO As a famous motto calls us back to Kant, Otto Liebmann’s writes (Kant and His Epigones of 1865): “Also muss auf Kant zurückgegangen werden.” “Therefore, must return to Kant.” Table of Contents 1). Preface and Introduction. 2. Background on Kant’s Philosophy (hermeneutical historical situation). 3). Main Index (pages, 25 to 2676). Preface and Introduction Total words indexed: 58,928; for the 12 volumes that are in the MAIN INDEX are indexed: pages 1 to 7321. This monograph by Daniel Fidel Ferrer is 2676 pages in total. The following is a machine index of 12 volumes written by Immanuel Kant and translated from German into English. Everything is indexed including the text, title pages, preface, notes, editorials, glossary, indexes, biographical notes, and even some typos. No stop words or words removed from this index. There are some German words in the text, bibliographies, and in the glossaries (also included in Main Index). Titles in English of Kant’s writings for this index (pages 1 to 7321). Anthropology, History, and Education [Starts on page 1 Correspondence [Starts on page 313 Critique of Pure Reason [Starts page 971 Critique of the Power of Judgment [Starts on page 1771 Lectures on Logic [Starts on page 2247 Lectures on Metaphysics [Starts on page 2991 Notes and Fragments [Starts on page 3670 Opus Postumum [Starts on page 4374 Practical Philosophy [Starts on page 4741 Religion and Rational Theology [Starts on page 5446 Theoretical Philosophy after 1781 [Starts on page 5990 Theoretical Philosophy, 1755-1770 [Starts on page 6541 Universal Natural History and Theory of the Heavens or An Essay on the Constitution and the Mechanical Origin of the Entire Structure of the Universe Based on Newtonian Principles [Starts on page 7162 The whole single file which includes all of these books ends on page 7321. 12 volumes are pages 1 to 7321. These actual texts of these books by Kant are not include here because of copyright. This is only an index of these 7321 pages by Immanuel Kant. There are some German words in the text and in the glossaries, etc. Searching this Main Index. Please note the German words that start with umlauts are at the end of the index because of machine sorting of the words. Starting with the German word “ße” on page 2674 page of this book (see in Main Index). Use the FIND FUNCTION for all examples of the words or names you are searching. Examples from the Main Index mendacium, 5171, 5329, 5389 mendation, 220 mendax, 2702, 2800 mended, 360 Mendel, 416, 925, 965 Mendelian, 2212 Mendels, 345, 363, 417, 458, 560, 572, 588, 926, 928, 929 MENDELSSOHN, 925 Mendelssohn, 8, 9, 19, 98, 99, 100, 101