发明名称 Method for testing, and if desired, for the validation of the primitives of a real-time executive.
摘要 <p>The method according to the invention consists in causing execution of a succession of operating phases with a set of concurrent tasks of the real-time executive, under the direction of a supervisory task which organises the running of the concurrent tasks, which regulates their initiation and which detects their completion. Each operating phase comprises the random choice of an initiation mode, the initiation of the concurrent tasks, their freeing from a standby condition, the detection of the arrival of each of the concurrent tasks at the end of the routine and the memory storage of characteristic parameters of the operating phase which has just been performed. The invention makes it possible to validate real-time executives used especially in the aeronautical, space, nuclear, railway, medical or even robotic fields.</p>
申请公布号 EP0545744(A1) 申请公布日期 1993.06.09
申请号 EP19920402916 申请日期 1992.10.26
申请人 SEXTANT AVIONIQUE 发明人 SIRUGUET, BENOIT
分类号 G06F11/36 主分类号 G06F11/36
代理机构 代理人
主权项
地址