Alberto Sangiovanni-Vincentelli

TL;DR: Latency-insensitive design is the foundation of a correct-by-construction methodology for SOC design that can handle latency's increasing impact on deep-submicron technologies and facilitate the reuse of intellectual-property cores for building complex systems on chips.

TL;DR: Li et al. as mentioned in this paper presented a framework to rapidly create point clouds with accurate point-level labels from a computer game, which can be used as training data for deep learning algorithms, while point clouds from user-configured scenes can also be used to systematically test the vulnerability of a neural network, and use the falsifying examples to make the neural network more robust through retraining.

TL;DR: In this paper, the authors provide a general overview of existing challenges and possible solutions to the design and analysis problem, with special focus on the automotive domain, with UML, AUTOSAR and synchronous reactive models, on which Simulink and SCADE are based.

TL;DR: The authors review several approaches to control-oriented and dataflow-oriented software scheduling to determine whether a given technique can satisfy deadlines, throughput, and other constraints for embedded real-time systems.

TL;DR: A specification methodology and design space exploration framework are proposed to raise the level of abstraction at which building control systems are designed, to reduce design effort, and to lower implementation cost.