GrammaTech tritt MISRA-Komitee bei

April 2024

PR-Gateway: Ithaca, NY (USA) - 11. Juli 2019 - GrammaTech, einer der führenden Anbieter für statische Code-Analyse, gab heute bekannt, dass Dr. Paul Anderson, Vice President of Engineering bei GrammaTech, dem MISRA-Komitee beigetreten ist. Das Ziel ist die Mitarbeit an den führenden Best-Practice-Richtlinien für die sichere und zuverlässige Entwicklung von Embedded-Systemen und eigenständiger Software.

Das Komitee der Motor Industry Software Reliability Association (MISRA) stellt Programmierrichtlinien bereit, die von Entwickler-Teams bei der Entwicklung sicherheitskritischer Software genutzt werden. Diese Richtlinien haben sich bewährt. Sie sorgen dafür, dass die Software einfacher zu verstehen ist, leichter zu warten und weniger fehlerbelastet. Aktuell arbeitet das MISRA-Komitee daran, die Programmierrichtlinien von AUTOSAR C++ 14 in den Standard MISRA C++ 2008 zu integrieren. Damit soll ein einheitliches, standardisiertes Dokument geschaffen werden, dass der Branche als umfassende Leitschnur dient.

Dr. Paul Anderson verfügt über mehr als 30 Jahre Erfahrung in den Bereichen statische Analyse, Programmverständnis und Software-Visualisierung. Er arbeitet regelmäßig mit Standardisierungsgremien zusammen. Zudem tritt er auf zahlreichen Konferenzen und Symposien als Sprecher zu aktuellen Forschungsthemen rund um die statische Analyse auf.

CodeSonar, das Tool zur statischen Code-Analyse von GrammaTech, erkennt Verstöße gegen die Programmierrichtlinien von MISRA C und MISRA C++. Zudem bietet CodeSonar moderne, umfangreiche statische Analysen. Dabei macht es sich Techniken wie Datenflussanalyse, symbolische Ausführung und fortschrittliche Theorem-Beweise zunutze, um komplexe Software-Fehler aufzudecken. Diese können zu Sicherheits- oder Zuverlässigkeitsproblemen führen. CodeSonar wird von Projektteams genutzt, die Software in kritischen Bereichen wie Luftfahrt, Verteidigung, IoT (Internet of Things), Automobilbranche oder Medizintechnik entwickeln. Dabei stellt es den Anwendern eine einheitliche Umgebung bereit, mit der sowohl Verstöße gegen Programmierrichtlinien als auch Programmierfehler erkannt werden.

"Programmierrichtlinien sind wichtig als erste Verteidigungslinie gegen Software-Fehler", so Dr. Paul Anderson. "Ich freue mich sehr, dass ich nun Gelegenheit habe, einen Beitrag zu der großartigen Arbeit des MISRA-Komitees leisten zu können. CodeSonar warnt unsere Kunden bereits in einer frühen Phase der Software-Entwicklung vor Verletzung der MISRA-Regeln. Zudem finden Datenflussanalyse und symbolische Ausführung Probleme in der Programmlogik wie zum Beispiel Buffer Overflows oder Tainted Data. Unsere Kunden berichten uns, dass sie durch die Integration von CodeSonar in den Entwicklungsprozess ihre Effizienz steigern und die Risiken senken konnten."

Die Unterstützung von MISRA ist ein Standardmerkmal von CodeSonar und steht allen lizenzierten Kunden ohne weiteres zur Verfügung.

