Automatically generate software, verify models and perform tests

By using Model Driven Software Development (MDSD), Sioux supports high-tech OEMs in rapidly creating high-quality software of predictable quality. Next to that, we are accelerating, improving and making the development of systems flexible within multidisciplinary engineering processes. This increases the productivity of customers and the quality of their products.

Increasingly advanced modules, systems and machines do what they do thanks to their software stacks: User interfaces, apps, application and embedded software. Increased and more complex software is needed to ensure their functionality and performance. In order to get the most out of the market, high tech OEMs need to develop and introduce new products with the right feature set and quality faster and faster, at the best possible cost.

Functional programming

'In more and more technology domains, we reach the point where the size of the software becomes so large that it is almost impossible to maintain control. It's getting out of hand. We cannot continue to take on additional software engineers to develop and maintain the software'

Read the full article of Paul Zenden

Services 

  • Develop a domain specific language, including generators
  • Develop and validate models
  • Integrate generated code with existing systems
  • Create links between different models and / or tools
  • Introduction of a software-based process
  • Generating simulators from models
  • Training in model development
  • Setting up automated acceptance testing

Competences 

  • Eclipse Xtext / Xtend
  • ASD / Dezyne
  • MPS, mbeddr
  • Code generator development in C # using Roslyn or T4
  • Code generation for PLCs (Beckhoff Twincat 2.0 and 3.0, Codesys, B & R 4.x)
  • SpecFlow, Cucumber, Robot Framework
  • Selenium
  • Supermodels 
Modular system and software development are crucial for innovation in complex high-tech domains. ‘Modular system and software development are crucial for innovation in complex high-tech domains.’

Paul Zenden, software architect at Sioux

By integrating MDSD into multidisciplinary engineering of complete systems, Sioux offers benefits that boost the software domain. We accelerate development processes, reduce error margins and costs, make the engineering life cycle flexible and shift technological boundaries. Furthermore, we introduce a new working method to clients. For example, repetitive work will be automated, faster alternative solutions are being investigated, and scenarios will be tested that are usually not possible due to the hard-changing character of software code. 

Cases

Development PLC for solar industry

Solaytec manufactures machines to be able to evaporate atomic layers on solar cells. The machine is controlled by a PLC. Sioux has developed a generation environment based on two types of models (structure and behavior) - including the PLC code, a simulation on the PLC, user interface interfaces, and the user application presentation layer.

Vacuum control system

Thermo Fisher Scientific, Materials & Structural Analysis is an OEM in microscope technology. One of the new generation products is the Talos (tm) transmission electron microscope. Sioux developed the vacuum control system using Analytical Software Design (ASD), a model driven technology to create highly reliable software components through formal verification.

Cloud-based locker-system

Releezme, a cloud-based smart locker system, consists of a central server that communicates with decentralized locker controllers. Sioux developed a generation environment that generated from one message definition, consistent server deployment, locker controller and simulation of the locker controller.