TECS Components Providing Functionalities of OSEK Specification for ITRON OS.

Atsushi Ohno Takuya Azumi Nobuhiko Nishio

Published in: HPCC-ICESS (2012)

Keyphrases

operating system
open source
real world
databases
case study
objective function
evolutionary algorithm
building blocks
user defined
formal specification
database manager