Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Timo Latvala"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 2, Issue 5 (2006)
We consider the problem of bounded model checking (BMC) for linear temporal logic (LTL). We present several efficient encodings that have size linear in the bound. Furthermore, we show how the encodings can be extended to LTL with past operators (PLT
Externí odkaz:
https://doaj.org/article/ba6ba9628bbc4efb911d114cf78641d5
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319659473
SERENE
SERENE
An increasing openness and interconnectedness of safety-critical industrial control systems makes them vulnerable to security attacks. Hence, we should establish the integrated approaches enabling safety-security co-engineering. Such approaches shoul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37cfcf9a278b5f5132cbaf74f0b02533
https://doi.org/10.1007/978-3-319-65948-0_7
https://doi.org/10.1007/978-3-319-65948-0_7
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
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
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: 9783319242545
SAFECOMP
SAFECOMP
Satellite formation flying is an example of an autonomous distributed system that relies on complex coordinated mode transitions to accomplish its mission. While the technology promises significant economical and scientific benefits, it also poses a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::435726a71cd78203742b7a9d1e0ef2c3
https://doi.org/10.1007/978-3-319-24255-2_4
https://doi.org/10.1007/978-3-319-24255-2_4
Autor:
Keijo Heljanko, Timo Latvala
Publikováno v:
Keijo Heljanko
Scopus-Elsevier
University of Helsinki
Scopus-Elsevier
University of Helsinki
We consider the verification of linear temporal logic (LTL) properties of Petri nets, where the transitions can have both weak and strong fairness constraints. Allowing the transitions to have weak or strong fairness constraints simplifies the modeli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::416e54ffe9f14258c33bbaae9fc8b54c
https://doi.org/10.3233/fi-2000-43123409
https://doi.org/10.3233/fi-2000-43123409
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
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642336775
SAFECOMP
SAFECOMP
Ensuring fault tolerance of satellite systems is critical for achieving goals of the space mission. Since the use of redundancy is restricted by the size and the weight of the on-board equipments, the designers need to rely on dynamic reconfiguration
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f70d1830259f51e99282fb6bea99b86
https://doi.org/10.1007/978-3-642-33678-2_18
https://doi.org/10.1007/978-3-642-33678-2_18