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 Layouterfassung im Flug: Drohne unterstützt bei der Fabrikplanung
19.05.2017 | IPH - Institut für Integrierte Produktion Hannover gGmbH

nachricht Intelligente Industrialisierung von Rechenzentren
15.05.2017 | Rittal GmbH & Co. KG

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Lässt sich mit Boten-RNA das Immunsystem gegen Staphylococcus aureus scharf schalten?

Staphylococcus aureus ist aufgrund häufiger Resistenzen gegenüber vielen Antibiotika ein gefürchteter Erreger (MRSA) insbesondere bei Krankenhaus-Infektionen. Forscher des Paul-Ehrlich-Instituts haben immunologische Prozesse identifiziert, die eine erfolgreiche körpereigene, gegen den Erreger gerichtete Abwehr verhindern. Die Forscher konnten zeigen, dass sich durch Übertragung von Protein oder Boten-RNA (mRNA, messenger RNA) des Erregers auf Immunzellen die Immunantwort in Richtung einer aktiven Erregerabwehr verschieben lässt. Dies könnte für die Entwicklung eines wirksamen Impfstoffs bedeutsam sein. Darüber berichtet PLOS Pathogens in seiner Online-Ausgabe vom 25.05.2017.

Staphylococcus aureus (S. aureus) ist ein Bakterium, das bei weit über der Hälfte der Erwachsenen Haut und Schleimhäute besiedelt und dabei normalerweise keine...

Im Focus: Can the immune system be boosted against Staphylococcus aureus by delivery of messenger RNA?

Staphylococcus aureus is a feared pathogen (MRSA, multi-resistant S. aureus) due to frequent resistances against many antibiotics, especially in hospital infections. Researchers at the Paul-Ehrlich-Institut have identified immunological processes that prevent a successful immune response directed against the pathogenic agent. The delivery of bacterial proteins with RNA adjuvant or messenger RNA (mRNA) into immune cells allows the re-direction of the immune response towards an active defense against S. aureus. This could be of significant importance for the development of an effective vaccine. PLOS Pathogens has published these research results online on 25 May 2017.

Staphylococcus aureus (S. aureus) is a bacterium that colonizes by far more than half of the skin and the mucosa of adults, usually without causing infections....

Im Focus: Orientierungslauf im Mikrokosmos

Physiker der Universität Würzburg können auf Knopfdruck einzelne Lichtteilchen erzeugen, die einander ähneln wie ein Ei dem anderen. Zwei neue Studien zeigen nun, welches Potenzial diese Methode hat.

Der Quantencomputer beflügelt seit Jahrzehnten die Phantasie der Wissenschaftler: Er beruht auf grundlegend anderen Phänomenen als ein herkömmlicher Rechner....

Im Focus: A quantum walk of photons

Physicists from the University of Würzburg are capable of generating identical looking single light particles at the push of a button. Two new studies now demonstrate the potential this method holds.

The quantum computer has fuelled the imagination of scientists for decades: It is based on fundamentally different phenomena than a conventional computer....

Im Focus: Tumult im trägen Elektronen-Dasein

Ein internationales Team von Physikern hat erstmals das Streuverhalten von Elektronen in einem nichtleitenden Material direkt beobachtet. Ihre Erkenntnisse könnten der Strahlungsmedizin zu Gute kommen.

Elektronen in nichtleitenden Materialien könnte man Trägheit nachsagen. In der Regel bleiben sie an ihren Plätzen, tief im Inneren eines solchen Atomverbunds....

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Meeresschutz im Fokus: Das IASS auf der UN-Ozean-Konferenz in New York vom 5.-9. Juni

24.05.2017 | Veranstaltungen

Diabetes Kongress in Hamburg beginnt heute: Rund 6000 Teilnehmer werden erwartet

24.05.2017 | Veranstaltungen

Wissensbuffet: „All you can eat – and learn”

24.05.2017 | Veranstaltungen

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

DFG fördert 15 neue Sonderforschungsbereiche (SFB)

26.05.2017 | Förderungen Preise

Lässt sich mit Boten-RNA das Immunsystem gegen Staphylococcus aureus scharf schalten?

26.05.2017 | Biowissenschaften Chemie

Unglaublich formbar: Lesen lernen krempelt Gehirn selbst bei Erwachsenen tiefgreifend um

26.05.2017 | Gesellschaftswissenschaften