Titlebook: Dependable Computing - EDCC 2020 Workshops; AI4RAILS, DREAMS, DS Simona Bernardi,Valeria Vittorini,Paolo Masci Conference proceedings 2020

Panacea

Melanocytes

Ledger

George Leitmann,Henry Y. Wan Jr.between these. Ensuring continued safety for adaptive SoS is challenging, because either the multitude of relevant configurations must be assessed at design time, or assessment must done dynamically at run time. The concepts of Modular Safety Cases (MSC) and Dynamic Safety Cases (DSC) might form par

詞匯表

Andreas Schaefer,Alexia Prskawetzcomplying with regulatory requirements and maintaining an high level of interoperability among heterogeneous components. In this paper, we provide a goal-based methodology to ensure the fulfillment of the relevant security goals at design time. The methodology enables system architects to devise an

主講人

Building the Model and Reportinges repeated patterns or templates. The Template Models Description Language (TMDL) has been developed to clearly define model templates that are used to generate model instances from the template specification. This paper describes the tool support that is being developed for applying the TDML appro

嫻熟

指令

Building the Model and Reportingce in such environments is an increasingly critical aspect, especially in terms of fault recovery, as containerization-based microservices are becoming the de facto standard for soft real-time and cyber-physical workloads in edge computing..The Worst Case Execution Time (WCET) of platform-supported

Servile

Barter

978-3-030-58461-0Springer Nature Switzerland AG 2020

勾引

Safe Recognition A.I. of a Railway Signal by On-Board Cameraasks in different industry domains. In this article, we develop the blocking points that arise for the adoption of A.I. technologies for functions involving safety. We remind the useful elements for a safety demonstration, and for the definition of tests or simulations which bring complements to thi