Kategorie: ChaosSeminar

Software schreiben ist schwierig. Ein Tool, das immer wieder kurze Zeit auf kommt, um danach wieder zu verschwinden, ist die (automatische, statische) Verifikation von Software. Ziel ist, mit einem Algorithmus fest zu stellen, ob ein Programm “korrekt” funktioniert. In diesem Vortrag geht es hauptsächlich darum klar zu machen, warum Verifikation sich nicht wirklich durchgesetzt hat, was denn “korrekt” heißen soll, wofür man Verifikation sonst noch einsetzen kann, und letztlich was man aus das ganze lernen kann ohne es anwenden zu müssen.

oder — wie Marcus im Labor Mikrocontroller ge-blitz-dingst hat —

Alle elektrisch betriebenen Geräte generieren mehr oder weniger stark ausgeprägte elektromagnetische Felder, lassen sich aber auch von Feldern ab einer gewissen Intensität selbst beeinflussen. Dies kann eventuell gewollt sein (z.B. bei drahtloser Kommunikation), aber natürlich auch ungewollte Effekte wie Fehlfunktionen oder den kompletten Ausfall von Geräten zur Folge haben. Richtlinien zur elektromagnetischen Verträglichkeit auf nationaler sowie internationaler Ebene definieren, welche Intensität von elektronischen Geräten ohne Fehlfunktion toleriert werden müssen.

Der Vortrag startet mit einen kurzen Einblick in die Grundlagen der Elektrotechnik, die nötig sind um die Entstehung und die Auswirkungen von elektromagnetischen Feldern zu veranschaulichen. Wichtige Themen in dem Zusammenhang sind der Übergang von idealen zu realen Bauteilen bei Steigerung der Frequenz, die Auswirkungen der Manipulation von räumlichen Dimensionen und wechselseitige Beeinflussungsmöglichkeiten - (unbewusste) Kopplungen. Die verschiedenen Aspekte werden durch bekannte Beispiele aus der realen Welt verdeutlicht, z.B. warum das Kabel der USB-Maus nicht zum Anschließen einer USB-Festplatte geeignet ist.

Zu Beginn des Seminars wird es ein kurzes Update zur Anschaffung neuer Hardware für unserer “dontpanic” geben.

Halbleiter werden aus Stoffen mit mehreren Schichten zusammengefügt. Je präziser man die Schichtübergänge fertigen kann, desto genauer kann man das Verhalten des Bauteiles voraussagen. Atomic Layer Deposition (ALD) ist ein Verfahren, um ein Gas zur chemischen Reaktion zu bringen und dabei diese Schicht zu verändern. Im speziellen Beispiel soll auf ein Werkstück eine Atomlage Aluminium aufgebracht werden, damit das Alumium im nächsten Schritt mit Sauerstoff reagiert. Es ensteht ein Stück Silizium mit einer Lage Aluminiumoxid. Aluminiumoxid ist ein Nichtleiter und das entstehende Bauteil nennt sich MOSFET (Metall Oxide Semiconductor Field Effect Transistor).

HEck packt noch eine Menge Elektrotechnikwissen oben drauf und erklärt, was an der Maschine austauschbedürftig war, was er entworfen hat und das ganze Verfahren drum herum.

Der elektronische Personalausweis. Eine Leidensgeschichte. Von Promos mit der Bildzeitung, defekter Software und dem technischen Totalversagen. JETZT NEU mit einem hohlen Innenminister-Spruch zum Sammeln in jeder Packung!

Vortragswebsite: http://marmaro.de/docs/chaosseminar/on-performance/

In diesem Vortrag geht es um Gedanken zur Performance von Software und Software-Systemen. Anhand von Beispielen werden verschiedenen Seiten des Themas beleuchtet und diskutiert.

Ziel des Vortrags ist es, Erfahrungswissen zum Erkennen von problematischen Performance-Optimierungen mitzugeben und ein umfassenderes Verstaendnis der Thematik zu vermitteln.

Unix-Prinzip kann man den Grundsatz „Software ist Text” nennen. Dieses Prinzip zu ergründen, indem der Text nicht als bloße Zeichenkette, sondern als geparste Struktur implementiert wird, ist der Zweck der experimentellen Textengine, die in diesem Vortrag vorgestellt wird.

Projektwebsite: http://text-engine.de

(Kontaktperson zum Vortragenden: meillo)

Es ist höchste Zeit, dass es zu diesem Thema ein ChaosSeminar gibt! Immer mehr technische Enthusiasten entdecken unser politisches System als Spielwiese und sind dabei Ideen aus der freien Softwarewelt in die Politik zu übertragen. Geschlossene Datenhaltung ist nicht mehr - Open Data ist jetzt angesagt!

Laut Wikipedia bezeichnet Open Data “die freie Verfügbar- und Nutzbarkeit von […] Daten. Sie beruht auf der Annahme, dass vorteilhafte Entwicklungen eingeleitet werden, wenn Daten für jedermann frei zugänglich gemacht werden”.

Was genau “vorteilhafte Entwicklungen” und “freie Daten” sein können werde ich versuchen in diesem Vortrag anschaulich zu beantworten. Zentrale Fragestellungen sind:

• Was ist die Idee und Motivation hinter Open Data?
• Wie ist der Stand? Welche Daten sind bereits befreit?
• Was haben etwa kreative Menschen aller Art mit frei verfügbaren Datensätzen angestellt?

Ich will hier insbesondere auch auf die aktuellen Entwicklungen in Deutschland / Ulm eingehen. Wir haben vor etwa zwei Jahren die Hochschulgruppe datalove und das Projekt ulmAPI.de ins Leben gerufen und seither einige Projekte im Open Data Kontext verwirklicht, zwei Open Data Barcamps veranstaltet und waren auf lokaler und regionaler Ebene beratend im Gespräch mit Verwaltungen und Ämtern.