Tag Archives: Development

Pressemitteilungen

Überraschend: Dev-Domain ist erfolgreich

Die Entwickler-Domain .dev erzielt mehr als 100.000 Registrierungen

Weiß Google mehr über Domainendungen als andere Anbieter? Oder ist Google Registry einfach kompetenter als die Mitwettbewerber?

Der Erfolg der App-Domains mit über 420.000 Registrierungen ist noch nachvollziehbar. Firmen, die Apps für ihre Kunden entwickeln, zählen nach Millionen.

Aber daß die Dev-Domain mit über 135.000 Registrierungen ebenfalls erfolgreich ist, hat selbst Domainexperten überrascht.

Eine mögliche Erklärung: Die Dev-Domain ist zwar für Entwickler gedacht, aber sie kann von jedem registriert werden, der einen Bezug seiner Domain zu Entwicklung herstellen will.

Google schreibt über die Dev-Domains:

„.dev ist der perfekte Ort, an dem alle Entwickler zusammenkommen können.“

Was ist das Ziel der Dev-Domain? Die Dev-Domain bietet für die Entwickler und Anbieter von Webseiten einen sicheren Raum für die Entwicklung und Präsentation von Devs und Projekten. Die Registry hat dafür gesorgt, daß alle Dev-Domains zur „HSTS preload list“ hinzugefügt werden.

Die Dev-Domain ist ein sicherer Namensraum, was bedeutet, daß https für alle Webseiten unter .Dev erforderlich ist. Sie können zwar eine Dev-Domain auch kaufen und die Dev-Domain parken, aber sie funktioniert in einem Browser nur mit SSL Verschlüsselung.

Firmen, die bereits .dev als interne Adresse für Ihr Intranet verwenden, sollten ein Umtaufen in Betracht ziehen, da die Verwendung von .dev als ICANN akkreditierte Domain Probleme auslösen könnte.

Hans-Peter Oswald
https://www.domainregistry.de/dev-domains.html
https://www.domainregistry.de/app-domains.html

Abdruck und Veroeffentlichung honorarfrei! Der Text
kann veraendert werden. Weitere gemeinfreie Fotos können angefordert werden.

Secura GmbH ist ein von ICANN akkreditierter Registrar für Top Level Domains. Secura kann generische Domains registrieren, also z.B..com, .net etc. und darüber hinaus fast alle aktiven Länder-Domains registrieren.

2018 zählte die Secura GmbH bei dem Industriepreis zu den Besten. Secura gewann 2016 den Ai Intellectual Property Award „als Best International Domain Registration Firm – Germany“. Beim „Innovationspreis-IT der Initiative Mittelstand 2016“ wurde Secura als Innovator qualifiziert und wurde beim „Innovationspreis-IT der Initiative Mittelstand 2016“ im Bereich e-commerce auch als einer der Besten ausgezeichnet. Beim Innovationspreis-IT der Initiative Mittelstand 2012 und beim Industriepreis 2012 landete Secura GmbH unter den Besten. Beim HOSTING & SERVICE PROVIDER AWARD 2012 verfehlte Secura nur knapp die Gewinner-Nominierung.

Seit 2013 ist Secura auch bei den Neuen Top Level Domains sehr aktiv. Secura meldet Marken für die Sunrise Period als Official Agent des Trade Mark Clearinghouse an.

Kontakt: Secura@domainregistry.de
http://www.domainregistry.de

ICANN-Registrar Secura GmbH
Hans Peter Oswald
Frohnhofweg 18
50858 Köln
Germany
Phone: +49 221 2571213
Fax: +49 221 9252272
secura@web.de
http://www.domainregistry.de
http://www.com-domains.com

Kontakt
Secura GmbH
Hans-Peter Oswald
Frohnhofweg 18
50858 Köln
+49 221 2571213
secura@domainregistry.de
http://www.domainregistry.de

Bildquelle: Geralt

Pressemitteilungen

Protagen Protein Services (PPS) Invests in Further new PhysChem Analytical Capabilities with FT-IR

FT-IR (Fourier-Transform Infrared) spectroscopy is highly sensitive to the secondary structure of proteins .

