Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Yuliya Prokhorova"'
Publikováno v:
Information and Software Technology. 60:51-76
Context Certification of safety–critical software systems requires submission of safety assurance documents, e.g., in the form of safety cases. A safety case is a justification argument used to show that a system is safe for a particular applicatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6950a89a6ef18f4030860122025d4c8a
https://doi.org/10.1016/j.infsof.2015.01.001
https://doi.org/10.1016/j.infsof.2015.01.001
Publikováno v:
ISSRE Workshops
In this paper, we present lessons learned from the EagleEye Time and Space Partitioning (TSP) project in which time and space partitioning was applied to the EagleEye reference mission of European Space Agency (ESA). We identify challenges in EagleEy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffd3ceb0acb8559dfadf060adbddd278
https://doi.org/10.1109/issrew.2016.49
https://doi.org/10.1109/issrew.2016.49
Publikováno v:
Dependable Software Engineering: Theories, Tools, and Applications ISBN: 9783319259413
SETTA
SETTA
Formal modelling and verification are widely used in the development of safety-critical systems. They aim at providing a mathematically-grounded argument about system safety. In particular, this argument can facilitate construction of a safety case -
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::444e8c8a986a7dbf6ed955b4bc0a20b3
https://doi.org/10.1007/978-3-319-25942-0_13
https://doi.org/10.1007/978-3-319-25942-0_13
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642407925
SAFECOMP
SAFECOMP
A large class of safety-critical control systems contains monitoring subsystems that display certain system parameters to (human) operators. Ensuring that the displayed data are sufficiently fresh and non-corrupted constitutes an important part of sa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa2c7e7c31484cfbe371298f07830c65
https://doi.org/10.1007/978-3-642-40793-2_6
https://doi.org/10.1007/978-3-642-40793-2_6
Autor:
Elena Troubitsyna, Yuliya Prokhorova
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642331756
SERENE
SERENE
Safety cases are adopted in the certification process of many safety-critical systems. They justify why a system is safe and whether the design adequately incorporates safety requirements defined in a system requirement specification. The use of form
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc177c64a93bd0c6e7acf7ba918602a2
https://doi.org/10.1007/978-3-642-33176-3_4
https://doi.org/10.1007/978-3-642-33176-3_4
Application of formal methods, in particular Event-B, helps us to verify the correctness of controlling software. However, to guarantee the dependability of software-intensive control systems, we also need to ensure that safety and fault tolerance re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d764739a3ea40f356b51fe1a773c5019
https://doi.org/10.4018/978-1-60960-747-0.ch005
https://doi.org/10.4018/978-1-60960-747-0.ch005
Publikováno v:
APSEC
Modes are widely used to structure the behaviour of control systems. For many such systems, derivation and verification of a mode logic is challenging due to a large number of modes and complex mode transitions. In this paper we propose an approach t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6fab3b87848da2a2583a67f5fb0f72ef
https://doi.org/10.1109/apsec.2011.38
https://doi.org/10.1109/apsec.2011.38
Publikováno v:
HASE
Failure Modes and Effects analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with valuable information about failure modes of system components as well as procedures for error detection and recovery. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7542d96c4f82004663eabd9b3369aa93
https://doi.org/10.1109/hase.2011.10
https://doi.org/10.1109/hase.2011.10
Autor:
Yuliya Prokhorova, Elena Troubitsyna
Publikováno v:
International Journal of Critical Computer-Based Systems. 4:93
Numerous model-driven and formal approaches have been proposed to facilitate development of complex critical systems. To address safety concerns, these approaches incorporate safety analysis techniques at different stages of the system development pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fd78934b34336ac1f0f2ac740f811867
https://doi.org/10.1504/ijccbs.2013.056485
https://doi.org/10.1504/ijccbs.2013.056485
Publikováno v:
International Journal of Critical Computer-Based Systems. 3:305
Modes are widely used to structure the behaviour of control systems. However, derivation and verification of a mode logic for complex systems is challenging due to a large number of modes and intricate mode transitions. In this paper, we propose an a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6531f4507256f77375826488821bb8c7
https://doi.org/10.1504/ijccbs.2012.053206
https://doi.org/10.1504/ijccbs.2012.053206