"하드"RTOS의 특징 인 RTOS에 대해 읽는 것은 결정적으로 최종 기한을 유지할 수 있지만 시스템이 실제로 요구 사항을 충족하는지 테스트하거나 증명하는 방법은 무엇입니까?데드 라인을 유지하기위한 좋은 시스템 테스트는 무엇입니까?
MicroC/OS II RTOS는 하드 RTOS로 특징 지워지지 만 그 주장을 어떻게 확인할 수 있습니까? C 프로그램을 수행 할 수있는 FPGA를위한 C 코드와 ISR이 있고 RTOS와 비슷한 세마포어를 사용하여 스레드간에 컨텍스트를 전환 할 수 있다면 OS/RTOS가 "하드"또는 "소프트"RTOS인지 어떻게 알 수 있습니까?
응용 프로그램에 따라 다를 수 있으며 타이머가 있어야하므로 하드웨어 인터럽트가있는 내장 하드웨어 타이머 (예 : Altera DE2에 50Mhz 발진기 사용)를 사용하고 스레드 및 프로세스가 마감일에 따라 일정을 정하고 마감일이 맞는지 확인합니다.
또는 운영 체제, 실시간 운영 체제 및 하드 및 소프트 RTOS의 차이를 만들기 위해 포함되어야하는 사항에 대한 일반적인 관행이 있습니까?
레이블 "hard RTOS"에 대한 일반적인 요구 사항과 함께 "일반적인 테스트"가 있습니까?
질문은 없지만 살펴볼 가치는 있습니다. http://stackoverflow.com/questions/22241264/what-makes-a-kernel-os-real-time – brokenfoot