リアルタイムLinuxはどこまで使えるのか？仕組み・性能比較から読み解く、商用リアルタイムOSとの選定ポイント