Normen und Richtlinien zur Prüfung und Qualitätssicherung von Steuerungssoftware

Zusammenfassung   Der Einsatz von Software, auch in sicherheitskritischen Bereichen, wird immer verbreiteter. Damit steigen die Anforderungen an die Qualit?t der Software. Die Basis zur Beurteilung der Qualit?t kann ein von allen Beteiligten anerkannter Standard schaffen. Der Artikel gibt eine übersicht über den aktuellen Stand der Normung auf dem Gebiet der Prüfung und Qualit?tssicherung von Software. Besonderes Augenmerk wird dabei auf die Steuerungssoftware gelegt, die viele sicherheitsrelevante Einsatzgebiete wie Medizintechnik oder Flugsicherung hat. Eingegangen in überarbeiteter Form am 12.09.1997     

Suchmaschinen und Anfragen im World Wide Web

Zusammenfassung   Durch das World Wide Web (WWW) ist es auf einfache Art m?glich, Zugang zu Information zu erhalten, die über das ganze Internet verteilt sind. Allerdings hat es sich durch das gro?e und schnell wachsende Informationsangebot im WWW als notwendig erwiesen, über die reine Navigation in diesem Hypertextsystem hinaus Werkzeuge zur Verfügung zu stellen, welche die riesige hier vorliegende „Datenbank“ WWW zielgerichtet und effizient auswerten k?nnen. Solche Werkzeuge werden als Suchmaschinen bezeichnet; sie werden in diesem übersichtsartikel vorgestellt. Darüber hinaus werden zur Zeit diskutierte Ans?tze beschrieben, Techniken des Formulierens und Verarbeitens von Anfragen, wie man sie aus Datenbanken kennt, auf das WWW anzuwenden. Die (berechtigte) Hoffnung ist, mit der übertragung von Datenbanktechniken auf das Web zu einem effizienteren und komfortableren Umgang mit der vorliegenden Informationsflut zu gelangen. Eingegangen am 17.07.1997, in überarbeiteter Form am 15.09.1997     

Zugriff auf Datenbanken über das World Wide Web

Zusammenfassung   Datenbanksysteme gewinnen für das World Wide Web (WWW) zunehmend an Bedeutung, da sie die Organisation gro?er Informationsmengen sowie die transaktionsbasierte und sichere Verwaltung von Daten und Gesch?ftsvorg?ngen unterstützen. Um effizient auf Datenbanksysteme (DBS) in Internetanwendungen zugreifen zu k?nnen, müssen geeignete überg?nge zwischen WWW und DBS benutzt werden. Wir stellen anhand eines Forderungskatalogs die Eigenschaften aktueller Verfahren vor, ordnen sie den Architekturen der Informationsverarbeitung zu und diskutieren die M?glichkeiten weiterer Entwicklungen. Eingegangen am 08. 03. 1996, in überarbeiteter Form am 18. 07. 1997     

Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit

Zusammenfassung   Ein Software-System wird intuitiv als zuverl?ssig bezeichnet, wenn es den berechtigten Benutzungserwartungen bezüglich der Erfüllung seiner Aufgaben über einen Zeitraum hinweg auf zufriedenstellende Weise entspricht. Eine Quantifizierung dieser Zuverl?ssigkeit wird durch mathematische Modelle, Software-Zuverl?ssigkeitsmodelle, angestrebt. Vor allem für sicherheitskritische Systeme sind solche Modelle, die eine solide theoretische Fundierung besitzen, eingesetzt worden. Dieser Artikel gibt eine übersicht über die bestehenden „klassischen“ Ans?tze zur quantitativen Software-Zuverl?ssigkeitsbestimmung und fa?t Erfahrungen mit deren Einsatz in der Praxis zusammen. Als Ausblick werden neue Entwicklungen zu alternativen Sichtweisen der Zuverl?ssigkeit beleuchtet. Eingegangen in überarbeiteter Form am 02.12.1997     

Qualitätssicherung Software-basierter technischer Systeme – Problembereiche und Lösungsansätze

Zusammenfassung   Die Qualit?tssicherung Software-basierter technischer Systeme erfordert ganzheitliche Betrachtungsweisen und Techniken, die auf unterschiedlich realisierte Systemkomponenten - z.B. Software, elektronische Komponenten, technische Prozesse - gleicherma?en anzuwenden sind. Eine ?konomisch und technisch sinnvolle Qualit?tssicherung fordert die Verwendung angepa?ter L?sungen. Im folgenden werden Problembereiche umrissen und exemplarische L?sungsans?tze diskutiert. Es werden Techniken vorgestellt, die von formal vollst?ndigen Sicherheitsnachweisen über statistisch abgesicherte Analysen von Ma?en (z.B. Zuverl?ssigkeitsma?en) bis zu informalen, aber systematischen Prüftechniken reichen. Eingegangen in überarbeiteter Form am 17.08.1998     

Java – Anmerkungen eines Wirth-Schülers

