Automatische Generierung von Software, Überprüfung von Modellen und Durchführung von Tests.

Durch den Einsatz der modellgetriebenen Softwareentwicklung (MDSD) unterstützt Sioux Hightech-OEMs und Markenhersteller bei der schnellen Entwicklung hochwertiger Software von vorhersehbarer Qualität. Wir beschleunigen und verbessern die Entwicklung von Systemen innerhalb multidisziplinärer Engineering-Prozesse. Auf diese Weise steigern wir die Produktivität der Kunden und die Qualität ihrer Produkte.

Immer fortschrittlichere Module, Systeme und Maschinen machen das, was sie tun, dank ihrer Software-Stacks. Dazu gehören Benutzeroberflächen, Apps, Anwendungen und eingebettete Software. Immer komplexere Software ist erforderlich, um die Funktionalität und Leistung zu gewährleisten. Um optimal auf den Markt zu reagieren, müssen Hightech-OEMs auch neue Produkte mit den richtigen Funktionen und der richtigen Qualität schneller und zu den bestmöglichen Kosten entwickeln und einführen.

Funktionale Programmierung

„In immer mehr technologischen Bereichen erreichen wir den Punkt, an dem der Umfang der Software so groß wird, dass es fast unmöglich ist, die Kontrolle zu behalten. Es läuft aus dem Ruder. Wir können nicht einfach weitere Softwareingenieure einstellen, um die Software zu entwickeln und zu warten."

Lesen Sie den vollständigen Artikel von Paul Zenden

Dienstleistungen

  • Entwicklung einer domänenspezifischen Sprache, einschließlich Generatoren
  • Entwicklung und Validierung von Modellen
  • Integration von generiertem Code in bestehende Systeme
  • Erstellen von Verknüpfungen zwischen verschiedenen Modellen und/oder Tools
  • Einführung einer Methode basierend auf Software-Generierung
  • Generieren von Simulatoren aus Modellen
  • Schulung zur Entwicklung von Modellen
  • Einführung automatisierter Akzeptanztests

Kompetenzen

  • Eclipse Xtext/Xtend
  • Verum ASD/Dezyne
  • MPS, mbeddr
  • Codegenerator-Entwicklung in C# mit Roslyn oder T4
  • Codegenerierung für SPS (Beckhoff Twincat 2.0 und 3.0, Codesys, B&R 4.x)
  • SpecFlow, Cucumber, Robot Framework
  • Selenium
  • Supermodels
Die modellbasierte System- und Softwareentwicklung ist entscheidend für die Innovationskraft in Hightech-Bereichen.
‘Die modellbasierte System- und Softwareentwicklung ist entscheidend für die Innovationskraft in Hightech-Bereichen.’

Paul Zenden, Softwarearchitekt bei Sioux

Durch die Integration der modellgetriebenen Softwareentwicklung in das multidisziplinäre Engineering kompletter Systeme bietet Sioux Vorteile, die über den Softwarebereich hinausgehen. Wir beschleunigen Entwicklungsprozesse, reduzieren Fehlerquoten und Kosten, machen den Engineering-Lebenszyklus flexibler und verschieben technologische Grenzen. Darüber hinaus gehen wir mit unseren Kunden neue Wege. Beispielsweise werden sich wiederholende Arbeiten automatisiert, alternative Lösungen schneller untersucht und Szenarien getestet, die aufgrund der Tatsache, dass Änderungen von Softwarecode nur schwer durchgeführt werden können, normalerweise nicht möglich sind.

Geschäftsfälle

Entwicklung von SPS für die Solarindustrie

Solaytec produziert Maschinen zur Aufdampfung von Atomlagen auf Solarzellen. Die Maschine wird von einer SPS gesteuert. Sioux hat eine Generierungsumgebung entwickelt, die auf zwei Arten von Modellen (Struktur und Verhalten) basiert - einschließlich des Codes für die SPS, einer Simulation auf der SPS, Schnittstellen zur Benutzeranwendung und der Präsentationsschicht der Benutzeranwendung.

Vakuumkontrollsystem

Thermo Fisher Scientific, Materials & Structural Analysis ist ein Hersteller im Bereich der Mikroskoptechnik. Eines der Produkte der neuen Generation ist das Transmissionselektronenmikroskop Talos. Sioux entwickelte das Vakuumkontrollsystem unter Verwendung von Analytical Software Design (ASD), einer modellgetriebenen Technologie, um durch formale Verifizierung äußerst zuverlässige Softwarekomponenten zu erstellen.

Cloudbasiertes Schließfachsystem

Releezme, ein cloudbasiertes intelligentes Schließfachsystem, besteht aus einem zentralen Server, der mit dezentralen Schließfachcontrollern kommuniziert. Sioux entwickelte eine Generierungsumgebung, die eine einzelne Nachrichtendefinition, eine konsistente Implementierung für den Server, den Schließfachcontroller und eine Simulation des Schließfachcontrollers generiert.