IoT-HIRTE®- Virtual Control Unit

Is a secure Element stack, which can substitute Runtime environments like Java Card RTE.

  • HIRTE® supports 8-Bit CPUs up to 64-Bit CPUs
  • HIRTE ® allows “Full & consistent trace-, + reproductivity!”
  • HIRTE ® supports the European Electronic Toll Service (EETS) (see below)

Technical Features

General Features

  • Safety + security-driven solution, flexible integration.
  • The core component of HIRTE® is a highly controllable and generic virtual machine called VCU (Virtual Control Unit).
  • The HIRTE® software system architecture and programming techniques are state of the art regarding reliability properties.
  • The generic, lean VCU can be specialized and extended for domain-specific deployments.
  • The VCU programs (ISMC) are created via model-driven design (MDD) and/or domain-specific languages (DSL).
  • Formal semantics of the VCU programs allow formal verification as state machines.
  • The VCU will be released as open source software, enabling complete and independent validation.
  • Safety + security-driven solution, flexible integration.
  • The core component of our High Integrity Run Time Environment is a highly controllable and generic virtual machine called VCU (Virtual Control Unit).
  • The High Integrity Run Time Environment software system architecture and programming techniques are state of the art regarding reliability properties.
  • The generic, lean VCU can be specialized and extended for domain specific deployments.
  • The VCU programs (ISMC) are created via model-driven design (MDD) and/or domain-specific languages (DSL).
  • Formal semantics of the VCU programs allow formal verification asstate machines.
  • The VCU will be released as open source software, enabling complete and independent validation.
  • High Integrity Run Time Environment VCUs support 8-Bit CPUs up to 64-Bit CPUs.
  • High Integrity Run Time EnvironmentVCUs can substitute other Runtime Environments like the Java Card RTE
  • All developments, based on our High Integrity Run Time Environmentand VCU, are full and consistent trace- and reproducibility, and with this meet the REGULATION OF THE EUROPEAN PARLIAMENT AND OF THE COUNCIL on the approval and market surveillance of motor vehicles and of systems, components and separate technical units intended for such vehicles. (General Secretariat, Council of the European Union, 2017)