Author:
Burns Alan,Baker Ted,Vardenaga Tullio
Abstract
The objective of this session was to identify one or more restricted tasking profiles that would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. Such a profile would also be likely to offer improved performance. Consideration was not given to the sequential parts of the language as they are being addressed by the HRG (annex H Rapporteur Group).
Publisher
Association for Computing Machinery (ACM)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献