Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Online-Handbuch für die Entwicklung kritischer Software

16.12.2003


Ein neu entwickeltes Handbuch für die Entwicklung kritischer Software durch Anwendung künftiger Methodiken und Steigerung der betrieblichen Effizienz soll dazu beitragen, den Weg für Anwendungsprogramme des dritten Jahrtausends zu ebnen.



Das Projekt MATISSE (Methodologies and Technologies for Industrial Strength Systems Engineering), in dem die formalen Verfahren der mathematikbasierten Software-Entwicklung zur Anwendung kommen, unterstützt Validierungsprüfungen über den gesamten Entwicklungszyklus hinweg. Zu diesen Prüfungen gehören verschiedene Kontroll-, Modellprüfungs- und Simulationstechniken, die das Aufstellen der grundlegenden Richtlinien sowie die Erweiterung von Methodiken und technologische Verbesserungen ermöglichen.



Das Handbuch ist in drei Komponenten für unterschiedliche Phasen der Softwareentwicklung unterteilt, so dass der Leser die Wahl hat, entweder das gesamte Dokument oder die drei Teile separat und phasenbezogen zu lesen. Das einführende Material ist für die Leitungsebene gedacht, dient aber zugleich als Einführung zum Projektmanagement-Teil und endet mit dem Praxisteil, der praktische Arbeitsbeispiele enthält.

Insgesamt bietet das 316 Seiten umfassende Dokument eine Übersicht über die Grundlagen für das Softwaremodell und basiert auf der Analyse und den Erfahrungen aus drei industriellen Fallstudien. Die beiden erstellten Fallstudien, die den Grundstein für das Spektrum des künftigen Anwendungspotenzials bilden, sind ein integriertes Verifizierungsinstrument für Multi-Applikations-Chipkartensysteme und ein Signalgabe- und Kontrollsystem für die Bahn. Bei der dritten handelt es sich um ein Diagnosesystem für die Gesundheitsfürsorge, das bislang allerdings noch nicht getestet wurde. Der betreffende Partner ist jedoch sehr daran interessiert, die industriellen Vorzüge für seine Organisation zu nutzen.

Die kritische Software selbst wurde so entwickelt, dass sich die meisten Verfahren in vorhandene Systementwicklungszyklen integrieren lassen, was die laufenden Kosten wie auch die künftigen Entwicklungskosten minimiert. Diese Methodiken erweitern den Anwendungsbereich der formalen Verfahren und bieten Verbesserungen für die Technologien, die bei diesen formalen Verfahren angewandt werden. Kurz gesagt, besteht das Projektziel darin, bestehende Grundverfahren zu nutzen und zu verbessern, die mit technisch kritischen, softwarebasierten Anwendungen im Zusammenhang stehen.

Mit MATISSE lassen sich die Vorzüge der Softwareentwicklung in weitaus größerem Maße nutzen als dies bisher möglich war, weil die Vorteile der Anwendungen über die eigentliche Projektdauer hinaus bestehen bleiben. Die französische Universität, an der das Handbuch entstanden ist, bietet künftigen Partnern, die an einer Integration ihrer heterogenen formalen Verfahren in diese Methodik interessiert sind, die Nutzung ihrer Serie von Software-Entwicklungstools an. Das 316 Seiten umfassende Gesamtdokument ist dauerhaft übers Internet zugänglich.

Kontakt:

Prof. Traian Muntean
Université de la Méditerranée-Marseille
Parc Scientifique de Luminy-Case925
13288 Marseille
Tel: +33-491-8285-01, Fax: -11
Email: Traian.Muntean@

Prof. Traian Muntean | ctm
Weitere Informationen:
http://www.imag.fr
http://www.esil.univ-mrs.fr/~spc/matisse/Handbook

Weitere Berichte zu: Methodik Softwareentwicklung Verbesserung

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Ein stabiles magnetisches Bit aus drei Atomen
21.09.2017 | Sonderforschungsbereich 668

nachricht Drohnen sehen auch im Dunkeln
20.09.2017 | Universität Zürich

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Hochpräzise Verschaltung in der Hirnrinde

