40,530 Hits in 3.5 sec

Probabilistic Contracts for Component-Based Design [chapter]

Dana N. Xu, Gregor Gössler, Alain Girault
2010 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-15643-4_24 fatcat:cusmxv7hc5dszdtqr63tquf6fy

Probabilistic contracts for component-based design

Gregor Gössler, Dana N. Xu, Alain Girault
2012 Formal methods in system design  
doi:10.1007/s10703-012-0162-4 fatcat:beodzgzwcze23c4lktauvk23j4

Page 174 of American Society of Civil Engineers. Collected Journals Vol. 14, Issue 4 [page]

2001 American Society of Civil Engineers. Collected Journals  
NASA Contract Rep., Washing ton, D.C Sues, R. H., Oakley, D. R., and Rhodes, G. S. (1996a). ““A multi-loop strategy for performance-based optimization with probabilistic con straints.” Proc., Spec.  ...  The contract technical monitor for the current work is Dr. W. Jefferson Stroud. The contract technical monitor for the earlier work was Jeff Brown.  ... 

A Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems [chapter]

DeJiu Chen, Zhonghai Lu
2017 Lecture Notes in Computer Science  
, design or operation anomalies.  ...  To justify the actions for quality-of-service adaptation and safety assurance, it is fundamental to perceive the uncertainties of system components in operation, which are caused by emergent properties  ...  Fig. 1 . 1 The overall methodology for a model-based contract and service for self-managed system service and components.  ... 
doi:10.1007/978-3-319-64119-5_15 fatcat:xgiribiqebdcfayts2rlmzdruu

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts [article]

Benoît Delahaye
2008 arXiv   pre-print
In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism.  ...  For the sake of generality, we assume that the extended state machines used in the contracts and implementations define sets of runs on a given set of variables, that compose by intersection over the common  ...  Contracts allow to distinguish hypotheses on a component from hypotheses made on its environment. Contracts are central to component based design methodologies.  ... 
arXiv:0811.1151v1 fatcat:lwiexjywcjclvii6nveoqbmxpm

Probabilistic structural analysis methods for space propulsion system components

Christos C. Chamis
1987 Probabilistic Engineering Mechanics  
NASA Lewis Research Center is currently developing probabilistic structural analysis methods for select SSME structural components.  ...  One contract (NASA contract NAS3-24382) is for the development of composite load spectra.  ...  Furthermore the attachment of the components to the structural system generally differs by some indeterminant degree from that which was assumed for designing the component.  ... 
doi:10.1016/0266-8920(87)90021-x fatcat:exv66mphavardbq5m77odqflxq

COMPASS 3.0 [chapter]

Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
2019 Lecture Notes in Computer Science  
New features include Timed Failure Propagation Graphs, contract-based analysis, hierarchical fault tree generation, probabilistic analysis of non-deterministic models and statistical model checking.  ...  COrrectness, Modeling and Performance of AeroSpace Systems) is an international research effort aiming to ensure system-level correctness, safety, dependability and performability of onboard computer-based  ...  The first one was targeting at the Preliminary Design Review stage of a satellite's design [17] . The study lasted for six months and encompassed a model of about 90 components.  ... 
doi:10.1007/978-3-030-17462-0_25 fatcat:whgtgnwptfa5xo7lokmhctbn6m

Introducing Probabilities in Contract-Based Approaches for Mobile Application Security [chapter]

Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2014 Lecture Notes in Computer Science  
write probabilistic contracts and policies.  ...  In this paper we discuss how to introduce probabilistic clauses into the Securityby-Contract and the Security-by-Contract-with-Trust frameworks, revising the main building blocks and providing tools to  ...  Android is an app-based mobile operative system: it allows users to download and install applications specifically designed for Android devices.  ... 
doi:10.1007/978-3-642-54568-9_18 fatcat:7jnaeoqjifbnphksr332zjqsmu

Compositional Verification of Architectural Models [chapter]

Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen, Brian LaValley, Lui Sha
2012 Lecture Notes in Computer Science  
design problems • Reuse of formally verified solutions • Increase level of design abstraction 2 Compositional verification • Reason about system behavior based on contracts and system design  ...  Principled mechanism for "passing the buck" 15 Compositional behavior verification • Given -Assumptions for system -Assumptions/Guarantees for components (A, P) • Prove -System guarantees  ... 
doi:10.1007/978-3-642-28891-3_13 fatcat:zceb7xmcvfcofmns7rfpjln2wy

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems

