Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Nataliya Yakymets"'
Autor:
Morayo Adedjouma, Nataliya Yakymets
Publikováno v:
ISSRE Workshops
Fault tree analysis is a commonly used technique to assess the reliability of critical systems. The method requires modeling the propagation path of basic events that may cause a feared event, and define their probabilities. In this paper, we present
Autor:
Axel Berres, Nataliya Yakymets, Tomas Juknevicius, Geoffrey Biggs, Andrius Armonas, Kyle Post
Model-Based Systems Engineering (MBSE) is gaining popularity in organizations creating complex systems where it is crucial to collaborate in a multi-disciplinary environment. SysML, being one of the key MBSE components, has a good foundation for capt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::99bb25c94924ee1344f224ba1e41a468
https://elib.dlr.de/129753/
https://elib.dlr.de/129753/
Autor:
Nataliya Yakymets, Morayo Adedjouma
Publikováno v:
19th IEEE International Symposium on High Assurance Systems Engineering (HASE) 2019
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
HASE
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)
HASE
Autor:
Shuai Li, Yupanqui Munoz Julho, Nataliya Yakymets, Asma Charfi, Sébastien Gérard, Morayo Adedjouma, Chokri Mraidha, Ansgar Radermacher
Publikováno v:
ERTS 2018
ERTS 2018, 2018, Toulouse, France
ERTS 2018, 2018, Toulouse, France. 2018, 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
HAL
ERTS 2018, 2018, Toulouse, France
ERTS 2018, 2018, Toulouse, France. 2018, 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018)
HAL
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bf2cba289e846a0cc97f8b718e966998
https://hal.archives-ouvertes.fr/hal-01811825
https://hal.archives-ouvertes.fr/hal-01811825
Publikováno v:
Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on
Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on, Jul 2015, Kaufbeuren, Germany
MODELSWARD
Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on, Jul 2015, Kaufbeuren, Germany
MODELSWARD
International audience; In this paper, we propose a model-driven framework for security analysis. We present a security analysis process that begins from the design phase of the system architecture then allows performing several security analysis met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb0146eedbfafc34521fc97af8dea900
https://hal-cea.archives-ouvertes.fr/cea-01810074/file/07323180.pdf
https://hal-cea.archives-ouvertes.fr/cea-01810074/file/07323180.pdf
Publikováno v:
SysCon
Systems Conference (SysCon), 2015 9th Annual IEEE International
Systems Conference (SysCon), 2015 9th Annual IEEE International, Apr 2015, Vancouver, Canada
Systems Conference (SysCon), 2015 9th Annual IEEE International
Systems Conference (SysCon), 2015 9th Annual IEEE International, Apr 2015, Vancouver, Canada
International audience; —Model-driven engineering is a promising approach used to develop and analyze complex systems from different domains. In this paper, we focus on the safety aspect and introduce a methodology and associated framework for mode
Publikováno v:
Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science
Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, Feb 2015, Angers, France. pp.278-292, ⟨10.1007/978-3-319-27869-8_16⟩
Communications in Computer and Information Science ISBN: 9783319278681
MODELSWARD (Revised Selected Papers)
Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, Feb 2015, Angers, France. pp.278-292, ⟨10.1007/978-3-319-27869-8_16⟩
Communications in Computer and Information Science ISBN: 9783319278681
MODELSWARD (Revised Selected Papers)
Conference of 3rd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015 ; Conference Date: 9 February 2015 Through 11 February 2015; Conference Code:160579; International audience; Nowadays, security analysis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94bf65bbbe345ee55c433d383f70399d
https://hal-cea.archives-ouvertes.fr/cea-01836561
https://hal-cea.archives-ouvertes.fr/cea-01836561
Autor:
Sara Tucci-Piergiovanni, DeJiu Chen, Chokri Mraidha, Henrik Lönn, Nidhal Mahmud, Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Nataliya Yakymets, Renato Librino, Sandra Torchiaro, Agnes Lanusse
Modern cars have turned into complex high-technology products, subject to strict safety and timingrequirements, in a short time span. This evolution has translated into development processes that arenot as efficient, flexible, and agile as they could
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::317a506ee17a9e3594db87b762705999
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-158556
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-158556
Publikováno v:
2013 (IEEE/RSJ) International Conference on Intelligent Robots and Systems
2013 (IEEE/RSJ) International Conference on Intelligent Robots and Systems, Nov 2013, Tokyo, Japan
IROS
2013 (IEEE/RSJ) International Conference on Intelligent Robots and Systems, Nov 2013, Tokyo, Japan
IROS
International audience; Robotic systems (RSs) are often used for performing critical tasks with little or no human intervention. Such RSs must satisfy certain dependability requirements including reliability, availability, security and safety. In thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd1215d13f7cdaa2628e33ae84db3381
https://hal-cea.archives-ouvertes.fr/cea-01810068
https://hal-cea.archives-ouvertes.fr/cea-01810068
Publikováno v:
2011 IEEE 9th International New Circuits and systems conference.
In this article, a new methodology for mapping applications onto matrix-based nanocomputer architectures is proposed. It takes into account the structural characteristics and connectivity restrictions of cell matrices and can be used (i) for the part