Verwenden Sie die Editoren Ihrer Wahl
Mit ASCET-DEVELOPER können Sie auf einfache Weise Texte und Grafiken entsprechend Ihren Programmieranforderungen kombinieren. Es gibt verschiedene Möglichkeiten zur Modellierung Ihrer Logik, damit Sie so effizient arbeiten können, wie Sie möchten. Sie haben die Wahl zwischen vier Spezifikationen.
Blockdiagramm-Editor
Blockdiagramm-Editor
- Ideal für die Modellierung und Visualisierung von Datenströmen und Ablaufsteuerungen
- Vollständig deterministische Ausführungsreihenfolge durch explizite Sequenzierung von Berechnungen
Zustandsautomat-Editor
Zustandsautomat-Editor
- Programmieren und Visualisieren von Entscheidungslogik auf der Grundlage der Notationen endlicher Zustandsautomaten
- Aktionen und Bedingungen können direkt in ESDL geschrieben oder in einer separaten Methode gekapselt werden, die im Blockdiagramm-Editor programmiert wird.
ESDL-Editor
ESDL Editor
- ESDL steht für Embedded Software Description Language und übernimmt die Semantik des ASCET-Modells. Diese kann mit den bereits erwähnten grafischen Editoren oder direkt im Text programmiert werden.
- Der Editor ist ideal für Code, der sich eher für eine textbasierte Implementierung eignet (z. B. Schleifen).
C Code Editor
C Code Editor
- Verwenden Sie die bekannte ESDL-Schnittstelle zur Definition Ihres Modells
- Spezifizieren Sie das Verhalten der Modelle mit der vollen Kapazität der Programmiersprache C
- Ihr C-Code-Modell kann bequem über verschiedene Modelle hinweg wiederverwendet werden, was die Konsistenz fördert und wertvolle Entwicklungszeit spart.
Gründe für weniger Bugs: Sichere Modellierungssprache
ASCET wurde für die mühelose und sichere Programmierung eingebetteter Systeme entwickelt. Es enthält Funktionen wie objektorientierte Programmierung, absichtsorientierte Argumentbearbeitung, sichere Schleifen, semantische Einheiten, Zustandsautomaten, Lookup-Tabellen, statische Analyse und verschiedene andere Werkzeuge. Diese Elemente arbeiten zusammen, um die Programmierung in eingebetteten Systemen zu vereinfachen und zu verbessern.
Klassen
Klassen
- Beherrschen Sie die Komplexität Ihrer Software, indem Sie Klassen als Strukturierungskonzept nutzen.
- Bringen Sie die bewährten Vorteile objektbasierter Kapselung und systematischer Wiederverwendung in Ihr eingebettetes Projekt.
Typensystem
Typensystem
- Maximale Produktivität durch Nutzung der Fähigkeit von ASCET zur nahtlosen Wiederverwendung von Softwareeigenschaften
- ASCET verwandelt Komplexität in Klarheit und ermöglicht es Ihnen, Softwareeigenschaften visuell darzustellen, um sie leichter zu verstehen.
- Automatische Generierung von hochwertigem Code und Zeitersparnis bei der manuellen Codeentwicklung
Semantische Einheiten
Semantische Einheiten
- Mit ASCET können Sie Einheiten und Beziehungen innerhalb Ihrer Modelle mühelos definieren
- Bringen Sie auf natürliche Weise Einheiten in Ihre Modelle ein, da ASCET Einheiten intuitiv versteht und integriert, ohne dass eine manuelle Umrechnung erforderlich ist.
- ASCET nimmt Ihnen die Arbeit ab, indem es Einheiten automatisch erkennt und sie nahtlos in den generierten Code konvertiert, was Ihren Modellierungsprozess vereinfacht.
Live-Validierung
Live-Validierung
- Versteckte Probleme früher erkennen
- Die integrierte statische Live-Analyse prüft auf: Typkompatibilität, inkompatible Einheiten, Seiteneffekt, fehlendes Lesen oder Schreiben, unerreichbarer Code und vieles mehr ...
Testen
ASCET-DEVELOPER bietet verschiedene Möglichkeiten, Ihre Modelle in verschiedenen Phasen des Entwicklungszyklus effizient und ganzheitlich zu testen:
- Die Trennung von Modell- und Darstellungseigenschaften ermöglicht ein einfaches Testen, wobei der Schwerpunkt zunächst auf dem physikalischen Verhalten liegt und erst später mit zielspezifischen Einschränkungen getestet wird.
- Integriertes Rahmenwerk für Unit-Tests
- PC-Simulation im offenen Regelkreis mit ETAS-Experimentierumgebung
- Modellabdeckung und Analyse der Testausführung mit Metriken wie Anweisungs-, Verzweigungs-, Zustands-, Übergangs- und MC/DC-Abdeckung (Modified Condition Decision)
- ASCET-DEVELOPER-Modelle können zusammen mit Modellen in externen Tools, die den FMI-Standard unterstützen, simuliert werden. Die Anbindung erfolgt über FMU Export oder in MATLAB/Simulink per S-Funktion-Übertragung
- Funktionsprototyping auf Echtzeit-Hardware mit der ETAS-Prototyping-Lösung ermöglicht eine frühzeitige, realistische Validierung auf dem Prüfstand oder im Fahrzeug
- ASCET-DEVELOPER-Modelle können systematisch über das Drittanbieter-Tool TPT mit dessen nativer ASCET-Plattformunterstützung getestet werden
Modultest
- Systematisches Testen von Softwareeinheiten unter Verwendung des ESDL Unit Testing Framework
- Verwendung von ESDL-Testklassen zum Testen unabhängiger Softwareeinheiten und Visualisieren der Ergebnisse nach der Ausführung
PC-Simulation
- Frühzeitige Designvalidierung durch PC-Simulation mit Live-Messung und Kalibrierung der Daten
- Hochentwickelte Experimentierumgebung mit Signalgenerator, Datenloggern und Anzeigefenstern
Abdeckung
- Interaktive Testabdeckung durch laufende PC-Simulation oder Ausführung von Einheitentests
- Die Abdeckungsansicht fasst die Testabdeckung für alle Softwareeinheiten zusammen, die gerade ausgeführt werden.
- Visualisierung der Abdeckung in Text- oder Grafikeditoren, um zu sehen, welche Teile des Modells getestet wurden
Automatische Codegenerierung
Beim manuellen Schreiben von Code kommt zusätzlicher Aufwand hinzu, um Laufzeitfehler zu vermeiden und die Einhaltung von Standards und Codierungsrichtlinien zu gewährleisten. Mit ASCET-DEVELOPER müssen Sie sich lediglich auf die Lösung des Problems konzentrieren, den Rest erledigt der Codegenerator. Er zeichnet sich durch die folgenden Merkmale aus:
- Produktion von hochwertigem MISRA-konformem C-Code
- Gute Lesbarkeit des Codes für Benutzer
- Rückverfolgbarkeit zu Ihrem ASCET-DEVELOPER-Modell
- Automatisches Einfügen von defensivem Code. Beispiele hierfür sind geschützte Division durch null, Sättigungsgrenzen auf der Grundlage von Typeneigenschaften und Indexüberlaufschutz für Array-Typen
- Erzeugung von Festkomma-Code
- AUTOSAR-Code-Generierung durch Abbildung des ASCET-DEVELOPER-Modells auf die AUTOSAR-Struktur
- Schnelle Wiederverwendung bestehender ASCET-DEVELOPER-Modelle und Generierung von Code für unterschiedliche Ziele durch Anpassungsmöglichkeiten
- Benutzerdefinierte Rückrufe zu gerätespezifischen Arithmetik-, Interpolations- oder Servicebibliotheken
- Speicherrichtlinie für Compiler
- Bedingter Code und Datenstrukturen, die zur Kompilierungs- oder Generierungszeit aufgelöst werden können
- Zahlreiche Optimierungsstrategien für Ressourcen und Laufzeitverhalten
Docs-as-code
Bearbeiten Sie die Dokumentation und fügen Sie sie nahtlos an jedes Modell an.
- Schreiben Sie die Dokumentation in dem von Ihnen bevorzugten Format (doc, md, tex, adoc usw.).
- Passen Sie Vorlagen mit benutzerdefinierten Konfigurationen an.
- Nutzen Sie das EHANDBOOK Container-Build, um interaktive Software-Dokumentation zu erstellen.
Aufgebaut auf Eclipse
Unser System basiert auf der Eclipse-Plattform und ermöglicht eine nahtlose Integration mit einer Vielzahl bestehender Plugins, die die Möglichkeiten der Eclipse® IDE erweitern. Nutzen Sie die Vorteile bekannter Versionsverwaltungserweiterungen wie Git, Subversion oder anderer kommerzieller Anbieter, um die Versionskontrolle zu verbessern.
Schalten Sie professionelle Funktionen frei, die Ihre Arbeitsabläufe optimieren, wie z. B. eine optimierte Navigation, effizientes Refactoring, automatische Vervollständigung, leistungsstarke Suchfunktionen und Werkzeuge zur Aufgabenverwaltung. Unsere Plattform enthält außerdem integrierte Editoren für eine Vielzahl von Dateiformaten, die Flexibilität und Benutzerfreundlichkeit für alle Ihre Projekte gewährleisten.
Modellvergleich
Entdecken Sie die Modellvergleichsfunktion in ASCET, die eine umfassende Analyse Ihrer Modelle mit den folgenden Vorteilen und Funktionen bietet:
- Vergleichen Sie mühelos grafische und Eigenschaftseditoren, um Änderungen an Ihren Modellen zu erkennen. Die Differenzbaumfunktion bietet eine klare Aufschlüsselung, in der jede Änderung im Detail erläutert wird.
- Passen Sie Ihren Vergleich flexibel mit Filtern an, um die Einflüsse kosmetischer Änderungen zu minimieren. Ob es sich nun um eine einzelne Datei, einen Ordner oder ein ganzes Projekt handelt, ASCET ermöglicht Ihnen einen präzisen Vergleich.
Zertifiziert für sicherheitskritische Entwicklung
Geeignet für sicherheitskritische Softwareentwicklung
ASCET-DEVELOPER ermöglicht Ihnen die Entwicklung von Software, die alle wichtigen Sicherheitsstandards erfüllt.
- ISO26262 ASIL-D und IEC61508-SIL3 TÜV-zertifizierte Codegenerierung
- Konformität mit MISRA-C:2012
- Beseitigung numerischer Probleme durch automatisches Einfügen von defensivem Code