Software doping – Theory and detection

Software is doped if it contains a hidden functionality that is intentionally included by the manufacturer and is not in the interest of the user or society. This thesis complements this informal definition by a set of formal cleanness definitions that characterise the absence of software doping. These definitions reflect common expectations on clean software behaviour and are applicable to many types of software, from printers to cars to discriminatory AI systems. We use these definitions to propose white-box and black-box analysis techniques to detect software doping. In particular, we present a provably correct, model-based testing algorithm that is intertwined with a probabilistic-falsification-based test input selection technique. We identify and explain how to overcome the challenges that are specific to real-world software doping tests and analyses. The most prominent example of software doping in recent years is the Diesel Emissions Scandal. We demonstrate the strength of our cleanness definitions and analysis techniques by applying them to emission cleaning systems of diesel cars. All our car related research is unified in a Car Data Platform. The mobile app LolaDrives is one building block of this platform; it supports conducting real-driving emissions tests and provides feedback to the user in how far a trip satisfies driving conditions that are defined by official regulations.Software ist gedopt wenn sie eine versteckte Funktionalität enthält, die vom Hersteller beabsichtigt ist und deren Existenz nicht im Interesse des Benutzers oder der Gesellschaft ist. Die vorliegende Arbeit ergänzt diese nicht formale Definition um eine Menge von Cleanness-Definitionen, die die Abwesenheit von Software Doping charakterisieren. Diese Definitionen spiegeln allgemeine Erwartungen an "sauberes" Softwareverhalten wider und sie sind auf viele Arten von Software anwendbar, vom Drucker über Autos bis hin zu diskriminierenden KI-Systemen. Wir verwenden diese Definitionen um sowohl white-box, als auch black-box Analyseverfahren zur Verfügung zu stellen, die in der Lage sind Software Doping zu erkennen. Insbesondere stellen wir einen korrekt bewiesenen Algorithmus für modellbasierte Tests vor, der eng verflochten ist mit einer Test-Input-Generierung basierend auf einer Probabilistic-Falsification-Technik. Wir identifizieren Hürden hinsichtlich Software-Doping-Tests in der echten Welt und erklären, wie diese bewältigt werden können. Das bekannteste Beispiel für Software Doping in den letzten Jahren ist der Diesel-Abgasskandal. Wir demonstrieren die Fähigkeiten unserer Cleanness-Definitionen und Analyseverfahren, indem wir diese auf Abgasreinigungssystem von Dieselfahrzeugen anwenden. Unsere gesamte auto-basierte Forschung kommt in der Car Data Platform zusammen. Die mobile App LolaDrives ist eine Kernkomponente dieser Plattform; sie unterstützt bei der Durchführung von Abgasmessungen auf der Straße und gibt dem Fahrer Feedback inwiefern eine Fahrt den offiziellen Anforderungen der EU-Norm der Real-Driving Emissions entspricht

Zur Zukunft der Bereichsethiken – Herausforderungen durch die Ökonomisierung der Welt

Der vorliegende achte Band der Schriftenreihe des Zentrums für Technik- und Wirtschaftsethik am Karlsruher Institut für Technologie soll - wie die Schriftenreihe insgesamt - den überfachlichen Dialog fördern. Zu einem solchen Dialog gehört auch der Themenkomplex „Zur Zukunft der Bereichsethiken - Herausforderungen durch die Ökonomisierung der Welt“. Die vielfältigen, multidimensionalen Ökonomisierungsprozesse prägen und verändern zusammen mit Technik und Wissenschaft auf mannigfache Weise und in einem nie gekanntem Ausmaß unsere Welt. Gesellschaften, das Zusammenleben der Menschen und das Arbeitsleben in der Gegenwart und noch stärker in der Zukunft erfahren ständig sich beschleunigende Veränderungen. Die im Band versammelten Beiträge stellen Ansätze und Beispiele dar, die Herausforderungen der Ökonomisierung der Welt mithilfe ethischer Überlegungen anzugehen und damit auch einen Beitrag zur Zukunft(sfähigkeit) der Ethik bzw. der Bereichsethiken zu leisten. Der Band enthält hierzu sowohl stärker grundsätzlich orientierte als auch eher bereichsbezogene Aufsätze. Zu den behandelten Themen gehören u.a.: die Renaissance der Geisteswissenschaften im Anthropozän-Diskurs, die Ethik der Veränderung, die Ökonomisierung als Triebkraft zur Anwendung der Ethik, zur Zukunft der Technik-, Wirtschafts- und Wissenschaftsethik, die Ökonomisierung der gesellschaftlichen Arbeit, der Sozialen Arbeit, der Medien, der persönlichen Beziehungen, der Wasserversorgung, des Gesundheitswesens sowie des Sports

