Zobrazeno 1 - 10
of 107
pro vyhledávání: '"Jan, Peleska"'
Publikováno v:
Peleska, J, Krafczyk, N, Haxthausen, A E & Pinger, R 2021, ' Efficient data validation for geographical interlocking systems ', Formal Aspects of Computing . https://doi.org/10.1007/s00165-021-00551-6
In this paper, an efficient approach to data validation of distributed geographical interlocking systems (IXLs) is presented. In the distributed IXL paradigm, track elements are controlled by local computers communicating with other control component
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::69fc3956eb43b30115d848c24026a420
https://doi.org/10.1007/s00165-021-00551-6
https://doi.org/10.1007/s00165-021-00551-6
Autor:
Jan Peleska
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 111, Iss Proc. MBT 2013, Pp 3-28 (2013)
As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants that - according to our experience - are currently applied in practice, with special emphasis on the avionic, railway an
Externí odkaz:
https://doaj.org/article/0d2f197d153f48a295b429aa9f1faa2b
Autor:
Robert Sachtleben, Jan Peleska
Publikováno v:
Software Testing, Verification and Reliability. 32
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e45801f7cf1f1d4a43d80d5f14fe6992
https://doi.org/10.1002/stvr.1806
https://doi.org/10.1002/stvr.1806
Publikováno v:
Testing Software and Systems ISBN: 9783031046728
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd994bebef268da64b5b34526b784a1f
https://doi.org/10.1007/978-3-031-04673-5_1
https://doi.org/10.1007/978-3-031-04673-5_1
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031197611
In this paper, we review software-based technologies already known to be, or expected to become essential for autonomous train control systems with grade of automation GoA 4 (unattended train operation) in existing open railway environments. It is di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d261a62cccb2bf14d765ea9bc488e17c
https://doi.org/10.1007/978-3-031-19762-8_22
https://doi.org/10.1007/978-3-031-19762-8_22
Publikováno v:
Science of Computer Programming. 226:102930
Cyber-physical systems, such as learning robots and other autonomous systems, employ high-integrity software in their safety-critical control. This software is developed using a range of tools some of which need to be qualified for this purpose accor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47bf9bef864378081b445ee97dc8f555
https://doi.org/10.1016/j.scico.2023.102930
https://doi.org/10.1016/j.scico.2023.102930
Autor:
Tatiana Mangels, Jan Peleska
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 102, Iss Proc. SSV 2012, Pp 88-102 (2012)
We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage and functional coverage based on pre-/post-condition specifications or internal assertions. The generator supports automated stub generation, an
Externí odkaz:
https://doaj.org/article/c4c190b3923247a193cb017356be7ff7
Autor:
Jan Peleska
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 349
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d101a2b4c3c95fa961388d291246c007
https://doi.org/10.4204/eptcs.349.0.1
https://doi.org/10.4204/eptcs.349.0.1
Publikováno v:
Science of Computer Programming. 179:1-23
In this paper, new contributions for model-based testing using Communicating Sequential Processes (CSP) are presented. For a finite non-terminating CSP process representing the reference model, finite test suites for checking the conformance relation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::97ad6d30878d195428ae5e888ac9cd54
https://doi.org/10.1016/j.scico.2019.04.004
https://doi.org/10.1016/j.scico.2019.04.004