Embedded Market Forecasters veröffentlicht eine umfassende Analyse zum Thema modellbasierte Entwicklung als bewährte Methode für sicherheits-kritische Aplikationsentwicklung

Embedded Market Forecasters begrüßt die Leistungsmerkmale formaler Methoden und Tools, wie sie die modellbasierte Entwicklung und Esterel Technologies' SCADE Suite™ für die kritische Applikationsentwicklung in der zivilen und militärischen Luft- und Raumfahrt, im Industrie- und Transportation-Bereich sowie in medizinischen Anwendungen aufweisen.

Bston, Massachusetts

Embedded Market Forecasters(EMF), führendes Markt- informations- und Beratungsunternehmen in der globalen Embedded-Industrie und Markt-forschungsbereich von American Technology International, hat eine Analyse bewährter modellbasierter Entwicklungsmethoden veröffentlicht. Dieser Bericht, mit dem Titel Model Driven Development of Certifiable Software: A Best Practice for Safety-Critical Applications (Modellbasierte Entwicklung zertifizierbarer Software: Eine bewährte Methode für sicherheitskritische Applikationen) schildert, dass viele Embedded-Entwickler in kritischen Softwaremärkten so beschäftigt sind, dass sie sich nicht mit den verfügbaren Fortschritten der Tool-Technologie, die ihre Produktivität bei der Entwicklung sicherheits-kritische Applikationen steigern könnten, auseinandersetzen können. Dr. Jerry Krasner, Embedded Market Forecaster's Vizepräsident und Chefanalyst, wählte EMF's ausführliche Entwicklerbefragungsmethode, um die Probleme, denen Entwickler gegenüberstehen, wirklich kennen zu lernen sowie bewährte Tools und Verfahren, die sie benützen um diese Probleme zu bewältigen. Dr. Krasner sagte in Bezug auf die Entwicklung sicherheitskritischer Embedded-Software: Die Tatsache, dass Software durch die Anwendung formaler Verfahren und Tools zertifiziert werden kann, ist im sicherheitskritischen Markt weitgehend übersehen worden.

EMF erläutert, dass Standards und Anforderungen die treibenden Kräfte für den Embedded-Markt sind, da die Unternehmen von Kostenreduzierungen bei der Entwicklung sowie Verbesserungen bei den Prozessen und der Produktqualität profitieren können. Dies ist von überragender Bedeutung für die sicherheitskritische Applikationsentwicklung im expandierenden Embedded-Markt. Gemäß EMF sind die Erfolgsmerkmale in diesen Märkten Interoperabilität, garantierte Softwarequalität sowie verbesserte Sicherheit und Zuverlässigkeit.

Der EMF-Bericht beschreibt ausführlich die Vorzüge formaler Methoden und Tools im Vergleich zu nicht- oder semi-formalen Verfahren und Tools. Es gibt Vorzüge bei den flexiblen, jedoch nicht formalen und semi-formalen Methoden, wie diejenigen, die in modellbasierten, UML/SysML-Entwicklungsumgebungen wie Rhapsody®, Artisan Studio® und dem proprietären Tool und Modellierungssprache Simulink® geboten werden. Für die Entwicklung und Verifikation von sicherheitskritischer Software jedoch ist eine formale Notation wie die Scade®-Sprache und die modellbasierte Entwicklungsumgebung SCADE Suite™ aufgrund der Anforderungen heutiger hochkomplexer Applikationen erforderlich. SCADE Suite basiert auf einer formalen Sprache und bietet eine zertifizierte Codegenerierung für diese sicherheitskritischen Bereiche. Wenn es darum geht, kritische Software zu entwickeln, können nach unserer Auffassung formale Methoden und Tools die notwendige Strenge für die effiziente Entwicklung und Zertifizierung der Softwareprodukte für die verschiedenen Anwendungsbereiche, die wir beschrieben haben, bieten, erläutert Dr. Krasner.

Den kompletten Bericht, einschließlich einer detaillierten Analyse modellbasierter Algorithmen, modellbasierter Systemarchitektur und -design sowie modellbasierter Softwareentwicklung mit Zertifizierung, erhalten Sie über: http://www.embeddedforecast.com.

Über Esterel SCADE

Esterel SCADE, die Entwicklungsumgebung für sicherheitskritische Embedded-Softwareapplikationen, bietet die grafische Erfassung und Simulation von Spezifikationen, zusammen mit der Möglichkeit, Sicherheitseigenschaften auf Modellebene zu prüfen. Sie beinhaltet SCADE Suite™ und SCADE Display™ offer graphical design entry, verification through simulation and formal methods, and certified code generation. These products also include integrated requirements management, configuration management, and automatic documentation generation, shortening the time-to-certification.

SCADE Suite ist die führende, modellbasierte Entwicklungsumgebung für unternehmens- und sicherheitskritische Embedded-Software:

DO-178B-qualifiziert bis Level A für die Militär- und Flugzeugindustrie
IEC 61508-zertifiziert für SIL-Level 3 durch den TÜV für Schwermaschinen- und Energieapplikationen
EN 50128-zertifiziert für SIL-Level 3/4 durch den TÜV für, Rail-/Transportation'-Applikationen
IEC 60880-konform für die Kernenergie

SCADE Display ist die führende Embedded-Grafikentwurfs- und -Entwicklungsumgebung für sicherheitskritische Display-Systeme, qualifiziert gemäß DO-178B bis Level A für die Militär- und Flugzeugindustrie.

Über Esterel Technologies - Ein ISO 9001:2000-zertifiziertes Unternehmen

Esterel Technologies ist der weltweit führende Anbieter modellbasierter Entwicklungs-, Verifikations- und Codegenerierungswerkzeuge für unternehmens- und sicherheitskritische Embedded-Systeme. Es ist ein privates Unternehmen mit europäischem Hauptsitz in Elancourt, Frankreich und amerikanischem Hauptsitz in Boston, Massachusetts, mit Tochtergesellschaften in Deutschland, Großbritannien und China.

Weitere Informationen zu Esterel Technologies finden Sie unter: www.esterel-technologies.com.

Über Esterel Technologies - EMF (Embedded Market Forecasters)

Das führende Marktinformations- und Beratungsunternehmen in der Embedded-Technologie-Industrie. Embedded-Technologie bezieht sich auf universelle Produkte, die eine Art Prozessor als Controller einsetzen. Diese Produkte umfassen ferngesteuerte Raketen, den Radar-, Luft- und Raumfahrt- sowie Roboter- und Medizinelektronik-Bereich.

Embedded Market Forecasters (EMF) ist die Embedded-Marktforschungsabteilung der American Technology International, Inc. EMF hat umfassende Erfahrung bei der Beschaffung von Multi-Klienten- und Kundenerfahrungen zu Themen wie Systeme mit Embedded Boards, Busse, Software, Hardware und Entwicklungstool-Märkte sowie Embedded-Technologie-Applikationen, einschließlich Embedded-Systeme, digitale Signalprozessoren (DSPs), FPGAs, Single Board Computer, Kommunikations-/IT- und Multimediasysteme. EMF-Kunden sind Startups bis hin zu Global 100-Unternehmen.

EMF, das von Dr. Jerry Krasner, einer anerkannten Authorität im Embedded-Markt, der Produktentwicklung und -distribution, hat seinen Hauptsitz in Framingham, Mass., USA.

Embedded Market Forecasters

1257 Worcester Rd. #500

Framingham, MA 01701

Tel.: +1-508-881-1850

Website: www.embeddedforecast.com