524 search results - page 8 / 105 » ProbFAST: Probabilistic Functional Analysis System Tool |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
103
click to vote
IFM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
TSMC
2008
14 years 11 months ago
2008
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...
CHI
1998
ACM
15 years 4 months ago
1998
ACM
The Cognitive Function Analysis is a methodology supportedby a mediating tool for the human-centered automationof safety-critical systems[4]. It is basedon a socio-cognitive model...
124
click to vote
LICS
1998
IEEE
15 years 3 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...