Automatisch genereren van software, verifiëren van modellen en uitvoeren van testen.

Door het toepassen van Model Driven Software Development (MDSD) ondersteunt Sioux hightech-OEM’s en merkfabrikanten bij het snel creëren van hoogwaardige software van voorspelbare kwaliteit en het versnellen, verbeteren en flexibiliseren we de ontwikkeling van systemen binnen multidisciplinaire engineerings-processen. Daarmee verhogen we de productiviteit van klanten en de kwaliteit van hun producten.

Steeds geavanceerdere modules, systemen en machines doen wat ze doen dankzij hun software stacks; user interfaces, apps, application en embedded software. Er is steeds meer en complexere software nodig om de functionaliteit en prestaties te borgen. Om optimaal op de markt in te spelen moeten hightech-OEM’s bovendien als maar sneller nieuwe producten met de juiste feature-set en kwaliteit ontwikkelen en introduceren tegen de best mogelijke kosten.

Functioneel programmeren

‘In meer en meer technologische domeinen bereiken we het punt waarop de omvang van de software zo groot wordt dat het bijna onmogelijk is om de controle te behouden. Het loopt uit de hand. We kunnen niet doorgaan met extra software-ingenieurs aan te nemen om de software te ontwikkelen en onderhouden’

Lees het volledige artikel van Paul Zenden

Diensten

  • Ontwikkelen van een domein specifieke taal, inclusief generatoren
  • Ontwikkelen en valideren van modellen
  • Integreren gegenereerde code met bestaande systemen
  • Koppelingen maken tussen verschillende modellen en/of tools
  • Introductie van een werkwijze gebaseerd op software generatie
  • Simulatoren genereren uit modellen
  • Training in ontwikkelen van modellen
  • Opzetten van geautomatiseerde acceptatie testen

Competenties

  • Eclipse Xtext/Xtend
  • Verum ASD/Dezyne
  • MPS, mbeddr
  • Code generator development in C# using Roslyn or T4
  • Code generation for PLC’s (Beckhoff Twincat 2.0 en 3.0, Codesys, B&R 4.x)
  • SpecFlow, Cucumber, Robot Framework
  • Selenium
  • Supermodels
Modelmatige systeem- en software-development is cruciaal voor innovatiekracht in hightech-domeinen.
‘Modelmatige systeem- en software-development is cruciaal voor innovatiekracht in hightech-domeinen.’

Paul Zenden, software-architect bij Sioux

Door het integreren van MDSD in de multidisciplinaire engineering van complete systemen biedt Sioux voordelen die het softwaredomein ontstijgen. We versnellen ontwikkelprocessen. reduceren foutmarges en kosten, flexibiliseren de engineering life cycle en verleggen technologische grenzen. Bovendien nemen we opdrachtgevers mee in een nieuwe werkwijze. Daarbij worden bijvoorbeeld repeterend werk geautomatiseerd, sneller alternatieve oplossingen onderzocht en scenario’s getest die normaliter niet mogelijk zijn vanwege het moeilijk wijzigbare karakter van software code.

Cases

Ontwikkeling PLC voor solar industrie

Solaytec produceert machines om atoomlagen te kunnen opdampen op zonnecellen. De machine wordt aangestuurd door een PLC. Sioux heeft een generatieomgeving ontwikkeld om gebaseerd op twee soorten modellen (structuur en gedrag) - onder andere de code voor de PLC, een simulatie op de PLC, interfaces naar de gebruikersapplicatie, en de presentatielaag van de gebruikersapplicatie te genereren.

Vacuum control systeem

Thermo Fisher Scientific, Materials & Structural Analysis is een fabrikant in microscooptechnologie. Een van de nieuwe generatie producten is de Talos(tm) transmissie elektronenmicroscoop. Sioux ontwikkelde het vacuüm control systeem met behulp van Analytical Software Design (ASD), een model gedreven technologie om zeer betrouwbare software componenten te creëren middels formele verificatie.

Cloud-based locker-systeem

Releezme, een cloud-gebaseerde slim locker-systeem, bestaat uit een centrale server die communiceert met decentrale locker controllers. Sioux ontwikkelde een generatieomgeving waarmee uit één berichtendefinitie, een consistente implementatie voor de server, de locker controller en een simulatie van de locker controller wordt gegenereerd.