Need realization of the IoT system? Try our software!

Mission Statement

  Our mission is to provide a service to developers that helps in the deployment of IoT systems.

  This is achieved through extending the functionality of an already existing and trusted modeling software, UPPAAL.

  After designing and validating a model in the UPPAAL environment, our translator turns the corresponding model into equivalent Python code.

  Our translator paired with UPPAAL creates a nearly closed loop solution to developing IoT systems, from the initial design to real world deployment.

Flow Diagram

none

Figure1. Overall process of the translator

Application

  • home_appliance

    Home Appliance

    This tool can assist you on building up your own home IoT system for multiple electronic devices.

  • space

    Planet Exploration / Excavation

    This tool can assist on space exploration projects with multiple excavation robots.

  • industry

    Industry Level IoT Platforms

    Overburdened with industry-level electrical components and machines? Try this to construct a harmonic IoT system!

  • auto

    Automobile IoT System

    Use model translator to build traffic congestion control system, or even more features on car auto.

  • academic

    Academic/Educational IoT Platform

    Tired of manual control on electronic devices prior to the lectures or seminars? Create labor-reducing system for the academia.

  • development

    IoT System Development

    This will be applicable to all system developers who are tired of re-writing the code on logic changes.

Contact Us