Comprehensive information on the numerous structural attributes of a protein therapeutic is vital for understanding its functionality, stability and antigenicity. The Fourier-Transform Infrared (FT-IR) spectrometer is a powerful tool for the advanced structural characterization of protein-based biologics and allows for the monitoring of vibrational modes of the amide bonds within a protein while in its native state and formulation matrix.

New FT-IR spectrometer expands and accelerates Protein Characterization Capabilities

While a protein will display many infrared-absorbing bands, amide band I is quite sensitive and representative of the protein conformational states and is used to discern the relative amounts of different types of secondary structure. Together with circular dichroism, FT-IR is part of a comprehensive platform in the characterization of a biologic’s secondary structure profile.

The newly acquired state-of-the-art Brucker Tensor II IR spectrometer is equipped with an AquaSpecTM transmission cell and expands the analytical capabilities of PPS significantly. The advanced instrument completes and refines our characterization package not only by enabling higher order structural characterization but also by providing elaborate results in a relatively short time period.

Most sensitive higher order structural analysis

Conducting rapid and sensitive assays with a high degree of throughput, the spectrometer allows for accelerated data acquisition while at the same time requiring low sample amounts only. The transmission cell is specially designed for the analysis of proteins in aqueous solution. Furthermore, FT-IR can be used for the analysis of buffer components (salts, detergents, excipients). While other stability indicating methods such as DSC,DLS or HDX-mass spectrometry remain substantial for any protein research object“s analysis, the new platform enlarges PPS analytical experts“ range of services and completes overall biopharmaceutical characterization, stability and comparability studies, biosimilarity assessment and formulation development by most sensitive higher order structural analysis.

Learn more about our broad analytical spectrum: www.protagenproteinservices.com

Protagen Protein Services (PPS) is a leading global analytic CRO and a recognized expert for analytical services in protein science. The company is a best-in-class partner for the biopharmaceutical industry worldwide to benefit from the most advanced, integrated and complete analytic services capabilities and platforms in biopharmaceutical development, from clone selection through drug approval to commercialization.

In working together with its pharmaceutical partners, the PPS and BioAnalytix teams generate best-in-class analytic data packages and provide scientific, technical and regulatory support to advance, de-risk and accelerate all stages of biopharmaceutical development including biosimilar development at highest quality from clone through clinic.

Contact
Protagen Protein Services GmbH
Tobias Timtner
Inselwiesenstraße 10
74076 Heilbronn
Phone: +49 7131 745040
Fax: +49 7131 74504299
E-Mail: marketing@protagenproteinservices.com
Url: http://www.protagenproteinservices.com

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

Egoleading®: Selbstführung- und Selbstmanagement-Programm für Führungskräfte

Mit dem Online-Programm können sich (künftige) Führungskräfte berufsbegleitend die Skills aneignen, die eine reife Führungspersönlichkeit bzw. einen „Ego-Leader“ auszeichnen.

Wie kann ich das Lernen in meinen Lebens- und Arbeitsalltag integrieren? Das fragen sich viele beruflich und privat stark engagierte Personen, die sich zu einer Führungskraft entwickeln möchten oder sich als solche weiterbilden möchten; außerdem Führungskräfte, die eine eigene Leadership-ID entwickeln möchten, um mehr Wirkung zu entfalten.

Speziell für diesen Personenkreis hat der Braunschweiger Managementberater sowie Führungskräftetrainer und -entwickler Joachim Simon im Rahmen seiner Online-Academy ein sogenanntes Egoleading®-Programm entwickelt. Es ermöglicht (potenziellen) Führungskräften, sich berufs- oder studienbegleitend die Skills anzueignen, die sie noch brauchen, um ein „Ego-Leader“ zu sein – also eine Person, die
-weiß, was ihre Entwicklungsziele sind,
-ihre berufliche und persönliche Entwicklung eigenverantwortlich und -initiativ steuert,
-ihren Lern- und Entwicklungsbedarf eigenständig oder mit selbstorganisierter Unterstützung analysiert,
-sich mit den erforderlichen Tools die noch fehlenden Kompetenzen hochmotiviert aneignet und
-dabei regelmäßig reflektiert „Bin ich noch auf dem richtigen Weg, um meine Ziele zu erreichen?“ und
-ihr eigenes Ego bewusst führt und sich nicht durch falsche Führungs-Ideale verführen lässt.

