Filters








3,709 Hits in 6.9 sec

Test case generation using stochastic automata networks: quantitative analysis

C. Bertolini, A.G. Farina, P. Fernandes, F.M. Oliveira
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.  
We have been working on the use of a more sophisticated discrete state formalism: Stochastic Automata Networks (SAN).  ...  We present a description of SAN formalism, as well as quantitative analysis of the modeling examples considering the generation time, quality of the test suites.  ...  Stochastic Automata Networks Stochastic Automata Networks (SAN) formalism was proposed by Plateau [3] .  ... 
doi:10.1109/sefm.2004.1347529 fatcat:ggto6syie5gjlctoblueuh7scu

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis [chapter]

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012 Lecture Notes in Computer Science  
We perform statistical quantitative analysis based on repeated discrete-event simulations in Maude.  ...  Wireless sensor networks (WSNs) consist of resource-constrained nodes; especially with respect to power. In most cases, the replacement of a dead node is difficult and costly.  ...  Furthermore we use a statistical method for quantitative analysis of Maude models, which provides useful data sets and graphs for network analysis and performance evaluation of protocols.  ... 
doi:10.1007/978-3-642-30729-4_11 fatcat:ub5pmwmdwvfnhnrp2u6mhb4ycm

Efficient Analysis and Synthesis of Complex Quantitative Systems [article]

Peter Gjøl Jensen
2018 PhD series, Technical Faculty of IT and Design, ˜Aalborg=ålborgœ University  
We also present a case-study using externally defined components, such as an ARM-processor emulator, in a classical model checking context. iii Resumé Fra toastere til rumstationer har computerbaseret  ...  To increase the applicability of synthesis, we present a semi-algorithm for parameter synthesis for Timed Automata, extendable to more expressive formalisms.  ...  Semantics We shall here describe the semantics of Timed Automata (TA), Network Of Timed Automata (NTA), Stochastic Timed Automata (STA) and Function Mockup Units (FMUs).  ... 
doi:10.5278/vbn.phd.tech.00043 fatcat:fq4x5hnl5rgdzdtolcimzbonxm

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems

M. Bozga, A. David, A. Hartmanns, H. Hermanns, K. G. Larsen, A. Legay, J. Tretmans
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
We will first survey UPPAAL and MODEST, two tools capable of dealing with both timed and stochastic aspects. Then, we will overview the BIP framework for modular design and code generation.  ...  Finally, model-based testing will be discussed.  ...  I.e. based on a stochastic semantics of networks of timed automata, properties are settled with a desired level of confidence based on random simulation runs. A.  ... 
doi:10.1109/date.2012.6176499 dblp:conf/date/BozgaDHHLLT12 fatcat:jhl5e4fo7neupgnapdhd2eitfa

Image-Based Quantitative Analysis of Gold Immunochromatographic Strip via Cellular Neural Network Approach

Nianyin Zeng, Zidong Wang, Bachar Zineddin, Yurong Li, Min Du, Liang Xiao, Xiaohui Liu, Terry Young
2014 IEEE Transactions on Medical Imaging  
Then, the test line and control line of the GICS reading-window are segmented by the cellular neural network (CNN) algorithm, where the template parameters of the CNN are designed by the switching particle  ...  This paper aims to develop a method for accurately segmenting the test line and control line of the gold immunochromatographic strip (GICS) image for quantitatively determining the trace concentrations  ...  The general idea of CNN is to combine the architecture of cellular automata with neural networks.  ... 
doi:10.1109/tmi.2014.2305394 pmid:24770917 fatcat:n2ryknlblbgc5kcfcnc5hxx26a

A quantitative methodology based on component analysis to identify key users in social networks

