Gesellschaft für Informatik e.V.

Genehmigte Fachgruppenordnung der GI-Fachgruppe FoMSESS

1. Benennung und Zuordnung

Die Fachgruppe (FG) trägt den Namen "Formale Methoden und Software Engineering für Sichere Systeme". Die Fachgruppe trägt das Kürzel FoMSESS.

2. Rahmenvorschriften

Für die FG sind die Satzung der GI, die Geschäftsordnung der GI-Gliederungen, die jeweiligen Beschlüsse des Präsidiums und des Fachbereiches "Sicherheit - Schutz und Zuverlässigkeit -" (FB SICHERHEIT) verbindlich.

3. Aufgaben und Ziele

Die FG FoMSESS wendet sich an Fachleute, die in der Anwendung, Entwicklung und Forschung auf dem Gebiet der Orgsnisation (des Managements) von Informationssicherheit, im speziellen im IT-Bereich, und angrenzender Gebiete tätig sind. Sie will für diesen Kreis Fragestellungen, den Informations- und Erfahrungsaustausch und verschiedene technische Aktivitäten verfügbar machen. Zu den Zielen der FG gehören vor allem:

• die mathematisch / logisch fundierte Definition von Sicherheits-Grundbegriffen
• Anpassung von Techniken aus dem Bereich Safety auf die spezielle Situation im Bereich Security (etwa das Erarbeiten quantifizierbarer Kenngrößen von Sicherheit)
• die Modellierung und Spezifikation von Sicherheitsanforderungen, insb. mit formalen Techniken
• die formale Spezifikation sicherheitskritischer Teile eines Systems,
• der Entwurf, die Dekomposition und die Komposition von softwarebasierten Systemen unter systematischer und nachweisbarer Realisierung von Sicherheitseigenschaften
• die Abbildung (Verfeinerung) von Sicherheitseigenschaften auf real-existierende Sicherheitstechnologien sowie die Untersuchung der methodischen Probleme solcher Verfeinerungen
• die Entwicklung von Verifikationstechniken und -methoden zum Nachweis sicherheitsrelevanter Eigenschaften von Spezifikationen oder Programmen, auch mit Unterstützung etwa durch Werkzeuge wie Theorembeweiser, Modelchecker oder CASE-tools
• die Untersuchung der Leistungsfähigkeit von Testverfahren auf Basis formaler Modelle zur Demonstration von Sicherheitseigenschaften, insbesondere die Generierung von Testsequenzen aus einer Spezifikation zur überprüfung sicherheitsrelevanter Eigenschaften einer Implementierung
• die Integrierung von Sicherheitsaspekten in den Entwicklungsablauf in der Praxis, unter Verwendung und Anpassung industriell gebräuchlicher Entwurfsmethoden, Notationen und Prozesse.

4. Geplante Aktivitäten

5. Mitgliedschaft

5.1 Jedes persönliche GI-Mitglied oder jeder Mitgliedsvertreter eines fördernden GI-Mitgliedes kann durch schriftliche Mitteilung an die Geschäftsstelle Mitglied in der Fachgruppe werden. Personen, die nicht GI-Mitglied sind, kann die Fachgruppenleitung (FGL) auf schriftlichen Antrag als Mitglied in die Fachgruppe aufnehmen. Die Mitgliedschaft gilt mindestens für ein Kalenderjahr.

5.2 Die Fachgruppenmitgliedschaft endet durch Tod, Austritt oder Ausschluss. Jedes Fachgruppenmitglied kann durch schriftliche Erklärung gegenuber der Geschäftsstelle zum Jahresende austreten. Die Erklärung muss bis zum 01.Oktober desselben Jahres oder spätestens vier Wochen nach Bekanntgabe einer Änderung dieser Fachgruppenordnung oder des Beschlusses über die Erhebung oder die Erhöhung des Fachgruppenbeitrages eingegangen sein.

