Vert Systems


Vert Systems specialise in embedded, real-time software development based on the following specific areas, but please contact us if you need something that is not listed or your project has some novel technology or requirements.

Target Architectures

  • Processors / microcontrollers:
    •  PIC, ARM, PowerPC, SPARC
  • Commercial and open source RTOSs:
    • Greenhills Integrity, FreeRTOS, RTEMS
  • Embedded LINUX, including device drivers
  • Bare-board developments
  • Distributed Systems


  • Consumer electronics
  • Automotive
  • Space
    • including on-board software
  • Civil Aerospace
  • Rail
  • Development to specific software standards including:
    • IEC 61508, DO178-B, and ECSS E40/Q80


  • Low-level SPI and I2C
  • USB 
  • CAN 
  • TCP/IP and Ethernet


  • Requirements analysis and design in UML.
  • Developement in embedded C, C++, Ada, or assembler.
  • SPARK or MISRA-C for high-integrity applications
  • Code generation from UML and Matlab/Simulink    Vert Systems Ltd  2012  +44 (0)333 444 8378