Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Carmen Carlan"'
Autor:
Yuri Gil Dantas, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
Publikováno v:
SN Computer Science. 4
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eb4316f27e013a73e97e1e0940ae169a
https://doi.org/10.1007/s42979-023-01712-5
https://doi.org/10.1007/s42979-023-01712-5
Publikováno v:
2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc6cd8ad2d4acb67c463bdb22e9d0d99
https://doi.org/10.1109/prdc55274.2022.00019
https://doi.org/10.1109/prdc55274.2022.00019
Autor:
Yuri Dantas, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
Publikováno v:
Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20190167b955480808051b87051bd4d7
https://doi.org/10.5220/0010831700003119
https://doi.org/10.5220/0010831700003119
Autor:
Tewodros A. Beyene, Carmen Carlan
Publikováno v:
DSN Workshops
The use of safety cases to explicitly present safety considerations and decisions is a common practice in the safety-critical domain. A safety case can be used to scrutinize the safety assessment approach used by practitioners internally, or as an in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6faf4199f6c2f4aed9160454acf5d8fb
https://doi.org/10.1109/dsn-w52860.2021.00021
https://doi.org/10.1109/dsn-w52860.2021.00021
Publikováno v:
Domain-Specific Languages in Practice ISBN: 9783030737573
The increasing complexity of safety-critical systems and the shorter time-to-market requires a high degree of automation during all development phases from requirements specification to design, implementation, verification, and safety assurance. To m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f86edef66f5ad8d8380a9d9f5d6d86a9
https://doi.org/10.1007/978-3-030-73758-0_5
https://doi.org/10.1007/978-3-030-73758-0_5
Autor:
Carmen Carlan, Barbara Gallina
Publikováno v:
Proceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference.
The new generation of safety-critical systems will be interconnected, having other systems as collaborating partners for achieving common goals (e.g., interconnected cyber-physical systems such as ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1efbf96e40fbda0b29e5554919322734
https://doi.org/10.3850/978-981-14-8593-0_4672-cd
https://doi.org/10.3850/978-981-14-8593-0_4672-cd
Publikováno v:
ISSRE Workshops
Assurance cases are collections of standard-mandated documents that entail the specification of system's objectives and a collection of processes, development or verification evidence regarding the satisfaction of the respective objectives. A conside
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58425bebdc3219b1e534b95b0cd9b4a7
https://doi.org/10.1109/issrew.2019.00093
https://doi.org/10.1109/issrew.2019.00093
Publikováno v:
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
ISSRE Workshops
ISSRE Workshops
With the increasing system interconnectivity, cyberattacks on safety-critical systems can lead to catastrophic events. This calls for a better safety and security integration. Indeed, a safety assessment contains security relevant information, such a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::226c3936f30b109ee4c5764eff260c9e
Publikováno v:
Developments in Language Theory ISBN: 9783319986531
SAFECOMP
SAFECOMP
With various advances in technology, cars evolved to highly interconnected and complex Cyber-Physical Systems. Due to this development, the security of involved components and systems needs to be addressed in a rigorous way. The resulting necessity o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::55f417d4f3a03101b0ad9aed7def5230
https://doi.org/10.1007/978-3-319-99130-6_11
https://doi.org/10.1007/978-3-319-99130-6_11
Autor:
Carmen Carlan
Publikováno v:
ISSRE Workshops
In recent years, there has been a shift from closed systems, with clearly defined borders, whose behavior is completely determined a priori, towards open systems. An open system is an independently developed system, which is able to communicate and c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37278526dd5dd05f6ff25ea42cf72bbc
https://doi.org/10.1109/issrew.2017.58
https://doi.org/10.1109/issrew.2017.58