Panacea 发表于 2025-3-23 13:00:39

http://reply.papertrans.cn/27/2658/265707/265707_11.png

Melanocytes 发表于 2025-3-23 14:41:04

http://reply.papertrans.cn/27/2658/265707/265707_12.png

Ledger 发表于 2025-3-23 21:22:34

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

词汇表 发表于 2025-3-24 00:50:05

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

主讲人 发表于 2025-3-24 05:13:38

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

娴熟 发表于 2025-3-24 07:20:28

http://reply.papertrans.cn/27/2658/265707/265707_16.png

指令 发表于 2025-3-24 13:37:30

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 发表于 2025-3-24 16:43:15

http://reply.papertrans.cn/27/2658/265707/265707_18.png

Barter 发表于 2025-3-24 19:42:38

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

勾引 发表于 2025-3-24 23:54:05

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
页: 1 [2] 3 4 5 6
查看完整版本: Titlebook: Dependable Computing - EDCC 2020 Workshops; AI4RAILS, DREAMS, DS Simona Bernardi,Valeria Vittorini,Paolo Masci Conference proceedings 2020