Personen, die über die genannten Fähigkeiten und Eigenschaften verfügen, sind – wie neben der Praxis zahlreiche Studien zeigen – überdurchschnittlich erfolgreich. Sie faszinieren zudem andere Menschen, weil sie ihr Leben und Lebensumfeld selbstbewusst und aktiv gestalten. Deshalb verfügen viele Top-Manager und Unternehmer über diese Merkmale.

Das Egoleading-Programm®, das bereits mehrere Unternehmen erfolgreich zur Entwicklung ihrer Führungskräfte nutzen, können nun auch Einzelpersonen buchen, die eine qualifizierte Führungskraft und reife Führungspersönlichkeit werden möchten. Das Programm besteht aus einer Vielzahl von (audio-visuellen) Lerneinheiten. Diese können die Teilnehmer, nachdem sie das für sich relevante Thema gewählt haben, online eigenständig bearbeiten – und zwar wann sie möchten. Dabei haben sie eine große Auswahl von Lerneinheiten zum Themenkomplex Selbstführung, -entwicklung und -management.

Jede Lerneinheit startet mit einer Einführung ins Thema. Danach erfolgt eine Selbstreflexion – zum Steigern der Lernmotivation und zum Schärfen des Bewusstseins über den eigenen Lern- und Entwicklungsbedarf. Dann folgen Übungen, die u.a. folgende Ziele haben:
-sich als Person die Fähigkeiten und Fertigkeiten aneignen und gezielt einsetzen, die für das Erreichen der individuellen Ziele nötig sind (Selbststeuerung), und
-das persönliche Lebens- und Arbeitsumfeld so gestalten, dass dieses mit den (Entwicklungs-)Zielen harmoniert (Umfeldsteuerung).

Die Lernmodule bzw. Lern-Nuggets der Lerneinheiten sind jeweils so konzipiert, dass sie z.B. im Verlauf eines Arbeitstags bearbeitet werden können – und zwar dann, wenn gerade Mal „etwas Luft ist“ und so, dass dies keine Mehrbelastung ist. Dieses sogenannte Micro-Learning hat den Vorzug, dass das Lernen ein integraler Bestandteil des Alltags wird.

Interessierte Führungskräfte und Personen, die sich zu einer Top-Führungskraft entwickeln möchten, finden nähere Infos über das Egoleading-Programm® auf der Webseite www.joachimsimon.info in der Rubrik „Online-Academy“. Dort werden sie eingeladen, einen Test zu machen, der ihnen aufzeigt, was ihre Führungsmotive sind und inwiefern Egoleading® der richtige nächste Schritt für die eigene Karriereentwicklung ist. Sofern gewünscht können interessiere Personen und Organisationen auch direkt den Entwickler und Anbieter des Programms Joachim Simon kontaktieren (Tel.: 0531 356 24 86; E-Mail: info@joachimsimon.info).

Das Trainings- und Beratungsunternehmen Simonconsult ist auf die Themenfelder Personal- & Organisationsentwicklung spezialisiert. Sein Inhaber ist Joachim Simon, der vor seiner Selbstständigkeit unter anderem als Personal- und Organisationsentwickler bei den Unternehmen T-Mobile Deutschland GmbH und RWE Power AG beschäftigt war.

Firmenkontakt
simonconsult Personal & Organisationsentwicklung
Joachim Simon
Hagenring 24
38106 Braunschweig
0531/356 24 86
0531/356 24 87
info@joachimsimon.info
https://www.joachimsimon.info

Pressekontakt
Die PRofilBerater GmbH
Bernhard Kuntz
Eichbergstraße 1
64285 Darmstadt
06151/89659-0
info@die-profilberater.de
http://www.die-profilberater.de

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

GrammaTech Joins the MISRA Committee

GrammaTech joins committee that develops best practice guidelines to deliver safe and secure software systems.

