Model-Based Testing of Safety Critical Real-Time Control Logic Software

Model-Based Testing of Safety Critical Real-Time Control Logic Software

The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally,...

Full description

Bibliographic Details
Main Authors: Yevgeny Gerlits, Alexey Khoroshilov
Format: Article
Language:English
Published: Open Publishing Association 2012-02-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1202.6127v1
id doaj-dd0eebc1ebd64235923c635eeedb64e0
record_format Article
spelling doaj-dd0eebc1ebd64235923c635eeedb64e02020-11-25T01:12:58ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-02-0180Proc. MBT 201213014410.4204/EPTCS.80.10Model-Based Testing of Safety Critical Real-Time Control Logic SoftwareYevgeny GerlitsAlexey KhoroshilovThe paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it.http://arxiv.org/pdf/1202.6127v1
collection DOAJ
language English
format Article
sources DOAJ
author Yevgeny Gerlits
Alexey Khoroshilov
spellingShingle Yevgeny Gerlits
Alexey Khoroshilov
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Electronic Proceedings in Theoretical Computer Science
author_facet Yevgeny Gerlits
Alexey Khoroshilov
author_sort Yevgeny Gerlits
title Model-Based Testing of Safety Critical Real-Time Control Logic Software
title_short Model-Based Testing of Safety Critical Real-Time Control Logic Software
title_full Model-Based Testing of Safety Critical Real-Time Control Logic Software
title_fullStr Model-Based Testing of Safety Critical Real-Time Control Logic Software
title_full_unstemmed Model-Based Testing of Safety Critical Real-Time Control Logic Software
title_sort model-based testing of safety critical real-time control logic software
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2012-02-01
description The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it.
url http://arxiv.org/pdf/1202.6127v1
work_keys_str_mv AT yevgenygerlits modelbasedtestingofsafetycriticalrealtimecontrollogicsoftware
AT alexeykhoroshilov modelbasedtestingofsafetycriticalrealtimecontrollogicsoftware
_version_ 1725163963888435200

Similar Items