Verify Model Using Simulink Control Design and Simulink Verification Blocks (accessed 19/02/2019).
89.5https://mathworks.com/help/slcontrol/ug/model-verification-using-simulink-control-design-and-simulink-verification-blocks-.html.
S. B. Akers (1978):
Binary Decision Diagrams.
IEEE Transactions Computers 27(6),
pp. 509–516,
doi:10.1109/TC.1978.1675141.
R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii, A. Pardo & F. Somenzi (1997):
Algebraic Decision Diagrams and Their Applications.
Formal Methods in System Design 10(2/3),
pp. 171–206,
doi:10.1023/A:1008699807402.
C. Baier & C. Dubslaff (2018):
From Verification to Synthesis under Cost-Utility Constraints.
ACM SIGLOG News 5(4),
pp. 26–46,
doi:10.1145/3292048.3292052.
C. Baier & J.-P. Katoen (2008):
Principles of Model Checking.
MIT Press.
R. E. Bryant (1986):
Graph-Based Algorithms for Boolean Function Manipulation.
IEEE Transactions on Computers 35,
pp. 677–691,
doi:10.1109/TC.1986.1676819.
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill & L. J. Hwang (1992):
Symbolic Model Checking: 10^20 States and Beyond.
Inform. and Comp. 98(2),
pp. 142–170,
doi:10.1016/0890-5401(92)90017-A.
P. Chrszon, C. Dubslaff, S. Klüppelholz & C. Baier (2018):
ProFeat: feature-oriented engineering for family-based probabilistic model checking.
Formal Aspects of Computing 30(1),
pp. 45–75,
doi:10.1007/s00165-017-0432-4.
E. Clarke, O. Grumberg & D. Peled (2000):
Model Checking.
MIT Press.
E. M. Clarke, M. Fujita, P. C. McGeers, K. L. McMillan, J. C.-Y. Yang & X.-J. Zhao (1993):
Multi-terminal binary decision diagrams: An efficient data structure for matrix representation.
In: Proc. International Workshop on Logic & Synthesis,
doi:10.1023/A:1008647823331.
A. Classen, P. Heymans, P.-Y. Schobbens & A. Legay (2011):
Symbolic model checking of software product lines.
In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011,
pp. 321–330,
doi:10.1145/1985793.1985838.
C. Dehnert, S. Junges, J.-P. Katoen & M. Volk (2017):
A Storm is Coming: A Modern Probabilistic Model Checker.
In: 29th Int. Conf. on Computer Aided Verification (CAV),
LNCS 10427.
Springer,
pp. 592–600,
doi:10.1007/978-3-319-63390-9_31.
E. W. Dijkstra (1975):
Guarded Commands, Nondeterminacy and Formal Derivation of Programs.
Commun. ACM 18(8),
pp. 453–457,
doi:10.1145/360933.360975.
C. Dubslaff, C. Baier & S. Klüppelholz (2015):
Probabilistic Model Checking for Feature-Oriented Systems.
Transactions on Aspect-Oriented Software Development 12,
pp. 180–220,
doi:10.1007/978-3-662-46734-3_5.
C. Dubslaff, K. Ding, A. Morozov, C. Baier & K. Janschek (2019):
Breaking the Limits of Redundancy Systems Analysis.
In: Proceedings of the 29th European Safety and Reliability Conference.
Research Publishing, Singapore,
pp. 2317–2325,
doi:10.3850/978-981-11-2724-3_0618-cd.
C. Dubslaff, A. Morozov, C. Baier & K. Janschek (2020):
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis.
CoRR abs/2004.06637.
Available at https://arxiv.org/abs/2004.06637.
E. Felt, G. York, R. Brayton & A. Sangiovanni-Vincentelli (1993):
Dynamic variable reordering for BDD minimization.
In: Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference,
pp. 130–135,
doi:10.1109/EURDAC.1993.410627.
M. Fujita, P.C. McGeer & J.C.-Y. Yang (1997):
Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation.
Formal Methods in System Design 10(2-3),
pp. 149–169,
doi:10.1023/A:1008647823331.
H. Garavel & W. Serwe (2006):
State space reduction for process algebra specifications.
Theoretical Computer Science 351(2),
pp. 131 – 145,
doi:10.1016/j.tcs.2005.09.064.
Algebraic Methodology and Software Technology.
M. R. Garey & D. S. Johnson (1979):
Computers and Intractability: A Guide to the Theory of NP-Completeness.
W. H. Freeman & Company.
J. Klein, C. Baier, P. Chrszon, M. Daum, C. Dubslaff, S. Klüppelholz, S. Märcker & D. Müller (2018):
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.
Intern. Journal on Software Tools for Technology Transfer 20(2),
pp. 179–194,
doi:10.1007/s10009-017-0456-3.
M. Kwiatkowska, G. Norman & D. Parker (2011):
PRISM 4.0: Verification of Probabilistic Real-time Systems.
In: G. Gopalakrishnan & S. Qadeer: Proc. 23rd International Conference on Computer Aided Verification (CAV'11),
LNCS 6806.
Springer,
pp. 585–591,
doi:10.1007/978-3-642-22110-1_47.
C. Y. Lee (1959):
Representation of Switching Circuits by Binary-Decision Programs.
Bell System Technical Journal 38(4),
pp. 985–999,
doi:10.1002/j.1538-7305.1959.tb01585.x.
S. Malik, A.R. Wang, R.K. Brayton & A. Sangiovanni-Vincentelli (1988):
Logic verification using binary decision diagrams in a logic synthesis environment.
In: Computer-Aided Design, 1988. ICCAD-88. Digest of Technical Papers., IEEE International Conference on,
pp. 6–9,
doi:10.1109/ICCAD.1988.122451.
A. Morozov, K. Ding, M. Steurer & K. Janschek (2019):
OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience Analysis.
In: 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019,
pp. 303–312,
doi:10.1109/ISSRE.2019.00038.
A. Morozov, K. Janschek, T. Krüger & A. Schiele (2016):
Stochastic Error Propagation Analysis of Model-Driven Space Robotic Software Implemented in Simulink.
In: Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering,
MORSE '16.
Association for Computing Machinery,
New York, NY, USA,
pp. 24–31,
doi:10.1145/3022099.3022103.
S. Panda & F. Somenzi (1995):
Who Are the Variables in Your Neighborhood.
In: Proc. Computer-Aided Design (ICCAD'95).
IEEE,
pp. 74–77,
doi:10.5555/224841.224862.
R. Rudell (1993):
Dynamic variable ordering for ordered binary decision diagrams.
In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD-93).,
pp. 42–47,
doi:10.1109/ICCAD.1993.580029.
F. Somenzi (1999):
Binary Decision Diagrams.
In: Calculational System Design, volume 173 of NATO Science Series F: Computer and Systems Sciences.
IOS Press,
pp. 303–366.
The MathWorks Inc. (2018):
MATLAB and Statistics Toolbox Release 2018b,
Natick, Massachusetts, United States.
T. Thüm, S. Apel, C. Kästner, I. Schaefer & G. Saake (2014):
A Classification and Survey of Analysis Strategies for Software Product Lines.
ACM Comput. Surv. 47,
pp. 1–45,
doi:10.1145/2580950.
I. Wegener (2000):
Branching Programs and Binary Decision Diagrams: Theory and Applications.
Monographs on Discrete Mathematics and Applications. SIAM,
doi:10.1137/1.9780898719789.
eptcs@eptcs.org