Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/wiley/formal-verification-of-probabilistic-systemc-models-with-statistical-0qg0q4B3Pn
References (47)
-
B. Boyer, Kevin Corre, Axel Legay, Sean Sedwards (2013)
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library -
(2001)
Design Systems, Inc. -
Henry Chang, L. Cooke, M. Hunt, G. Martin, A. McNelly, Lee Todd (1999)
Surviving the SOC Revolution: A Guide to Platform-Based Design -
T. Williams (1983)
Probability and Statistics with Reliability, Queueing and Computer Science ApplicationsJournal of the Operational Research Society, 34
-
(2018)
Formal verification of probabilistic SystemC models with statistical model checking -
R. Lipsett, Carl Schaefer, C. Ussery (1989)
VHDL: hardware description and design -
M. Matsumoto, T. Nishimura (1998)
Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generatorACM Trans. Model. Comput. Simul., 8
-
D. Tabakov, Moshe Vardi (2012)
Automatic aspectization of systemC -
W. Hoeffding (1963)
Probability inequalities for sum of bounded random variables -
Axel Legay, Benoît Delahaye, S. Bensalem (2010)
Statistical Model Checking: An Overview -
J. Katoen, I. Zapreev, E. Hahn, H. Hermanns, D. Jansen (2009)
The Ins and Outs of the Probabilistic Model Checker MRMC2009 Sixth International Conference on the Quantitative Evaluation of Systems
-
F. Maraninchi, M. Moy, J. Cornet, L. Maillet-Contoz, C. Helmstetter, Claus Traulsen (2008)
SystemC/TLM semantics for heterogeneous system-on-chip validation2008 Joint 6th International IEEE Northeast Workshop on Circuits and Systems and TAISA Conference
-
T. Grotker (2002)
System Design with SystemC -
(1987)
and et al -
K. Larsen, P. Pettersson, W. Yi (1997)
Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1
-
Sumit Jha, E. Clarke, C. Langmead, Axel Legay, André Platzer, P. Zuliani (2009)
A Bayesian Approach to Model Checking Biological Systems -
E. Clarke, Alexandre Donzé, Axel Legay (2009)
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator -
Frank Ciesinski, Marcus Größer (2004)
On Probabilistic Computation Tree Logic -
Doron Bustan, S. Rubin, Moshe Vardi (2004)
Verifying omega-Regular Properties of Markov Chains -
Accellera -
(2001)
TestBuilder user guide -
Naiju Zeng, Wenhui Zhang (2014)
A Symbolic Partial Order Method for Verifying SystemC2014 21st Asia-Pacific Software Engineering Conference, 1
-
M. Marsan, M. Gerla (1982)
Markov Models for Multiple Bus Multiprocessor SystemsIEEE Transactions on Computers, C-31
-
J. Muppala, G. Ciardo, Kishor Trivedi (1996)
Stochastic Reward Nets for Reliability Prediction -
A. Goyal, S. Lavenberg, Kishor Trivedi (1987)
Probabilistic modeling of computer system availabilityAnnals of Operations Research, 8
-
Huibiao Zhu, J. He, S. Qin, P. Brooke (2014)
Denotational semantics and its algebraic derivation for an event-driven system-level languageFormal Aspects of Computing, 27
-
A. Braun, J. Gerlach, W. Rosenstiel (2002)
Checking temporal properties in SystemC specificationsSeventh IEEE International High-Level Design Validation and Test Workshop, 2002.
-
Jürgen Ruf, D. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiel, W. Müller (2001)
The simulation semantics of SystemCProceedings Design, Automation and Test in Europe. Conference and Exhibition 2001
-
Håkan Younes (2005)
Ymer: A Statistical Model Checker -
Håkan Younes, R. Simmons (2006)
Statistical probabilistic model checking with a focus on time-bounded propertiesInf. Comput., 204
-
Koushik Sen, Mahesh Viswanathan, G. Agha (2005)
VESTA: A statistical model-checker and analyzer for probabilistic systemsSecond International Conference on the Quantitative Evaluation of Systems (QEST'05)
-
J. Rutten, M. Kwiatkowska, G. Norman, D. Parker, P. Panangaden (2004)
Mathematical techniques for analyzing concurrent and probabilistic systems, 23
-
Kishor Trivedi (1984)
Probability and Statistics with Reliability, Queuing, and Computer Science Applications -
H. Hermanns, Björn Wachter, Lijun Zhang (2008)
Probabilistic CEGAR -
Naiju Zeng, Wenhui Zhang (2013)
A SystemC Semantics in Guarded Assignment Systems and Its Applications with VERDS2013 20th Asia-Pacific Software Engineering Conference (APSEC), 1
-
Andrew Hinton, M. Kwiatkowska, G. Norman, D. Parker (2006)
PRISM: A Tool for Automatic Verification of Probabilistic Systems -
D. Tabakov, Moshe Vardi (2010)
Monitoring temporal SystemC propertiesEighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)
-
V. Ngo, Axel Legay, V. Joloboff (2016)
PSCV: A Runtime Verification Tool for Probabilistic SystemC Models -
M. Kwiatkowska, G. Norman, D. Parker (2004)
Controller Dependability Analysis by Probabilistic Model CheckingControl Engineering Practice, 15
-
V. Ngo, Axel Legay, J. Quilbeuf (2016)
Statistical Model Checking for SystemC Models2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)
-
A. Gal, Wolfgang Schröder-Preikschat, O. Spinczyk (2001)
AspectC++: Language Proposal and Prototype Implementation -
D. Thomas, P. Moorby (1990)
The Verilog® Hardware Description Language -
Håkan Younes, R. Simmons (2004)
Verification and planning for stochastic processes with asynchronous events -
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Numerical vs. Statistical Probabilistic Model Checking ⋆ -
N. Fisher, P. Sen (1994)
Probability Inequalities for Sums of Bounded Random Variables -
Koushik Sen, Mahesh Viswanathan, G. Agha (2005)
On Statistical Model Checking of Stochastic Systems -
Paula Herber, Joachim Fellmuth, S. Glesner (2008)
Model checking SystemC designs using timed automata
- Publisher
- Wiley
- Copyright
- Copyright © 2018 John Wiley & Sons, Ltd.
- ISSN
- 2047-7473
- eISSN
- 2047-7481
- DOI
- 10.1002/smr.1890
- Publisher site
- See Article on Publisher Site
Abstract
Transaction‐level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high‐level executable models, in which many of them have inherent probabilistic behaviors, eg, random data and unreliable components. It is thus crucial to have both quantitative and qualitative analysis of the probabilities of system properties.
Journal
Journal of Software: Evolution and Process – Wiley
Published: Jan 1, 2018
Keywords: ; ; ; ;