Titlebook: Computer Safety, Reliability, and Security; 33rd International C Andrea Bondavalli,Felicita Di Giandomenico Conference proceedings 2014 Spr

Clique

书目名称Computer Safety, Reliability, and Security影响因子(影响力)




书目名称Computer Safety, Reliability, and Security影响因子(影响力)学科排名




书目名称Computer Safety, Reliability, and Security网络公开度




书目名称Computer Safety, Reliability, and Security网络公开度学科排名




书目名称Computer Safety, Reliability, and Security被引频次




书目名称Computer Safety, Reliability, and Security被引频次学科排名




书目名称Computer Safety, Reliability, and Security年度引用




书目名称Computer Safety, Reliability, and Security年度引用学科排名




书目名称Computer Safety, Reliability, and Security读者反馈




书目名称Computer Safety, Reliability, and Security读者反馈学科排名

碎石头

The Business of iPhone App Developmentthe argument-fragment architecture and rules for automatic generation, including their application in an illustrative example. The proposed approach enables safety engineers to focus on increasing the confidence in the knowledge about the system, rather than documenting a safety case.

Jejune

Increasing Awareness for Your iPhone App, system, we demonstrate: first, how expert knowledge of the functional safety domain can be captured, second, how the tedious and error prone task of manually implementing safety mechanisms can be automated, and third, how this serves as a basis for formal safety argumentation.

sorbitol

Making Implicit Safety Requirements Explicittion mechanism fulfills these requirements. A model-based testing approach has been used to test the software implementing such protection mechanism. The model used for testing has been model checked against the contract specification ensuring that the system-level safety requirements are met.

hieroglyphic

老巫婆

老巫婆

小争吵

The Business of iPhone App Developmentification effort in the presence of change. In this paper we describe how a modular assurance case can be established based upon formal analysis of the necessary preconditions of the component. Our approach supports the reuse of arguments and evidence established for components, including the results of the formal analysis.

convert

Increasing Awareness for Your iPhone App,security of distributed systems. In this work, a trust-based approach is discussed to make WSNs tolerant against attacks targeting their routing layer. We show how such attacks are tolerated with low overhead in comparison to unprotected systems. Preliminary experimental results are presented confirming the validity of the proposed approach.

Kidney-Failure

Assurance Cases for Block-Configurable Softwareification effort in the presence of change. In this paper we describe how a modular assurance case can be established based upon formal analysis of the necessary preconditions of the component. Our approach supports the reuse of arguments and evidence established for components, including the results of the formal analysis.