Ithaca, NY (USA) -July 11, 2019 – GrammaTech, a leading provider of software assurance tools and cybersecurity solutions, today announced that Dr. Paul Anderson, Vice President of Engineering, has joined the MISRA® committee to collaborate on world-leading best practice guidelines for the safe and secure development of both embedded control systems and standalone software.

The Motor Industry Software Reliability Association (MISRA®) committee provides programming guidelines that are used by software teams building safety critical software, and are proven to lead to software that is easier to understand, easier to maintain and has less bugs. Currently, the MISRA® committee is working to combine the AUTOSAR C++ 14 Coding Guidelines with the MISRA® C++ 2008 coding standard into one single standardized document for the industry to utilize as a comprehensive guide.

Dr. Anderson has over 30 years of experience in static analysis, program understanding and program visualization, is a frequent collaborator in standards bodies, and speaks at numerous conferences and symposia reporting on research around topics related static analysis.

GrammaTech CodeSonar® detects violations against the MISRA® C and C++ coding guidelines, and also provides advanced, whole program static analysis using techniques like dataflow analysis, symbolic execution and advanced theorem provers, allowing it to find complex software defects that can lead to safety or security vulnerabilities. CodeSonar® is used by project teams that build software that is safety and security critical for the aerospace and defense, IoT, automotive, medical and industrial industries, and provides users with a single environment to detect both coding guideline violations as well as software defects.

„Coding guidelines are an important first line of defense against software defects,“ says Dr. Paul Anderson, Vice President of Engineering at GrammaTech. „I am very excited to have this opportunity to contribute to the great work that the MISRA committee does. CodeSonar warns customers of violations against the MISRA rules early in the software development lifecycle. On top of that, dataflow analysis and symbolic execution finds additional problems in program logic such as buffer overflows and data taint. Our customers report a higher development efficiency and a lower risk profile thanks to the integration of CodeSonar into their development processes.“

MISRA® support is a standard feature in CodeSonar® and is available out-of-the-box to all licensed customers.

MISRA and MISRA C are registered trademarks owned by HORIBA MIRA Ltd, held on behalf of the MISRA consortium. No endorsement of any product or service by MISRA is implied.

Ü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.

Company-Contact
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
Phone: +1-607-273-7340
E-Mail: sales@grammatech.com
Url: http://www.grammatech.com

Press
sayIT Public Relations
Jan Schulze
Franz-Brombach-Str. 11
85435 Erding
Phone: 08122-954 77 13
E-Mail: jan@sayit-pr.de
Url: http://www.sayit-pr.de

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

GrammaTech tritt MISRA-Komitee bei

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.

Firmenkontakt
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
+1-607-273-7340
sales@grammatech.com
http://www.grammatech.com

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

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

zepp.solutions verlässt sich auf Testwell CTC++ von Verifysoft Technology

OFFENBURG, 3. Juni 2019 – Brennstoffzellen und grüner Wasserstoff sind heiße Themen nicht nur dank der Dauerdiskussion um zukunftsträchtige Formen der Mobilität. In der Entwicklung von Brennstoffzellen mischt das niederländische Start-up zepp.solutions seit 2017 die etablierte Szene kräftig auf. Die Gründer profilierten sich bereits während ihrer Studienzeit als Mitglieder des erfolgreichen Forze Hydrogen Racing Teams. Dessen Brennstoffzellenrenner brachen wiederholt die Rundenrekorde der etablierten Konkurrenten.

Obwohl Brennstoffzellen im Prinzip einfach aufgebaut sind, ist die Materie in ihrer Gesamtheit doch hochkomplex. Es nicht nur eine Herausforderung, die Rohstoffe sicher zu lagern. Auch die Verarbeitung erfordert die sachkundige Auswahl und Verwendung spezifischer Materialien. Die Fertigungsgeräte müssen robust sein, über eine hohe Lebensdauer verfügen, vor allem aber fehlerfrei gesteuert und kontrolliert werden. Die maßgeschneiderte Softwarelösung für diese Überwachungsaufgaben entwickelt zepp.solutions selbst. Ein erheblicher Teil ist sicherheitskritisch. Um den hohen Sicherheitsanforderungen nach IEC 61508 SIL 2 gerecht zu werden, arbeitet zepp.solutions mit Testwell CTC++ von Verifysoft Technology.