Mitglieder, die ein Jahr weder auf Sitzungen erschienen sind, noch andere Beiträge geleistet haben, können vom Fachgruppenleiter von der Mitgliederliste gestrichen werden, um Karteileichen zu vermeiden. Die Reaktivierung der Mitgliedschaft muss vom Betroffenen aktiv betrieben werden.

Die FGL kann bei Vorliegen eines wichtigen Grundes einstimmig den Ausschluss eines Mitgliedes der Fachgruppe beschließen. Die FGL kann mehrheitlich den Ausschluss beschließen, wenn das Fachgruppenmitglied drei Monate nach Jahresbeginn seinen Beitrag noch nicht bezahlt hat, und dieser trotz Mahnung nicht innerhalb eines Monats eingeht.

5.3 Die FG kann einen Jahresbeitrag erheben. Jedes Fachgruppenmitglied ist verpflichtet, einen solchen im voraus zu bezahlen. Jedes Fachgruppenmitglied ist zur Teilnahme an den Fachgruppentreffen berechtigt.

6. Fachgruppenleitung (FGL)

6.1 Die FGL setzt sich zusammen aus bis zu zehn Mitgliedern der FG, die von der FG gewählt werden, und aus bis zu drei externen Fachexperten, die auf Vorschlag der FGL von der FBL bestätigt werden. Die Fachexperten müssen nicht GI-Mitglieder sein. Die Amtszeit der FGL ist auf maximal drei Jahre begrenzt und beginnt mit der Bestätigung der gewählten Mitglieder der FGL. Sinkt die Zahl der Gewählten durch vorzeitiges Ausscheiden unter die Zahl sechs, müssen Nachwahlen bzw. Nachberufungen vorgenommen werden; alternativ ist auch die vollständige Neuwahl zulässig.

6.2 Die FGL wählt aus ihrer Mitte den Sprecher und den stellvertretenden Sprecher der FG, deren Amtszeit spätestens mit der Amtszeit der FGL endet. Beide müssen von der FBL bestätigt werden und Mitglieder der GI sein.

6.3 Auf Vorschlag des Sprechers kann die FGL aus ihrer Mitte verantwortliche Referenten für wichtige, vordefinierte Aufgabenbereiche wählen.

6.4 Scheiden der Sprecher, sein Stellvertreter oder ein Referent vorzeitig aus der FGL aus, wird die jeweils vakante Position von der FGL durch Wahl aus ihrer Mitte neu besetzt. Die Amtszeit der neu Gewählten endet spätestens mit der Amtszeit der FGL.

6.5 Die FGL kann mit absoluter Mehrheit ihrer Mitglieder ihren Sprecher vorzeitig von seinen Aufgaben entbinden. Im Einvernehmen mit dem Sprecher können sein Stellvertreter oder ein Referent von der FGL kann mit absoluter Mehrheit ihrer Mitglieder vorzeitig von ihren Aufgaben entbunden werden.

6.6 Sprecher, Stellvertretender Sprecher oder Referenten der FG können durch die FBL vorzeitig von ihren Aufgaben entbunden werden. Erhebt die FGL hiergegen Einspruch, entscheidet das Präsidium; weist das Präsidium den Einspruch zuruck, muss die FGL neu gewählt werden.

7. Mitgliederverwaltung und Finanzen

7.1 Die Verwaltung der Daten der Fachgruppenmitglieder erfolgt ausschließlich in der GI-Geschäftsstelle.

