Author:
Schneider Reinhard,Goswami Dip,Masrur Alejandro,Becker Martin,Chakraborty Samarjit
Subject
Hardware and Architecture,Software
Reference43 articles.
1. E.A. Lee. Cyber physical systems: design challenges, in: ISORC, 2008.
2. From a federated to an integrated automotive architecture;Obermaisser;TCAD,2009
3. The Logical Execution Time Paradigm;Kirsch,2012
4. Flexible Static Scheduling of Software with Logical Execution Time Constraints;Derler,2010
5. J. Rushby. New challenges in certification for aircraft software, in: EMSOFT, 2011.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2;ACM Transactions on Cyber-Physical Systems;2024-04-30
2. Statistical verification of autonomous system controllers under timing uncertainties;Real-Time Systems;2024-01-29
3. SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
4. Certifiable and Efficient Autonomous Cyber-Physical Systems Design;2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID);2024-01-06
5. Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing;2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2023-08-30