Für zepp.solutions ist das Schlüsselkriterium die Entscheidungsüberdeckung von 100 Prozent, auf die die umfangreichen Software-Architekturen kontinuierlich geprüft werden müssen. Für Testwell CTC++ spricht zum einen die Multikompatibilität des Tools, so dass mit dem Testing nicht erst auf der Target-Hardware begonnen werden kann, sondern bereits auf dem Host. Darüber hinaus generiert Testwell CTC++ die Ergebnisse in JSON und XML, die so ohne weitere Zwischenschritte in anderen Systemen genutzt werden können.

„Eine der für uns zentralen Anforderungen von IEC 61508 ist eine hundertprozentige Decision Coverage. Um dieser Anforderung gerecht zu werden, muss die Testabdeckung gemessen werden. Dafür haben wir das Werkzeug Testwell CTC++ gewählt. Die Flexibilität von Testwell CTC++ erlaubt uns, sowohl auf dem Target als auch auf dem Host zu testen“, sagt Remco Duba, Co-Founder von zepp.solutions.

„Testwell CTC++ ist speziell für das Testing direkt auf dem Target ausgelegt“, so Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Durch die Möglichkeit, Testwell CTC++ mit zahlreichen unterschiedlichen Compilern zu nutzen, sind auch Tests auf einem Host ohne großen Aufwand möglich. So kann Testwell CTC++ auch in agilen und innovativen Entwicklungsprozessen in vielen Phasen des Software Development Lifecycles eingesetzt werden.“

Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

Firmenkontakt
Verifysoft Technology GmbH
Polina Handzhiyska
In der Spöck 10-12
77656 Offenburg
0781 127 8118-0
Handzhiyska@verifysoft.com
https://www.verifysoft.com/de.html

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

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

Exonetik prüft mit Testwell CTC++ von Verifysoft Technology

OFFENBURG, 28. Mai 2019 – Das kanadische Unternehmen Exonetik hat sich seit seiner Gründung 2013 zu einem vielbeachteten Player gemausert. In der Entwicklung magnetorheologischer Aktoren profilieren sich die Kanadier im Automatisierungsbereich genauso wie in der Avionik und nicht zuletzt der Medizintechnik. Vor allem die Prothetik darf sich viel versprechen von den reaktionsschnellen, verschleiß- und geräuscharmen Aktoren auf der Basis magnetorheologischer Fluide. Ein weiteres Spezialgebiet von Exonetik ist der Turbinenbau mit Komponenten aus Hochleistungskeramik. Der Werkstoff ermöglicht es, das Einsatz- und Leistungsspektrum kleinerer Gasturbinen signifikant zu erweitern.

Mit Testwell CTC++ hat Exonetik ein Tool gefunden, das die strengen Sicherheitsrichtlinien für Software in der Luft- und Raumfahrttechnik pauschal erfüllt. Testwell CTC++ liefert mit Modified Condition/Decision Coverage (MC/DC) das anspruchsvolle Code-Coverage-Maß, das gemäß DO-178 B/C für Produkte auf Level A (katastrophale Sicherheitsauswirkungen) nachgewiesen werden muss. Ausschlaggebend für die Wahl von Testwell CTC++ waren bei Exonetik die intuitive Handhabung des Tools sowie der schnelle und gut aufzubereitende Ergebnisgewinn. Der hohe Testaufwand, den MC/DC erfordert, wird durch den Nutzerkomfort aufgewogen. Der Entwicklungsprozess kann somit ungehindert zügig voranschreiten.

Die Variabilität von Testwell CTC++ erlaubt die produktive Nutzung des Tools auch außerhalb der Luftfahrt. Exonetik plant den baldigen Einsatz von Testwell CTC++ auch in seinem Automotive- und Medizintechnik-Bereich. Dank Qualification Kit und der Möglichkeit zur Integration in zahlreiche Entwicklungsumgebungen kann das Exonetik-Team die Klassifizierungs-, Validierungs- und Verwaltungsprozesse durch Testwell CTC++ ohne Reibungsverluste auf seine anderen Projekte übertragen. „Testwell CTC++ liefert bei geringem Aufwand schnell und bequem belastbare Ergebnisse zur Code Coverage“, heißt es bei Exonetik.