Zur Zukunft der Bereichsethiken – Herausforderungen durch die Ökonomisierung der Welt

Der vorliegende achte Band der Schriftenreihe des Zentrums für Technik- und Wirtschaftsethik am Karlsruher Institut für Technologie soll - wie die Schriftenreihe insgesamt - den überfachlichen Dialog fördern. Zu einem solchen Dialog gehört auch der Themenkomplex „Zur Zukunft der Bereichsethiken - Herausforderungen durch die Ökonomisierung der Welt“. Die vielfältigen, multidimensionalen Ökonomisierungsprozesse prägen und verändern zusammen mit Technik und Wissenschaft auf mannigfache Weise und in einem nie gekanntem Ausmaß unsere Welt. Gesellschaften, das Zusammenleben der Menschen und das Arbeitsleben in der Gegenwart und noch stärker in der Zukunft erfahren ständig sich beschleunigende Veränderungen. Die im Band versammelten Beiträge stellen Ansätze und Beispiele dar, die Herausforderungen der Ökonomisierung der Welt mithilfe ethischer Überlegungen anzugehen und damit auch einen Beitrag zur Zukunft(sfähigkeit) der Ethik bzw. der Bereichsethiken zu leisten. Der Band enthält hierzu sowohl stärker grundsätzlich orientierte als auch eher bereichsbezogene Aufsätze. Zu den behandelten Themen gehören u.a.: die Renaissance der Geisteswissenschaften im Anthropozän-Diskurs, die Ethik der Veränderung, die Ökonomisierung als Triebkraft zur Anwendung der Ethik, zur Zukunft der Technik-, Wirtschafts- und Wissenschaftsethik, die Ökonomisierung der gesellschaftlichen Arbeit, der Sozialen Arbeit, der Medien, der persönlichen Beziehungen, der Wasserversorgung, des Gesundheitswesens sowie des Sports

Zur Zukunft der Bereichsethiken – Herausforderungen durch die Ökonomisierung der Welt

Im vorliegenden Band „Zur Zukunft der Bereichsethiken – Herausforderungen durch die Ökonomisierung der Welt“ werden Ansätze und Beispiele behandelt, diese Herausforderungen anzugehen und damit auch einen Beitrag zur Zukunft der Bereichsethiken zu leisten. Themen sind u.a.: zur Zukunft der Technik-, Wirtschafts- und Wissenschaftsethik, die Ökonomisierung der gesellschaftlichen und Sozialen Arbeit, der Medien, der persönlichen Beziehungen, der Wasserversorgung, im Gesundheitswesen sowie im Sport

Bereichsethiken im interdisziplinären Dialog

Im vorliegenden Band "Bereichsethiken im interdisziplinären Dialog" werden u.a. folgende Bereichsethiken bzw. bereichsübergreifende Ethiken behandelt: Technikethik, politische Ethik, Wissenschaftsethik, Nano-Ethik, Wirtschaftsethik, Sicherheitsethik, Ordnungsethik, evolutionäre und experimentelle Ethik, Bioethik, Umweltethik, Tierethik, Sportethik, pädagogische Ethik, Ethik des Neuroenhancement, Medizinethik, Medienethik und Informationsethik

Bereichsethiken im interdisziplinären Dialog

In the present volume "areas of applied ethics" will be dealt with "in interdisciplinary dialogue". Examples of fields of applied ethics in this volume are amongst others: engineering ethics, political ethics, ethics of science, nanoethics, business and economic ethics, ethics of the economic order, evolutionary and experimental ethics, bioethics, environmental ethics, animal ethics, sports ethics, pedagogical ethics, ethics of neuroenhancement, medical ethics, media and information ethics

Group III-V Nanowire Growth and Characterization

Electronic and optical devices typically use bulk or quantum wells today, but nanowires are promising building blocks for future devices, due to their structural characterizations of larger aspect ratio and smaller volume. In situ growth of semiconductor devices is extremely attractive, as it doesn’t require expensive lithography treatment. Over the past ten years, a great deal of work has been done to explore NW, incorporation of group III-V materials and band engineering for the electronic and optoelectronic devices. Because pseudo one-dimensional heterostructures may be grown without involving lattice mismatch defects, NWs may give rise to superior electronic, photonic, and magnetic performances as compared to conventional bulk or planar structures

Pluralizm prawny. Tradycja, transformacje, wyzwania, 510 s.

Książka poświęcone tradycji, współczesności i prognozowanej przyszłości zjawiska pluralizmu prawnego. Fenomen ten został w ukazany z różnych punktów widzenia - towarzyszących mu prądów ideowych, uwarunkowań politycznych, ekonomicznych, a także zmieniającego się technicznego otoczenia życia społeczeństw, szczególnie nowych systemów masowej, horyzontalnej i wertykalnej komunikacji