In this paper, we review technologies for autonomous ground vehicles and their present
capabilities in research and in the automotive market. We outline technology requirements for …

… configuration of the system in order to sustain safe behavior. It is a … autonomous system
like TIA, such a safety monitor not only aids in achieving fault tolerance by prompting safety …

… This control is reactive in the sense that the system will be driven to some local optima
with respect to the overall behavior goals (maintaining system safety, for example). This local …

… These guarantees are based on two bedrock assumptions: first, that it is possible to predict
the future behavior of our system in the world and, second, that with enough effort we can …

… The system safety property is verified at design time against the modeled system’s
behavior and the system’s assumptions. Our concept presents a two-phase process for our …

… system has not produced an output by a deadline (eg, end of the period) we are able to
produce an output that keeps the system safe. … Given this behavior, we identify safe behavior as …

… the notion of an engineering system’s operational design … this idea to any autonomous robotic
system: What restrictions … /or the behavior of nearby agents) in order to ensure safety? The …

… class of autonomously acting systems, systematic achievement of a safe system behavior is
… means of a metamodel for the safety supervision of autonomous systems and thus the main …

… synthesize monitor behavior rules that ensure the safety of the monitored system. Potentially
… ie, the safety rules. We aim to explore solutions very early in the autonomous system design …

… In Section VI we illustrate the proposed approach to an intelligent and autonomous vehicle
in the context of an European project [20]. Section VII concludes the paper by highlighting the …