„Wir freuen uns, einem jungen und innovativen Unternehmen wie Exonetik bei der Optimierung des Testaufwands helfen zu können“, sagt Klaus Lambertz, Geschäftsführer von Verifysoft Technology. „Gerade MC/DC-Tests benötigen viel Zeit und Ressourcen. Hier ist es sehr wichtig, gründlich und gleichzeitig wirtschaftlich zu testen. Mit Testwell CTC++ stellen wir ein Werkzeug bereit, das genau dafür ausgelegt ist.“

Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 600 Kunden in weltweit fast 40 Ländern.

Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse. Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

Firmenkontakt
Verifysoft Technology GmbH
Polina Handzhiyska
In der Spöck 10-12
77656 Offenburg
0781 127 8118-0
Handzhiyska@verifysoft.com
https://www.verifysoft.com/de.html

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

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

GrammaTech Releasing Binary Analysis and Rewriting Interface into Open Source

Ithaca, NY (USA) -May 2, 2019 – GrammaTech, Inc., a leading developer of commercial embedded software assurance tools and advanced cybersecurity solutions, announced today it is making the GrammaTech Intermediate Representation for Binaries (GTIRB), a data structure representing binaries for analysis and rewriting, available as free and open source software. This is in an effort to create a common framework for communication and collaboration between researchers and practitioners in the field of binary analysis, reverse engineering, and binary rewriting.

Binary analysis enables the review of binary software to detect cyber vulnerabilities and binary rewriting enables the remediation of these vulnerabilities in the binary software. Both depend on a high-quality intermediate representation (IR) of the binary and a high-quality disassembler to lift executables to this IR.
There is much interest in binary analysis, reverse engineering, and binary transformation to protect software intensive systems from cyber exploitation, as is evidenced by DARPA“s Cyber Grand Challenge in 2016, NSA’s release of Ghidra at the RSA Conference in March 2019, and workshops at events like the Network and Distributed System Security Symposium (NDSS). GrammaTech has been working in this field for 20 years and is releasing GTIRB with the goal of accelerating progress by facilitating collaboration in this highly technical field. GrammaTech is releasing IR for Binaries, GTIRB, and ddisasm, a fast and accurate disassembler capable of lifting binary programs to GTIRB, as well as a simple GTIRB-pprinter to complete the round trip from binary to IR and (with a standard assembler and linker) back to binary.

„We hope that the combined open-source suite of GTIRB, ddisasm, and GTIRB-pprinter will lower the bar of entry into this space so that anyone with an interesting new approach to binary analysis, hardening, or rewriting can try out their ideas without first having to put in the huge investment required to get a usable IR,“ said Eric Schulte, Director of Automated Software Engineering. „We’re really proud of these tools, and we’ll be continuing to improve them as we use them increasingly with our customers.“

GTIRB and ddisasm are available now in GrammaTech“s Github repository at https://github.com/GrammaTech/gtirb and https://github.com/GrammaTech/ddisasm under the MIT and aGPL licenses respectively, and interested parties are invited to collaborate.

This material is based upon work supported by the Office of Naval Research under Contract No. N68335-17-C-0700. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the Office of Naval Research.

About GrammaTech:
GrammaTech’s advanced static analysis tool CodeSonar© is used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally spun out of Cornell University, GrammaTech is now a leading research center for software security, and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

Company-Contact
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
Phone: +1-607-273-7340
E-Mail: sales@grammatech.com
Url: http://www.grammatech.com

Press
sayIT Public Relations
Jan Schulze
Franz-Brombach-Str. 11
85435 Erding
Phone: 08122-954 77 13
E-Mail: jan@sayit-pr.de
Url: http://www.sayit-pr.de

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

GrammaTech stellt Tools für Binäranalyse und Rewriting als Open Source zur Verfügung

GrammaTech veröffentlicht seine Datenstruktur „GrammaTech Intermediate Representation for Binaries“ (GTIRB) zur Unterstützung von Binäranalyse und Reverse Engineering unter der freien MIT-Lizenz.

