High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System.

Kazuo Kera Keisuke Bekki Kinji Mori Issei Masumoto

Published in: HASE (2002)

Keyphrases

real time
high assurance
real time embedded systems
distributed systems
operating system
robotic systems
low cost
autonomous vehicles
machine learning
genetic algorithm
information technology
relational databases
control system
high speed
fault tolerant
real time systems