Zusammenfassung   Die „Internet-Programmiersprache“ Java ist momentan in aller Munde. Leider wird bei der recht marktschreierisch geführten Diskussion um Java h?ufig unterschlagen, dass viele der Java immanenten Qualit?ten keineswegs neu sind, sondern sich (besonders im Umfeld der Sprache Pascal) seit langem bew?hren. Der vorliegende Artikel beleuchtet den rasanten Aufstieg von Java, zeigt bislang weitgehend unbekannte Zusammenh?nge zwischen Java und Pascal auf, und wagt schliesslich eine Prognose über die Zukunft von Java. Eingegangen am 11.03.1997, in überarbeiteter Form am 27.11.1997     

Modellierung , Simulation, Visualisierung: Zu aktuellen Aufgaben der Informatik

Zusammenfassung   Zahlreiche Anwendungen der Informatik erfordern die Erstellung oder Bearbeitung von Modellen konkreter Abl?ufe oder Prozesse, zu deren erfolgreicher Durchführung ein Einblick in die grundlegenden Verfahrensschritte der Modellierung unabdingbar ist. Die Verfasser versuchen, im vorliegenden Text über eine genaue Beschreibung der Aufgaben auf einem hohen Abstraktionsniveau zu einer einschl?gigen (Meta-)Terminologie zu gelangen und zu zeigen, unter welchen Bedingungen sich unterschiedliche Modelltypen auch für nachfolgende Verarbeitungsschritte (Simulation und Visualisierung) nutzen lassen. Die zentralen Methoden werden mit einigen einfachen Beispielen illustriert. Eingegangen am 29.06.1998     

Java in der Programmierausbildung: Konzept und erste Erfahrungen

Zusammenfassung   Die Informatik innerhalb des Fachbereichs Mathematik und Informatik der Universit?t – Gesamthochschule Essen besorgt die Programmierausbildung für die Studierenden des Studiengangs Wirtschaftsinformatik und der Informatik-Nebenf?cher aller Fachbereiche der Universit?t. Es stand der Wechsel zu einer objektorientierten Programmiersprache an, und die Wahl fiel auf Java für die Durchführung der einführenden Informatikveranstaltungen im Wintersemester 96/97 und Sommersemester 97. Es werden die speziellen Randbedingungen im Ausbildungskonzept dargestellt und der Einsatz der Programmiersprache Java beschrieben. Neben der Diskussion der grunds?tzlichen Eignung von Java für die Ausbildung der Programmieranf?nger werden kurz weitere Aspekte wie z. B. Akzeptanz und Anforderungen an Werkzeuge angesprochen. Eingegangen am 06.11.1997     

Interkulturalität und informatische Gestaltung – Eine interdisziplinäre Annäherung

Zusammenfassung   Dieser Beitrag behandelt - aus einer interdisziplin?ren Perspektive - die Bedeutung der Interkulturalit?t für die Gestaltung in und mit der Informatik im Zeitalter zunehmender Globalisierung. In diesem Zusammenhang wird, um die Rolle der Kultur in der Kommunikation zu verstehen, auf linguistisch-empirische Untersuchungen zur schriftlichen Kommunikation eingegangen und ihre Brauchbarkeit für die Gestaltung hinterfragt. Anschlie?end wird der Frage nach M?glichkeiten und Grenzen des interkulturellen Verstehens und Dialoges in der Philosophie nachgegangen, um daraus Rechtfertigungen für die interkulturelle Orientierung in der Informatik zu erarbeiten. Schlie?lich werden aktuelle informatische Entwicklungen in interkulturellen Kontexten diskutiert. Eingegangen in überarbeiteter Form am 30.04.1998     

Mechanismen zur Steuerung und Verwaltung von ATM-Netzen Teil 1: Grundlegende Prinzipien

Zusammenfassung   Das asynchrone übertragungsverfahren (Asynchronous Transfer Mode (ATM)) hat sich in den letzten Jahren zu einer von allen Standardisierungsorganisationen anerkannten Basistechnologie der Hochleistungskommunikation entwickelt. Bedingt durch die Integration von Diensten mit hohen und zum Teil stark schwankenden Bandbreiten sowie verschiedener Dienstgüteanforderungen unterscheiden sich Verwaltungs- und Steuerungsmechanismen für ATM-Netze stark von Mechanismen in herk?mmlichen Kommunikationsnetzen. Ziel dieses zweiteiligen Beitrags ist es, einen überblick über Grundmechanismen zu geben, die zur Steuerung und Verwaltung von ATM-Netzen entwickelt wurden. Im vorliegenden ersten Teil werden grundlegende Prinzipien zur effizienten Verwaltung von Hochgeschwindigkeitsnetzen beschrieben und diskutiert. Der Nachweis der Leistungsf?higkeit dieser Kontroll- und überlaststeuerungsmechanismen bedarf analytischer Modellierungsans?tze, die im zweiten Teil dieses Beitrags vorgestellt werden. Eingegangen am 17.07.1996, in überarbeiteter Form am 03.04.1997