Ithaca, NY (USA) – 2. Mai 2019 – GrammaTech, ein führender Entwickler kommerzieller Tools zur Sicherung von Embedded Software und Cyber-Security-Lösungen, stellt seine Datenstruktur „GrammaTech Intermediate Representation for Binaries“ (GTIRB) als Open-Source-Software zur Verfügung, um die Zusammenarbeit zwischen Entwicklern und Anwendern im Bereich der Binäranalyse, des Reverse Engineerings und des Binary Rewritings zu erleichtern.

Die Binäranalyse identifiziert Schwachstellen in einer binär vorliegenden Software, so dass diese mithilfe von Binary Rewriting behoben werden können. Beide Verfahren erfordern eine hohe Ausgangsqualität der Intermediate Representation (IR) sowie einen hochwertigen Disassembler, der diese IR aus den Executables erzeugt.

Binäranalyse, Reverse Engineering und Binärtransformation gewinnen immer mehr an Bedeutung, wenn es um den Schutz komplexer Software-Systeme vor Cyber-Manipulation geht. Dies hat sich nicht zuletzt im Rahmen der DARPA Cyber Grand Challenge 2016 oder der Veröffentlichung des Reverse-Engineering-Tools Ghidra durch den amerikanischen Auslandsgeheimdienst NSA im März 2019 gezeigt. GrammaTech, mit 20 Jahren Entwicklungserfahrung auf diesem Gebiet im Rücken, erweitert nun die bereits vorhandenen Ressourcen mit der Freigabe von GTIRB. Das Ziel ist, den Fortschritt in diesem hochtechnologischen Bereich durch bessere Zusammenarbeit zu beschleunigen. Dazu stellt GrammaTech neben IR for Binaries auch den schnellen und genauen Dissembler ddisasm unter die Open-Source-Lizenz, um die Binärdateien für GTIRB vorzubereiten. Das Rundumpaket wird durch einen einfachen GTIRB-pprinter ergänzt, um den Zyklus von der Binärdatei zur IR und – einen Standard-Compiler und Linker vorausgesetzt – wieder zurück abzudecken.

„Wir hoffen, dass die Freigabe von GTIRB, ddisasm und GTIRB-pprinter als Open-Source-Suite einen niedrigschwelligen Zugang zu diesem Bereich ermöglicht. Jeder mit einem neuen, interessanten Ansatz bei Binäranalyse, Systemhärtung und Rewriting kann seine Vorstellungen damit ausprobieren, ohne vorab mit immensem Aufwand eine brauchbare IR zu erstellen,“ sagt Eric Schulte, Director of Automated Software Engineering bei GrammaTech. „Wir sind wirklich stolz auf diese Tools und werden sie in Kooperation mit unseren Kunden fortlaufend weiterentwickeln.“

GTIRB und ddisasm unterliegen der MIT- und aGPL-Lizenz, sie stehen unter https://github.com/GrammaTech/gtirb und https://github.com/GrammaTech/ddisasm zum Download bereit. Interessierte sind dazu eingeladen, an den Projekten mitzuwirken.

About GrammaTech:
GrammaTech’s advanced static analysis tool CodeSonar© is used by software developers worldwide, spanning a myriad of embedded software industries including avionics, government, medical, military, industrial control, and other applications where reliability and security are paramount. Originally spun out of Cornell University, GrammaTech is now a leading research center for software security, and a commercial vendor of software-assurance tools and advanced cyber-security solutions. With both static and dynamic analysis tools that analyze source code as well as binary executables, GrammaTech continues to advance the science of superior software analysis, providing technology for developers to produce safer software. For more information, visit www.grammatech.com or follow us on LinkedIn: https://www.linkedin.com/company/grammatech

Firmenkontakt
GrammaTech, Inc.
Rodney Fleming
Esty Street 531
14850 Ithaca, NY
+1-607-273-7340
sales@grammatech.com
http://www.grammatech.com

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

Die Bildrechte liegen bei dem Verfasser der Mitteilung.

Pressemitteilungen

NPP Itelma setzt auf Testwell CTC++ von Verifysoft Technology

