发明名称 Eine Methode zur Entwicklung von garantiert korrekten Echtzeitsystemen
摘要 Als ein Beispiel der vorliegenden Erfindung wird ein Verfahren zur Konstruktion von Echtzeitsystemen offenbart. Das Echtzeitsystem umfasst zumindest ein Modul, wobei jedes Modul zumindest einen Mode aufweist. Das Verfahren umfasst: die Definition einer Mode-Periode für jeden Mode zur wiederholten Ausführung des jeweiligen Modes durch das entsprechende Modul; für jeden Mode die Definition einer oder mehrerer Tasks, die von dem Echtzeitsystem ausgeführt werden sollen, wobei jedem synchronen Task eine logische Ausführungszeit zugeordnet ist, während derer die Task-Ausführung abgeschlossen sein muss; die Definition einer ganzzahligen Anzahl von Zeit-Slots für die Mode-Periode jedes Modes; die Zuordnung von zumindest einem Zeit-Slot zu jedem Task, während dem die Task auszuführen ist.
申请公布号 DE102009025572(A1) 申请公布日期 2010.12.23
申请号 DE20091025572 申请日期 2009.06.19
申请人 WOLFGANG PREE GMBH 发明人 PREE, WOLFGANG;TEMPL, JOSEF
分类号 G06F9/46;G05B19/04;G06F17/50 主分类号 G06F9/46
代理机构 代理人
主权项
地址