MISRA und MISRA C sind eingetragene Warenzeichen der HORIBA MIRA Ltd. Im Namen des MISRA Konsortiums. Diese Meldung stellt keine Empfehlung für Produkte oder Dienstleistungen von MISRA dar.
Über GrammaTech:
Software-Entwickler auf der ganzen Welt setzen die Tools von GrammaTech ein, wo Zuverlässigkeit und Sicherheit zu den Grundvoraussetzungen zählen: Luft-/Raumfahrt, Automotive, Medizintechnik und zahlreiche andere Branchen. GrammaTech entstand aus einem Forschungsprojekt an der Cornell Universität. Heute ist GrammaTech sowohl ein führendes Forschungscenter als auch kommerzieller Anbieter von Software-Assurance-Tools und fortschrittlicher Cyber-Security-Lösungen. Mit Tools sowohl für die statische als auch für die dynamische Analyse von Source Code und binären Dateien treibt GrammaTech die Forschung im Bereich herausragender Software-Analyse voran und verfügt über Technologien, mit denen Software-Teams sichere Software programmieren können. Besuchen Sie uns auf www.grammatech.com oder folgen Sie uns bei LinkedIn (https://www.linkedin.com/company/grammatech) für weitere Informationen.
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
+1-607-273-7340

www.grammatech.com

Pressekontakt:
sayIT Public Relations
Jan Schulze
Franz-Brombach-Str. 11
85435 Erding
jan@sayit-pr.de
08122-954 77 13
www.sayit-pr.de

(Weitere interessante Software News & Software Infos & Software Tipps gibt es hier.)

Zitiert aus der Veröffentlichung des Autors >> PR-Gateway << auf http://www.freie-pressemitteilungen.de. Haftungsausschluss: Freie-PresseMitteilungen.de / dieses News-Portal distanzieren sich von dem Inhalt der News / Pressemitteilung und machen sich den Inhalt nicht zu eigen!

Ithaca, NY (USA) - 11. Juli 2019 - GrammaTech, einer der führenden Anbieter für statische Code-Analyse, gab heute bekannt, dass Dr. Paul Anderson, Vice President of Engineering bei GrammaTech, dem MISRA-Komitee beigetreten ist. Das Ziel ist die Mitarbeit an den führenden Best-Practice-Richtlinien für die sichere und zuverlässige Entwicklung von Embedded-Systemen und eigenständiger Software.

Das Komitee der Motor Industry Software Reliability Association (MISRA) stellt Programmierrichtlinien bereit, die von Entwickler-Teams bei der Entwicklung sicherheitskritischer Software genutzt werden. Diese Richtlinien haben sich bewährt. Sie sorgen dafür, dass die Software einfacher zu verstehen ist, leichter zu warten und weniger fehlerbelastet. Aktuell arbeitet das MISRA-Komitee daran, die Programmierrichtlinien von AUTOSAR C++ 14 in den Standard MISRA C++ 2008 zu integrieren. Damit soll ein einheitliches, standardisiertes Dokument geschaffen werden, dass der Branche als umfassende Leitschnur dient.

Dr. Paul Anderson verfügt über mehr als 30 Jahre Erfahrung in den Bereichen statische Analyse, Programmverständnis und Software-Visualisierung. Er arbeitet regelmäßig mit Standardisierungsgremien zusammen. Zudem tritt er auf zahlreichen Konferenzen und Symposien als Sprecher zu aktuellen Forschungsthemen rund um die statische Analyse auf.

CodeSonar, das Tool zur statischen Code-Analyse von GrammaTech, erkennt Verstöße gegen die Programmierrichtlinien von MISRA C und MISRA C++. Zudem bietet CodeSonar moderne, umfangreiche statische Analysen. Dabei macht es sich Techniken wie Datenflussanalyse, symbolische Ausführung und fortschrittliche Theorem-Beweise zunutze, um komplexe Software-Fehler aufzudecken. Diese können zu Sicherheits- oder Zuverlässigkeitsproblemen führen. CodeSonar wird von Projektteams genutzt, die Software in kritischen Bereichen wie Luftfahrt, Verteidigung, IoT (Internet of Things), Automobilbranche oder Medizintechnik entwickeln. Dabei stellt es den Anwendern eine einheitliche Umgebung bereit, mit der sowohl Verstöße gegen Programmierrichtlinien als auch Programmierfehler erkannt werden.

"Programmierrichtlinien sind wichtig als erste Verteidigungslinie gegen Software-Fehler", so Dr. Paul Anderson. "Ich freue mich sehr, dass ich nun Gelegenheit habe, einen Beitrag zu der großartigen Arbeit des MISRA-Komitees leisten zu können. CodeSonar warnt unsere Kunden bereits in einer frühen Phase der Software-Entwicklung vor Verletzung der MISRA-Regeln. Zudem finden Datenflussanalyse und symbolische Ausführung Probleme in der Programmlogik wie zum Beispiel Buffer Overflows oder Tainted Data. Unsere Kunden berichten uns, dass sie durch die Integration von CodeSonar in den Entwicklungsprozess ihre Effizienz steigern und die Risiken senken konnten."

Die Unterstützung von MISRA ist ein Standardmerkmal von CodeSonar und steht allen lizenzierten Kunden ohne weiteres zur Verfügung.

MISRA und MISRA C sind eingetragene Warenzeichen der HORIBA MIRA Ltd. Im Namen des MISRA Konsortiums. Diese Meldung stellt keine Empfehlung für Produkte oder Dienstleistungen von MISRA dar.
Über GrammaTech:
Software-Entwickler auf der ganzen Welt setzen die Tools von GrammaTech ein, wo Zuverlässigkeit und Sicherheit zu den Grundvoraussetzungen zählen: Luft-/Raumfahrt, Automotive, Medizintechnik und zahlreiche andere Branchen. GrammaTech entstand aus einem Forschungsprojekt an der Cornell Universität. Heute ist GrammaTech sowohl ein führendes Forschungscenter als auch kommerzieller Anbieter von Software-Assurance-Tools und fortschrittlicher Cyber-Security-Lösungen. Mit Tools sowohl für die statische als auch für die dynamische Analyse von Source Code und binären Dateien treibt GrammaTech die Forschung im Bereich herausragender Software-Analyse voran und verfügt über Technologien, mit denen Software-Teams sichere Software programmieren können. Besuchen Sie uns auf www.grammatech.com oder folgen Sie uns bei LinkedIn (https://www.linkedin.com/company/grammatech) für weitere Informationen.
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
+1-607-273-7340

www.grammatech.com

Pressekontakt:
sayIT Public Relations
Jan Schulze
Franz-Brombach-Str. 11
85435 Erding
jan@sayit-pr.de
08122-954 77 13
www.sayit-pr.de

(Weitere interessante Software News & Software Infos & Software Tipps gibt es hier.)

Zitiert aus der Veröffentlichung des Autors >> PR-Gateway << auf http://www.freie-pressemitteilungen.de. Haftungsausschluss: Freie-PresseMitteilungen.de / dieses News-Portal distanzieren sich von dem Inhalt der News / Pressemitteilung und machen sich den Inhalt nicht zu eigen!

Links sortieren nach: Titel (A\D) Datum (A\D) Bewertung (A\D) Popularität (A\D)

Jobs im Berufsfeld Ernährung, Lebensmittel, Agrar auf Jobware.de
Beschreibung: Hier finden Sie erstklassige Stellenangebote und Jobs im Berufsfeld Ernährung, Lebensmittel, Agrar!
Hinzugefügt am: 05.02.2010 Besucher: 1134 Bewertung: 1.00 (1 Stimme) Link bewerten Kategorie: Lebensmittel - Jobs

Lebensmittel ohne Kohlenhydrate bei lebensmittelohnekohlenhydrate.de
Beschreibung: Infos rund um das gesunde Lebensmittel. Ratgeber für eine richtige Kohlenhydrataufnahme, wer weniger als 150 Gramm Kohlenhydrate täglich nimmt, wird immer fit und schlank sein!
Hinzugefügt am: 06.07.2017 Besucher: 49 Link bewerten Kategorie: Ernährungs - Wissenschaften

PLMA Fachmesse
Beschreibung: PLMA's jährliche "Welt der Handelsmarken", am 26. und 27. Mai 2009 im RAI Exhibition Center Amsterdam, unterstützt Hersteller und Einzelhändler bei der Einrichtung ihrer eigenen Handelsmarkenprogramme. Fast 3.000 Ausstellungsstände einschließlich 30 nationaler und regionaler Pavillons präsentieren Produkte wie Frisch-, Kühl- und TK-Lebensmittel, Getränke und haltbare Lebensmittel sowie Nonfood-Kategorien!
Hinzugefügt am: 03.08.2008 Besucher: 504 Link bewerten Kategorie: Lebensmittel - Messen

Projekt "Nachhaltige Bioproduktion" des BMBF
Beschreibung: Mit dem Programm "Nachhaltige BioProduktion" des Bundesministeriums für Bildung und Forschung (BMBF) wurde die Umsetzung biotechnologischen Wissens in neue umwelt- und ressourcenschonende Produktionsverfahren, Produkte und Dienstleistungen gefördert (Laufzeit: 2000–2007; Volumen: 49 Mio. Euro)!
Hinzugefügt am: 05.02.2010 Besucher: 675 Link bewerten Kategorie: Bio - Produktion

Diese Forum-Posts bei Lebensmittel-Page.de könnten Sie auch interessieren:

Ja klar. Ich stamme aus der Oberlausitz und ein typisches Gericht war zum Monatsende Pellkartoffeln und Leinöl. Für uns Kinder war das immer ein Grausen, heute finde ich das lecker und esse es a ... (Hans-Peter, 16.12.2019)

Hi, du hast ja jetzt schon viele gute Tipps für gute Betten bekommen. Zu einem guten und erholsamen Schlaf gehört aber noch eine ganze Menge mehr als nur ein hochwertiges Bett. Es ist zum Beispiel ... (loki, 04.11.2019)

Hi, wenn du so große Probleme mit dem Rücken gehabt hast, solltest du dir erstmal darüber im Klaren werden, welcher Härtegrad der Richtige für dich ist. Der falsche Härtegrad bei einer Matratze ist ... (loki, 14.12.2018)

Schönen guten Tag! Ich dachte auch anfangs, dass der einzige Unterschied darin liegen würde, dass die Messer eben aus einem anderen Kontinent kommen und praktisch die gleiche \"Arbeit\" verrichten. ... (PalomaSchuback, 02.03.2018)

Hej! Ja, da können auch andere Gemüse rein. :) Tomaten würde ich dir jetzt nicht empfehlen, aber theoretisch kannst du auch Rote Beete oder so reinmachen, dann musst du aber damit rechnen, dass es nic ... (jellena, 27.04.2017)

Das ist wirklich ein Skandal, wen man überlegt, dass man für dieses minderwertige Produkt bei Edeka oder Rewe gerne mal 3-4 Euro pro 100 Gramm bezahlt... (melon, 17.11.2016)

Hallo Paloma, es kommt natürlich ganz darauf an, für welches Material du dich im Endeffekt entscheidest, es muss ja keine Lackfront sein, ein Hochglanzeffekt lässt sich auch mit Folie oder Schichts ... (KasparEllermann, 31.05.2016)

Warte mal, stopp :D was isst du den eigentlich? Du willst mir doch nicht klar machen das du dich nur von Salat und integral Keksen ernährst? Wie erwartest du dann das es voran geht, und du die ... (jellena, 26.05.2016)

Es kommt noch der Tag, da gibt es keine Königsberger Klopse mehr. Dann müssen sie nach EU- Vorschrift entweder Kaliningrader Fleischbällchen genannt werden oder Königsberg gehört irgendwann wieder zur ... (Godfrid, 04.05.2012)

Ob genmanipuliert oder gentechnisch veränderte Lebensmittel, es steckt mittlerweile so viel Geld in der Genforschung, dass die Investoren, die dahinterstehen nicht so schnell aufgeben werden. Und sola ... (HannesW, 16.03.2011)

Diese Testberichte bei Lebensmittel-Page.de könnten Sie auch interessieren:

Chow Mein Nudeln Chow Mein Nudeln von Vitasia: Öffnet man die Packung, so riecht man eigentlich nichts weiter, außer vielleicht einen ganz dezenten Duft nach etwas Grießähnlichem (kein Wunder, da der Hauptbe ... (dietrich david, 23.11.2013)

Diese News bei Lebensmittel-Page.de könnten Sie auch interessieren:

Freunde des guten Geschmacks werden im Karina-Verlag auch fündig (Kummer, 17.02.2023)
Der Karina-Verlag ist für seine spannende und abwechslungsreiche Literatur bekannt. Er besticht durch seine Vielseitigkeit. Auch Freunde des guten Geschmacks kommen hier auf ihre Kosten.
Bestellen Sie jetzt versandkostenfrei direkt beim Verlag.

Buchtipps:
Das Olivenöl Kochbuch
Olivenöl ist eines der gesündesten Lebensmittel.
Viele glauben, dass man es nur für Salate verwenden kann, doch der Verwendung des flüssigen Goldes sind keine Grenzen gesetzt

Neue Rezepte (Rohkostsalat kompakt sowie \'\'Berliner Pizza\'\' - Pizza \'\'Berliner Art\'\') von Dr. Harald Hildebrandt! (Lebensmittel-Portal, 17.02.2023)
Dr. Harald Hildebrandt ist ein in Berlin lebender deutscher Publizist, der in den letzten Jahren auch mehrere Rezepte (Eigenkreationen & Variationen) kreiert und veröffentlicht hat:

- Rohkostsalat kompakt - das gesunde und vor allem auch sättigende Abnehmwunder: Rezept Rohkostsalat kompakt
wie auch
- "Berliner Pizza" - Pizz ...

Zum Weihnachtsfest etwas Gesundheit verschenken (Kummer, 14.11.2020)
Die Menschen im Mittelmeerraum wissen es schon lange: Olivenöl ist gut für die Gesundheit. Schon immer diente es hier zur Bereicherung der täglichen Nahrung. Schon Hippokrates lehrte, Olivenöl könne viele ernste Leiden heilen.

Olivenöl ist ein aus dem Fruchtfleisch und dem Kern von Oliven gepresstes Pflanzenöl. Olivenöl ist aber nicht gleich Olivenöl. Jedes Öl hat geschmackliche Unterschiede und somit seinen individuellen Charakter, welcher durch Herkunft und Qualität der Früchte ...

macmon secure sorgt für Netzwerksicherheit im Gesundheitswesen (PR-Gateway, 31.08.2020)
Nutzen Sie den Krankenhausstrukturfonds für Investitionen

Die Corona Pandemie hat die Bedeutung eines funktionierenden Gesundheitswesens im kollektiven Bewusstsein fundamentiert. Gerade in den ersten Wochen mit Covid-19 zeigte sich, wie überlebenswichtig ein funktionierendes Netz aus niedergelassenen Ärzten, Gesundheitsämtern, mobilen Hilfsdiensten und Krankenhäusern für die Notversorgung der Bevölkerung ist. Diese einschneidende Erfahrung hat aber auch Cyber-Kriminelle auf den Plan geruf ...

Rosenstein & Söhne Joghurt-Maker JM-200 (PR-Gateway, 25.08.2020)
Damit hat man stets super-frischen Joghurt

- Einfache Zubereitung dank voreingestelltem Programm

- Zum Selbermachen von griechischem Joghurt, Naturjoghurt u.v.m.

- 2 Behälter: 1,5 Liter bzw. 1,35 Liter Volumen

- Zeit und Temperatur individuell einstellbar

- LED-Display für Zeit und Temperatur

- Einfache Bedienung über 4 Tasten

Für frischen und gesunden Joghurt ohne Zusatzstoffe: Ab sofort bereitet man Joghurts einfach selbst zu. So kann ...

SEO für den digitalen Weinhandel (PR-Gateway, 14.08.2020)
Vor allem für Wein Selbstvermarkter bieten sich große Chancen für den Vertrieb

BADEN-BADEN. Suchmaschinenoptimierung ist längst ein zentrales Thema für Winzer und Weinhändler. Vor allem Selbstvermarkter haben online die Möglichkeit, ihre Weine, ihre Weinphilosophie und ihr Expertenwissen und ihre Person zu prä ...

Zukunftsthema Betriebliches Gesundheitsmanagement (PR-Gateway, 06.08.2020)
IHK-Zertifikatslehrgang zur Fachfrau/Fachmann für Betriebliches Gesundheitsmanagement als Bildungsurlaub

Gesundheit am Arbeitsplatz wird in der Zukunft einen noch viel höheren Stellenwert haben als bereits heutzutage. Denn durch steigende Arbeitsbelastungen, Stresszunahme und Fachkräftemangel (um nur einige Beispiele zu nennen) steigen die psychischen Belastungen der Arbeitsnehmer.

Lösungen dazu kommen aus dem Betrieblichen Gesundheitsmanagement: Speziell geschulte Mitarbeiter sch ...

Extreme Networks sichert 1,5 Millionen Bürgern virtuellen Zugang zu Gesundheits- und Sozialdiensten in Madrid (PR-Gateway, 05.08.2020)
Madrid Digital verbessert den Zugang zu grundlegenden Gesundheitsdiensten und gewährleistet die Sicherheit von Patienten und Personal

FRANKFURT A.M./SAN JOSE, 05. August 2020 - Extreme Networks (Nasdaq: EXTR), ein Anbieter von cloudbasierten Netzwerklösungen, gibt bekannt, dass die Dienststelle für digitale Verwaltung in Madrid (Agencia para la Administracion Digital de la Cumunidad de Madrid - Der Karina-Verlag bietet grenzenloses Lesevergnügen (Kummer, 28.07.2020)
Sie suchen ein Buch für sich oder als Geschenk? Dann sind Sie im Karina-Verlag genau richtig. Hier finden Sie Bücher für jeden Geschmack und jedes Alter.

Derzeit versendet der Karina-Verlag wegen der Corona-Einschränkungen versandkostenfrei! Eine Gelegenheit, die Sie sich nicht entgehen lassen sollten.

Über den Verlag:
Gegründet wurde der Karina-Verlag im August 2014 von der Autorin Karin Pfolz. In Anlehnung an den Verein „Respekt für Dich – AutorInnen gegen ...

Am Lago Maggiore liegt Musik in der Luft (Maggioni, 21.07.2020)
Auch in diesem Sommer finden an der Feriendestination Lago Maggiore wie gewohnt namhafte Musikfestivals für das breite Publikum statt. Das Stresa Festival, 18. - 25. Juli sowie 20. August - 5. September, Tones on the Stones, 19. – 26. Juli in Baveno, sowie ebenfalls dort La pietra racconta/Stone on stage, 9. Juli – 2. August. Events von Rang, die gute Laune und Kunstgenuss in einer traumhaft schönen Landschaft garantieren und den Musiksommer am Lago Maggiore zu einem klingenden Erlebnis machen
Werbung bei Lebensmittel-Page.de:

GrammaTech tritt MISRA-Komitee bei

Lebensmittel-Page.de: Lebensmittel, Nahrungsmittel, Ernährung

Lebensmittel & Nahrungsmittel - Technik & Technologie & Herstellung & Produktion & Marketing & Vertrieb & Vermarktung


Lebensmittel-Page.de <- Startseite Anmelden oder Einloggen