OFFENBURG, 15. März 2019 – Millionen von Code-Zeilen, dutzende elektronische Komponenten – moderne Fahrzeuge erinnern oft an mobile Rechenzentren. Entsprechend hoch sind die Anforderungen, die an diese Systeme gestellt werden. Denn viele dieser Komponenten sind nicht nur für den Betrieb des Fahrzeugs wichtig und müssen jederzeit einwandfrei funktionieren. Ein erheblicher Teil davon ist auch sicherheitskritisch, Ausfälle oder Fehler gefährden Menschenleben. Umfassende, vollständige und nicht zuletzt dokumentierte Tests sind unumgänglich.

Um den Aufwand beim Testing zu senken, ohne dabei Kompromisse bei der Qualität einzugehen, entschied sich NPP Itelma, ein führender russischer Entwickler und Hersteller von elektronischen Fahrzeugkomponenten, für die Einführung von Testwell CTC++ von Verifysoft Technology. Testwell CTC++ ist ein Werkzeug zur Messung der Testüberdeckung (Code Coverage) bei Embedded-Systemen, bei denen geringe Hardware-Ressourcen und hohe Sicherheitsanforderungen zusammentreffen.

NPP Itelma arbeitet bei der Entwicklung nach dem branchenüblichen V-Modell, bei dem das Unit-Testing einen hohen Stellenwert einnimmt. Besonders bei den tiefgehenden Whitebox-Tests, bei denen die Tester den Code kennen und so entsprechend präzise Testfälle entwickeln können, ist der Einsatz eines Analyse-Tools für die Code Coverage unabdingbar. Hierfür evaluierte NPP Itelma verschiedene am Markt verfügbare Werkzeuge. Die Entscheidung für Testwell CTC++ wurde unter anderem wegen der einfachen Usability getroffen, den leicht analysierbaren Coverage-Reports sowie der Möglichkeit, Testwell CTC++ im Rahmen der Zertifizierung sicherheitskritischer Bauteile einzusetzen.

„Mit Hilfe von Testwell CTC++ konnten wir viele Code-Bereiche und Zustände identifizieren, die nicht hinreichend abgedeckt wurden“, so Alexander Dolozov, Automotive Embedded Software Manager bei NPP Itelma. „Die fehlenden Tests konnten pünktlich erstellt werden. Und so ließen sich viele Fehler bereits in einer sehr frühen Phase der Entwicklung erkennen. Das Ergebnis ist, dass die Gesamtqualität der Firmware signifikant verbessert werden konnte.“

NPP Itelma wurde 1994 gegründet und unterhält Produktionsstätten in Moskau, Dimitrowgrad und Kostroma. Das Unternehmen beliefert alle großen Fahrzeughersteller in Russland, darunter Lada und UAZ. Zudem ist NPP Itelma als Lieferant für spezielles Equipment am von Russland betriebenen Satellitennavigationssystem GLONASS beteiligt.

Die Verifysoft Technology GmbH ist ein führender Anbieter von Tools, Dienstleistungen und Schulungen zur Steigerung der Softwarequalität und Senkung der Entwicklungskosten im Embedded-Bereich. Das 2003 gegründete Unternehmen betreut mit einem internationalen Beraterteam am Firmensitz in Offenburg über 500 Kunden in weltweit fast 40 Ländern.

Ein Schwerpunkt von Verifysoft Technology ist die Messung und Dokumentation der Code Covergage (Testüberdeckung). Dazu bietet Verifysoft Technology mit Testwell CTC++, Testwell CMT++ und Testwell CMTJava Lösungen an, die in allen sicherheitskritischen Branchen zum Einsatz kommen. Zudem ist Verifysoft Technology Distributor für verschiedene weitere Tools zur Qualitätssicherung von Software in Embedded Devices, wie zum Beispiel der Statischen Codeanalyse.

Weitere Informationen zu Verifysoft Technology stehen unter www.verifysoft.com bereit.

Firmenkontakt
Verifysoft Technology GmbH
Polina Handzhiyska
In der Spöck 10-12
77656 Offenburg
0781 127 8118-0
Handzhiyska@verifysoft.com
https://www.verifysoft.com/de.html

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

Die Bildrechte liegen bei dem Verfasser der Mitteilung.