B. Gallina, Z. Haider, A. Carlsson.
In: IOP Conference Series: Materials Science and Engineering.
2018
Abstract:
Attitude Control Systems (ACSs) maintain the orientation of the satellite in three-dimensional space. ACSs need to be engineered in compliance with ECSS standards and need to ensure a certain degree of dependability. Thus, dependability analysis is conducted at various levels and by using ECSS-compliant techniques. Fault Tree Analysis (FTA) is one of these techniques. FTA is being automated within...
H. Faragardi, B. Lisper, K. Sandström, Thomas Nolte.
In: J. Syst. Softw..
2018
Vard Antinyan, Jesper Derehag, A. Sandberg, M. Staron.
In: IEEE Software.
2018
H. Faragardi, Saeid Dehnavi, M. Kargahi, A. Papadopoulos, Thomas Nolte.
In: 2018 Real-Time and Embedded Systems and Technologies (RTEST).
2018
Jan Torgrimsson, P. Dammert, H. Hellsten, L. Ulander, A. Ahlander.
In: .
2018
Abel Souza, A. Papadopoulos, Luis Tomás, David Gilbert, Johan Tordsson.
In: 2018 IEEE International Conference on Cloud Engineering (IC2E).
2018
Konstantinos Angelopoulos, A. Papadopoulos, V. Souza, J. Mylopoulos.
In: ACM Transactions on Autonomous and Adaptive Systems (TAAS).
2018
M. Vahabi, H. Faragardi, H. Fotouhi.
In: 2018 IEEE Wireless Communications and Networking Conference Workshops (WCNCW).
2018
Francisco Pozo, G. Rodríguez-Navas, Hans A. Hansson.
In: 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
2018
A. Ilyushkin, Ahmed Ali-Eldin, N. Herbst, André Bauer, A. Papadopoulos et al.
In: ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS).
2018
Federico Ciccozzi, I. Malavolta, B. Selić.
In: Software & Systems Modeling.
2018
Abstract:
Several research efforts from different areas have focused on the execution of UML models, resulting in a diverse and complex scientific body of knowledge. With this work, we aim at identifying, classifying, and evaluating existing solutions for the execution of UML models. We conducted a systematic review in which we selected 63 research studies and 19 tools among over 5400 entries by applying a ...
Federico Ciccozzi, I. Malavolta, B. Selić.
In: Software & Systems Modeling.
2018
Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, M. Sirjani.
In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing.
2018
Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, B. Lisper.
In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
2018
Grace A. Lewis, Romina Spalazzese.
In: 2018 IEEE International Conference on Software Architecture Companion (ICSA-C).
2018