Es ist noch immer weitgehend unbekannt, wie die komplexen neuronalen Netzwerke im Gehirn aufgebaut sind. Insbesondere in der Hirnrinde der Säugetiere, wo Sehen, Denken und Orientierung berechnet werden, sind die Regeln, nach denen die Nervenzellen miteinander verschaltet sind, nur unzureichend erforscht. Wissenschaftler um Moritz Helmstaedter vom Max-Planck-Institut für Hirnforschung in Frankfurt am Main und Helene Schmidt vom Bernstein-Zentrum der Humboldt-Universität in Berlin haben nun in dem Teil der Großhirnrinde, der für die räumliche Orientierung zuständig ist, ein überraschend präzises Verschaltungsmuster der Nervenzellen entdeckt.

Wie die Forscher in Nature berichten (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005), haben die...

Im Focus: Highly precise wiring in the Cerebral Cortex

Our brains house extremely complex neuronal circuits, whose detailed structures are still largely unknown. This is especially true for the so-called cerebral cortex of mammals, where among other things vision, thoughts or spatial orientation are being computed. Here the rules by which nerve cells are connected to each other are only partly understood. A team of scientists around Moritz Helmstaedter at the Frankfiurt Max Planck Institute for Brain Research and Helene Schmidt (Humboldt University in Berlin) have now discovered a surprisingly precise nerve cell connectivity pattern in the part of the cerebral cortex that is responsible for orienting the individual animal or human in space.

The researchers report online in Nature (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005) that synapses in...

Im Focus: Tiny lasers from a gallery of whispers

New technique promises tunable laser devices

Whispering gallery mode (WGM) resonators are used to make tiny micro-lasers, sensors, switches, routers and other devices. These tiny structures rely on a...

Im Focus: Wundermaterial Graphen: Gewölbt wie das Polster eines Chesterfield-Sofas

Graphen besitzt extreme Eigenschaften und ist vielseitig verwendbar. Mit einem Trick lassen sich sogar die Spins im Graphen kontrollieren. Dies gelang einem HZB-Team schon vor einiger Zeit: Die Physiker haben dafür eine Lage Graphen auf einem Nickelsubstrat aufgebracht und Goldatome dazwischen eingeschleust. Im Fachblatt 2D Materials zeigen sie nun, warum dies sich derartig stark auf die Spins auswirkt. Graphen kommt so auch als Material für künftige Informationstechnologien infrage, die auf der Verarbeitung von Spins als Informationseinheiten basieren.

Graphen ist wohl die exotischste Form von Kohlenstoff: Alle Atome sind untereinander nur in der Ebene verbunden und bilden ein Netz mit sechseckigen Maschen,...

Im Focus: Hochautomatisiertes Fahren bei Schnee und Regen: Robuste Warnehmung dank intelligentem Sensormix

Schlechte Sichtverhältnisse bei Regen oder Schnellfall sind für Menschen und hochautomatisierte Fahrzeuge eine große Herausforderung. Im europäischen Projekt RobustSENSE haben die Forscher von Fraunhofer FOKUS mit 14 Partnern, darunter die Daimler AG und die Robert Bosch GmbH, in den vergangenen zwei Jahren eine Softwareplattform entwickelt, auf der verschiedene Sensordaten von Kamera, Laser, Radar und weitere Informationen wie Wetterdaten kombiniert werden. Ziel ist, eine robuste und zuverlässige Wahrnehmung der Straßensituation unabhängig von der Komplexität und der Sichtverhältnisse zu gewährleisten. Nach der virtuellen Erprobung des Systems erfolgt nun der Praxistest, unter anderem auf dem Berliner Testfeld für hochautomatisiertes Fahren.

Starker Schneefall, ein Ball rollt auf die Fahrbahn: Selbst ein Mensch kann mitunter nicht schnell genug erkennen, ob dies ein gefährlicher Gegenstand oder...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Höher - schneller - weiter: Der Faktor Mensch in der Luftfahrt

20.09.2017 | Veranstaltungen

Wälder unter Druck: Internationale Tagung zur Rolle von Wäldern in der Landschaft an der Uni Halle

20.09.2017 | Veranstaltungen

7000 Teilnehmer erwartet: 69. Urologen-Kongress startet heute in Dresden

20.09.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Granulare Materie blitzschnell im Bild

21.09.2017 | Verfahrenstechnologie

Hochpräzise Verschaltung in der Hirnrinde

21.09.2017 | Biowissenschaften Chemie

Überleben auf der Schneeball-Erde

21.09.2017 | Biowissenschaften Chemie