“…Eq. (8) 25 18 9 35 11 [3,4,3,3,3,3, 3,3,3 [7,8,7,8,7,8,7,8,7,8,7,8,8] [ 11,11,10,10,10,10,9,9,9,8,8,8,8] the slot occupants. It can be veriied that all applications meet their requirements.…”
Section: Resultsmentioning
confidence: 99%
“…Note that the proposed switching between TT and ET communication would require FlexRay to be runtime-conigurable, which is not the case. Towards this, a communication middleware is proposed in [8]. Control systems: We consider discrete-time linear time-invariant (LTI) plant models given by…”
In modern autonomous systems, there is typically a large number of connected components realizing complex functionalities. For example, in autonomous vehicles (AVs), there are tens of millions of lines of code implemented on hundreds of sensors, controllers, and actuators. AVs have been deployed, mostly in trials and restricted environments, showing that substantial progress has been made in functionality development. However, they are still faced with two major challenges: (i) performance guarantee of safety-critical functions under all possible scenarios; (ii) functionality implementation with limited resources. These two challenges are conlicting because safety guarantees necessitate a worst-case analysis that is often very pessimistic for complex hardware/software systems, and thus require more resources. To address this, we study an abstraction of a heterogeneous cyber-physical systems architecture consisting of a mix of high-and low-quality resources, such as time-and eventtriggered resources, or wired and wireless resources. We show that by properly managing such a mix of resources and formulating a formal veriication (model checking) problem, it is possible to tightly dimension the high-quality resource to the minimum (50% in certain cases) while providing control performance guarantees.
“…Eq. (8) 25 18 9 35 11 [3,4,3,3,3,3, 3,3,3 [7,8,7,8,7,8,7,8,7,8,7,8,8] [ 11,11,10,10,10,10,9,9,9,8,8,8,8] the slot occupants. It can be veriied that all applications meet their requirements.…”
Section: Resultsmentioning
confidence: 99%
“…Note that the proposed switching between TT and ET communication would require FlexRay to be runtime-conigurable, which is not the case. Towards this, a communication middleware is proposed in [8]. Control systems: We consider discrete-time linear time-invariant (LTI) plant models given by…”
In modern autonomous systems, there is typically a large number of connected components realizing complex functionalities. For example, in autonomous vehicles (AVs), there are tens of millions of lines of code implemented on hundreds of sensors, controllers, and actuators. AVs have been deployed, mostly in trials and restricted environments, showing that substantial progress has been made in functionality development. However, they are still faced with two major challenges: (i) performance guarantee of safety-critical functions under all possible scenarios; (ii) functionality implementation with limited resources. These two challenges are conlicting because safety guarantees necessitate a worst-case analysis that is often very pessimistic for complex hardware/software systems, and thus require more resources. To address this, we study an abstraction of a heterogeneous cyber-physical systems architecture consisting of a mix of high-and low-quality resources, such as time-and eventtriggered resources, or wired and wireless resources. We show that by properly managing such a mix of resources and formulating a formal veriication (model checking) problem, it is possible to tightly dimension the high-quality resource to the minimum (50% in certain cases) while providing control performance guarantees.
“…If it is not feasible, then a new slot is added. It may be noted that such hybrid implementations may require runtime reconiguration of the underlying platform [82], [83], which has been addressed in [84].…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.