Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Judith Przigoda"'
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33259f4ba5f715e41c218cc2329ffa9e
https://doi.org/10.1007/978-3-031-05814-1_5
https://doi.org/10.1007/978-3-031-05814-1_5
Publikováno v:
DATE
For centuries, block signaling has been the fundamental principle of today's railway systems to prevent trains from running into each other. But the corresponding infrastructure of physical blocks each requiring train detection methods is costly. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d28e7c7dc2db48e12adc8bcb1e17b8d7
https://doi.org/10.23919/date51398.2021.9473935
https://doi.org/10.23919/date51398.2021.9473935
Publikováno v:
ISMVL
The Unified Modeling Language (UML) together with the Object Constraint Language (OCL) are the description means for modeling and specifying, e. g., software systems in early stages of the design. They allow to define components, their relations, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f10bf5f311e03e2b17cf4d0c43fc975
https://doi.org/10.1109/ismvl.2019.00019
https://doi.org/10.1109/ismvl.2019.00019
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::646e5c75f49b674ad549950bc36808b0
https://doi.org/10.1007/978-3-319-72814-8_5
https://doi.org/10.1007/978-3-319-72814-8_5
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cfb783245bccea0d3b04f4d302c10003
https://doi.org/10.1007/978-3-319-72814-8_4
https://doi.org/10.1007/978-3-319-72814-8_4
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62c274234d42478086876ef7882d37a2
https://doi.org/10.1007/978-3-319-72814-8_9
https://doi.org/10.1007/978-3-319-72814-8_9
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Utilizing all the methods introduced in the previous chapters allows for automatically conducting various validation and verification tasks using the UML/OCL model of the system. However, once the design process enters the next stage (e.g., the imple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37994a5f7527c586f6d24187f5c30293
https://doi.org/10.1007/978-3-319-72814-8_8
https://doi.org/10.1007/978-3-319-72814-8_8
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bb241784c7ebe01b91d4a84fd9738b89
https://doi.org/10.1007/978-3-319-72814-8_1
https://doi.org/10.1007/978-3-319-72814-8_1
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
In this chapter, we present a symbolic formulation representing all system states of a given UML/OCL model. We thereby do not only consider the usually assumed 2-valued logic, but also a 4-valued logic which additionally can handle null and invalid.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59917307620ab2882b34128761fa093d
https://doi.org/10.1007/978-3-319-72814-8_3
https://doi.org/10.1007/978-3-319-72814-8_3
Publikováno v:
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers ISBN: 9783319728131
The formalization and actual implementation of UML/OCL offers great opportunities for analyzing and solving verification and validation problems during system design. Moreover, the solutions for this purpose introduced in the previous chapters are ra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a8c228ea1527161c1c3edff8fb6408b
https://doi.org/10.1007/978-3-319-72814-8_7
https://doi.org/10.1007/978-3-319-72814-8_7