Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Dubravka Ilic"'
Autor:
Linas Laibinis, Alexei Iliasov, Timo Latvala, Kimmo Varpaaniemi, Elena Troubitsyna, Alexander Romanovsky, Dubravka Ilic
Publikováno v:
Science of Computer Programming. 78:884-905
One of the guarantees that the designers of on-board satellite systems need to provide, so as to ensure their dependability, is that the mode transition scheme is implemented correctly, i.e. that the states of system components are consistent with th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c1f1f3183fc27b7b8608bc8c747063e
https://doi.org/10.1016/j.scico.2012.04.010
https://doi.org/10.1016/j.scico.2012.04.010
Autor:
Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Timo Latvala, Dubravka Ilic, Elena Troubitsyna
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319454764
SAFECOMP
SAFECOMP
Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4feb88188914aa2898d511dc4f86f227
https://doi.org/10.1007/978-3-319-45477-1_17
https://doi.org/10.1007/978-3-319-45477-1_17
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
Publikováno v:
Industrial Deployment of System Engineering Methods ISBN: 9783642331695
Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods
The greatest challenges in space projects are ensuring traceability of system requirements throughout the development process and guaranteeing that they have been properly implemented, and that the overall system therefore complies with the standards
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a3dfca2a47ffdf44126aa02c3e030ee9
https://doi.org/10.1007/978-3-642-33170-1_5
https://doi.org/10.1007/978-3-642-33170-1_5
Autor:
Dubravka Ilic, Kimmo Varpaaniemi, Timo Latvala, Pauli Väisänen, Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642156502
SAFECOMP
SAFECOMP
Space satellites are examples of complex embedded systems. Dynamic behaviour of such systems is typically described in terms of operational modes that correspond to the different stages of a mission and states of the components. Components are suscep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73ce6a834736ce803e571c5c9f98b692
Autor:
Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander Romanovsky, Timo Latvala, Kimmo Varpaaniemi, Dubravka Ilic
Publikováno v:
Abstract State Machines, Alloy, B and Z ISBN: 9783642118104
ASM
ASM
Recently, Space Systems Finland has undertaken formal Event B development of a part of the on-board software for the BepiColombo space mission. As a result, lack of modularisation mechanisms in Event B has been identified as a serious obstacle to sca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b02e2e1ff4b7ef75abebcdd8e230cf5
https://doi.org/10.1007/978-3-642-11811-1_14
https://doi.org/10.1007/978-3-642-11811-1_14
Autor:
Alexei Iliasov, Alexander Romanovsky, Linas Laibinis, Kimmo Varpaaniemi, Dubravka Ilic, Elena Troubitsyna, Timo Latvala
Publikováno v:
Formal Methods for Industrial Critical Systems ISBN: 9783642158971
FMICS
FMICS
To ensure dependability of on-board satellite systems, the designers should, in particular, guarantee correct implementation of the mode transition scheme, i.e., ensure that the states of the system components are consistent with the global system mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c1b4d6c07a5a04b56ac239642c5ea99
Publikováno v:
ISoLA
Currently UML2 is widely used for modelling software-intensive systems. Model driven development of complex software typically starts from abstract, high-level UML2 models which specify the system from several different viewpoints. Abstract models ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4896d44971d78462a3ce50f964247b0
https://doi.org/10.1109/isola.2006.40
https://doi.org/10.1109/isola.2006.40
Autor:
Dubravka Ilic, Elena Troubitsyna
Publikováno v:
PRDC
Transient faults constitute a wide-spread class of faults typical in control systems. These are faults that appear for some time during system operation and might disappear and reappear later. However, even by appearing for a short time, they might c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d877ddd875e9a56b520abe3e70ae41d
https://doi.org/10.1109/prdc.2005.34
https://doi.org/10.1109/prdc.2005.34
Publikováno v:
Rigorous Development of Complex Fault-Tolerant Systems ISBN: 9783540482659
RODIN Book
RODIN Book
Transient faults belong to a wide-spread class of faults typical for control systems. These are the faults that only appear for a short period of time and might reappear later. However, even by appearing for a short time, they might cause dangerous s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37aa121a73452889f59ca1ec8315c73a
https://doi.org/10.1007/11916246_10
https://doi.org/10.1007/11916246_10