Author:
Obermaisser R.,Peti P.,Huber B.,El Salloum C.
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference48 articles.
1. Atkinson, R. (2002): COTS tools reduce the cost of embedded software certification. COTS Journal: 27–31.
2. Beal, D. et al. (2000): RTAI: Real-Time Application Interface. Linux Journal. April, 2000.
3. Birch, S. (2003): Pre-safe headlines S-Class revisions. Automotive Engineering International: 15–18.
4. Butler, R. W., Caldwell, J. L., Vito, B. L. Di. (1991): Design strategy for a formally verified reliable computing platform. In: Proceedings of the 6th Annual Conference on Systems Integrity, Software Safety and Process Security: 125–133.
5. Int. Computer Science Series;G. Coulouris,1994
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Achieving System Reliability Using Reliability Adjustment;International Conference on Computer Systems and Technologies 2022;2022-06-17
2. TASP: Enabling Time-Triggered Task Scheduling in TSN-Based Mixed-Criticality Systems;2022 IEEE/ACM 30th International Symposium on Quality of Service (IWQoS);2022-06-10
3. A Fault-Tolerant Real-Time System with Adjustable Reliability;International Conference on Computer Systems and Technologies '21;2021-06-18
4. Enabling Strong Isolation for Distributed Real-Time Applications in Edge Computing Scenarios;IEEE Aerospace and Electronic Systems Magazine;2019-07-01
5. Virtual Gateway in TCMS Execution Environment based on an Integrated Architecture;2019 IEEE 17th International Conference on Industrial Informatics (INDIN);2019-07