7.2 Ein Jahresbeitrag kann mit einfacher Mehrheit der Anwesenden einer Mitgliederversammlung und mit Zustimmung des Schatzmeisters der GI festgesetzt werden, wobei der Jahresbeitrag für persönliche GI-Mitglieder bzw. den Mitgliedsvertreter eines fördernden GI-Mitgliedes deutlich niedriger sein soll als für Nicht-GI-Mitglieder. Der Jahresbeitrag der FG wird von der Geschäftsstelle von den FG-Mitgliedern eingezogen. Die Festsetzung eines FG-Jahresbeitrages für ein Kalenderjahr muss der Geschäftsstelle spätestens bis zur ordentlichen Mitgliederversammlung des Vorjahres mitgeteilt werden. Die FG richtet für eigene Einnahmen (Fachgruppenbeiträge, Spenden, Tagungsüberschüsse u.a.) ein von der Geschäftsstelle der GI zentral verwaltetes Unterkonto ein. Die Einrichtung anderer Konten ist der Fachgruppe nicht gestattet. Die FGL einer FG mit einem Unterkonto legt dem Schatzmeister der GI bis zum 15.05. eines jeden Jahres einen Haushaltsplan für das folgende Kalenderjahr zur Genehmigung vor. Ausgaben außerhalb dieses Haushaltsplanes bedürfen der vorherigen Zustimmung des Präsidiums.

Vierteljährlich ist eine Abrechnung über die Einnahmen und Ausgaben der FG von der GI-Geschäftsstelle zu erstellen und der FGL zuzuleiten. Zu weiteren Einzelheiten, insbesondere über den Abruf von Mitteln bei anteiligen Tagungsüberschüssen, ist der Absatz 4.4 der Geschäftsordnung der GI-Gliederungen verbindlich.

8. Wahl von Mitgliedern der FGL

8.1 Wahl der Fachgruppenleitung
Die Wahl der FGL erfolgt durch eine Wahlversammlung. Die amtierende FGL legt die Anzahl der Mitglieder der neu zu wählenden FGL unter Berücksichtigung der Maximalzahl gemäß 6.1 fest.

Wahlversammlung
Der Sprecher der FG beruft mit einer Frist von sechs Wochen eine Versammlung der FG-Mitglieder ein; die Einladung muss die Zahl der zu besetzenden Positionen angeben und ihr muss eine vorläufige Liste der Kandidaten fur die FGL beigefügt sein. Der FG-Sprecher eröffnet die Wahlversammlung, veranlasst die Wahl eines Wahlleiters und übergibt diesem die Versammlungsleitung. Der Wahlleiter öffnet nochmals die Kandidatenliste; die endgültige Kandidatenliste sollte mindestens so viele Kandidaten enthalten, wie FGL-Mitglieder zu wählen sind. Sie darf nur solche Kandidaten enthalten, die in der Versammlung einer Kandidatur mündlich oder zuvor schriftlich zugestimmt haben. Gewählt ist, wer mehr "Ja"- als "Nein"-Stimmen erhält. Wurden mehr Kandidaten vorgeschlagen als Positionen in der FGL besetzt werden müssen, so sind die Kandidaten mit den höchsten Zustimmungsergebnissen (Ja/Nein-Stimmen-Differenz) gewählt. Der Wahlleiter schreibt ein Wahlprotokoll, das der Wahlversammlung zur Billigung vorgelegt und an den Sprecher der FBL versandt wird mit der Bitte, die Wahl zu bestätigen.

8.2 Wahl des FG-Sprechers
Die erste Sitzung einer neu gewählten und bestätigten FGL wird vom Sprecher der FBL unter Vorlage einer Tagesordnung einberufen. Zu Beginn der Sitzung bittet er aus der Mitte der FGL um Vorschläge für das Amt des Sprechers und seines Stellvertreters und führt dann die Wahl durch. Nach erfolgter Wahl übergibt der Sitzungsleiter die Leitung an den neu gewählten Sprecher, der sein Amt solange kommissarisch ausführt, bis er von der FBL bestätigt wird; das Protokoll der ersten Sitzung wird von beiden Sitzungsleitern unterzeichnet und der FBL mit der Bitte um Bestätigung der Wahl zugeleitet. Wird die Wahl nicht bestätigt, erfolgt eine Wiederholung des Verfahrens.

9. Auflösung der FG

10. Genehmigung und Änderung der FG-Ordnung

11. Übergangsklausel