Claudia Canali, Riccardo Lancellotti
2012 International Journal of Social Network Mining  
Reference to this paper should be made as follows: Canali, C. and Lancellotti, R. (2012) 'A quantitative methodology based on component analysis to identify key users in social networks', Int.  ...  We develop a quantitative methodology based on the principal component analysis. Experiments on the YouTube and Flickr networks demonstrate that our solution outperforms existing solutions by 15%.  ...  automata.  ... 
doi:10.1504/ijsnm.2012.045104 fatcat:4tkvwnqncjaivesris7cuiavai

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models [chapter]

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
2019 Msphere  
Quantitative formal models capture probabilistic behaviour, real-time aspects, or general continuous dynamics.  ...  It focuses on stochastic formalisms from Markov chains to probabilistic timed automata specified in the Jani model exchange format, and on probabilistic reachability, expected-reward, and steady-state  ...  SHA stochastic hybrid automata [28] PHA probabilistic hybrid automata [ 70] STA stochastic timed automata [9] HA hybrid automata PTA probabilistic timed automata [ 59] MA Markov automata [25  ... 
doi:10.1007/978-3-030-17502-3_5 fatcat:33o3wyfdlvbb5cwqc7npqalml4

Quantitative Methods for Ecological Network Analysis and Its Application to Coastal Ecosystems* [chapter]

R.E. Ulanowicz
2011 Treatise on Estuarine and Coastal Science  
Although network description elsewhere treats only simple graphs and digraphs, ecosystem theory has enjoyed a legacy of analyzing quantitative digraphs.  ...  In recent years, the description of system networks has been gaining in popularity as an alternative to conventional dynamical analysis.  ...  They used the link-density relationship to bridge quantitative network analysis with the more popular food-web analysis that deals only in binary networks.  ... 
doi:10.1016/b978-0-12-374711-2.00904-9 fatcat:xxzi4puk5bbd3c4dnybcnxzsxa

Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons

Carl Bergenhem, Karl Meinke, Fabian Ström
2018 Zenodo  
Empirical measurements from road testing of vehicle-to-vehicle communication in a platoon are modeled and used in our case study.  ...  In this paper, we present a general methodology to estimate safety related parameter values of cooperative cyber-physical system-of- systems.  ...  The work was partially performed in the Next Generation Electrical Architecture (NGEA) step2 project, funded by the Vinnova FFI-programme.  ... 
doi:10.5281/zenodo.2635772 fatcat:t57xydp4xbh5biwefnlflsiccy

Quantitative static analysis of distributed systems

ALESSANDRA Di PIERRO, CHRIS HANKIN, HERBERT WIKLICKY
2005 Journal of functional programming  
We introduce a quantitative approach to the analysis of distributed systems which relies on a linear operator based network semantics.  ...  The quantitative approach we present allows us to obtain additional information such as an estimation of the probability that some data is transmitted within a given interval of time.  ...  This leads to models like Stochastic Petri Nets (Bause & Kritzinger, 2002) , and continuous time Markov chains (Tijms, 1994; Norris, 1997) , and would resemble approaches used in performance analysis  ... 
doi:10.1017/s0956796805005599 fatcat:fbglkgqs5jaxvpdus65r66w24q

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris Johnson
2014 Quality and Reliability Engineering International  
The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties.  ...  Navigation satellites are a core component of navigation satellite based systems such as GPS, GLONASS and Galileo which provide location and timing information for a variety of uses.  ...  Testing is a dynamic verification technique that involves actually running software systems. Testing takes the system under analysis and uses inputs as tests.  ... 
doi:10.1002/qre.1754 fatcat:tdhleiautnaofp5xowlkey77ja

Quantitative Safety Analysis of a Coordinated Emergency Brake Protocol for Vehicle Platoons [chapter]

Carl Bergenhem, Karl Meinke, Fabian Ström
2018 Lecture Notes in Computer Science  
Empirical measurements from road testing of vehicle-to-vehicle communication in a platoon are modeled and used in our case study.  ...  In this paper, we present a general methodology to estimate safety related parameter values of cooperative cyber-physical system-ofsystems.  ...  The work was partially performed in the Next Generation Electrical Architecture (NGEA) step2 project, funded by the Vinnova FFI-programme.  ... 
doi:10.1007/978-3-030-03424-5_26 fatcat:6ys3bvbcgjg7jms2nbiys4tcga

Quantitative Analysis With the Probabilistic Model Checker PRISM

Marta Kwiatkowska, Gethin Norman, David Parker
2006 Electronical Notes in Theoretical Computer Science  
We demonstrate the usefulness of probabilistic model checking techniques in detecting flaws and unusual trends, focusing mainly on the quantitative analysis of a range of best, worst and average-case system  ...  We describe our experience with using PRISM to analyse a number of case studies from a wide range of application domains.  ...  Below, we select three case studies that illustrate different aspects of quantitative analysis with PRISM.  ... 
doi:10.1016/j.entcs.2005.10.030 fatcat:7noujqsojfezrfrbuwerfmgw2e

Anticipation and the Dynamics of Expectations [chapter]

Loet Leydesdorff
2021 Qualitative and Quantitative Analysis of Scientific and Scholarly Communication  
The reconstructions have the status of hypotheses; hypotheses can be tested against observations.  ...  ., in discourse analysis and scientometrics) or the behavior of agents (e.g., in the sociology of scientific knowledge) may inadvertedly lead to reification.  ...  Visualizations of Anticipations Using communications as units of analysis evolving in cellular automata, let me illustrate the operation of the three layers (A, B, and C) distinguished in Chap. 4 by elaborating  ... 
doi:10.1007/978-3-030-59951-5_8 fatcat:6kpii45gfnem3gjpclx7bdbnha

Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool

Gregorio Díaz, Hermenegilda Macià, Valentín Valero, Juan Boubeta-Puig, Guadalupe Ortiz
2019 Scientific Programming  
In this paper, we propose the use of the MEdit4CEP-CPN model-driven tool as a solution for conducting such quantitative analysis of events of interest for an application domain, without requiring knowledge  ...  However, one of the main challenges to be faced by CEP is how to define the quantitative analysis to be performed in response to the produced complex events.  ...  Additionally, CPN Tools have been used to make quantitative analysis of events produced for this case study.  ... 
doi:10.1155/2019/2604148 fatcat:4oycvwie4rgbjacfamkxf2aele
« Previous Showing results 1 — 15 out of 3,709 results