Ivan Ruchkin, Ashwini Rao, Dionisio De Niz, Sagar Chaki, David Garlan
2015 Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy - CPS-SPC '15  
Many of the standard methods for CPS design make strong and unverified assumptions about the trustworthiness of physical devices, such as sensors.  ...  In this paper we use formal specification of analysis contracts to expose security assumptions and guarantees of analyses from reliability, control, and sensor security domains.  ...  This material is based upon work funded and supported by the Department of Defense under Contract No.  ... 
doi:10.1145/2808705.2808714 dblp:conf/ccs/RuchkinRNCG15 fatcat:57jbfhiwabbafjbv7y6kll63fi

Monitoring probabilistic SLAs in Web service orchestrations

Sidney Rosario, Albert Benveniste, Claude Jard
2009 2009 IFIP/IEEE International Symposium on Integrated Network Management  
In a previous work we have advocated using soft contracts of probabilistic nature, for the QoS part of contracts.  ...  In this paper we propose a statistical technique for QoS contract run time monitoring. Our technique is compatible with the use of soft probabilistic contracts.  ...  Using probabilistic contracts for the contracted sub-services, in combination with measurements based QoS estimates for the others, it is possible to synthesize the probabilistic contract of the overall  ... 
doi:10.1109/inm.2009.5188851 dblp:conf/im/RosarioBJ09 fatcat:vlfwktgtdjb5femv2o7apm27jy

Enforcing Mobile Application Security Through Probabilistic Contracts

Fabio Martinelli, Ilaria Matteucci, Andrea Saracino, Daniele Sgandurra
2014 Engineering Secure Software and Systems  
Later, we present a probabilistic version of the Security-by-Contract framework to guarantee probabilistic security requirements.  ...  Security for mobile devices is a problem of capital importance, especially due to new threats coming from malicious applications.  ...  Contract-based Approaches Contract-based approaches have been developed for mobile devices, such as the Securityby-Contract [1] (S×C) and the Security-by-Contract-with-Trust [2, 3] (S×C×T) frameworks  ... 
dblp:conf/essos/MartinelliMSS14 fatcat:xtjjtzsbubfnrjfofbgrrwvapq

On Probabilistic Application Compliance

Antonio La Marra, Fabio Martinelli, Andrea Saracino, Alessandro Aldini
2016 2016 IEEE Trustcom/BigDataSE/ISPA  
With these objectives in view, in this paper we define a probabilistic extension of the Security-by-Contract model, and we show its impact in realworld scenarios through the analysis of several practical  ...  The Security-by-Contract is a paradigm developed to offer a secure environment in which mobile applications can be executed by respecting the security policies of interest.  ...  We then recall the Security-By-Contract model and put the base for a probabilistic extension of such a model (Section III).  ... 
doi:10.1109/trustcom.2016.0283 dblp:conf/trustcom/MarraMSA16 fatcat:ldk4auwfjjeilmanuyjxfln4wm

Page 270 of American Ceramic Society Bulletin Vol. 63, Issue 2 [page]

1984 American Ceramic Society Bulletin  
The calcu- lated reliability of ceramics is based on probabilistic theories — which means there is always some chance of failure — as opposed to metal designs, which are often designed to “not fail.”  ...  The conceptual design of ceramic components also is simi- lar to that for metals, but a wider variation in the design may exist due to a wider variation in the possible material properties.  ... 

Reasoning about QoS Contracts in the Probabilistic Duration Calculus

Dimitar P. Guelev, Dang Van Hung
2010 Electronical Notes in Theoretical Computer Science  
A contract theory for components based on the notion of design from [12] has been proposed in [13, 14] and has become known as the rCOS model.  ...  The notion of contract was introduced to component-based software development in order to facilitate the semantically correct composition of components.  ...  The tuple C = D m : m ∈ M i ∪ M e is a contract for M i , M e , if D m are of the form P m , R m , F m where (i) P m , R m is a (non-probabilistic) design for m, m ∈ M i ∪ M e .  ... 
doi:10.1016/j.entcs.2010.06.004 fatcat:7hlnh6is2na3rn4jglrtfjfrz4
« Previous Showing results 1 — 15 out of 40,530 results