Leistungen
Summary of techniquestools used at industrial partners methods mandatedsuggested by authorities and requirementswishes of industry Discussed at the Perspectives Gathering in M2 delivered by M6
Report on Website and Social Media Channels SetupReport on the setup of the MISSION web site and social media presence including the first use of these channels related to kicking the project off at the Perspectives Gathering Delivered after that gathering by M3
Inventory and Specification: Extended Fault TreesSurvey of fault tree extensions semantics and definition of formalism appropriate for the New Space setting coordinated with WP4 The document is delivered by M17 in time for the Momentum Gathering
Inventory of Practice: Topologies and RoutingDocumentation of collected network topology data from MISSION partners and of stateoftheart routing algorithms from a broader context Discussed at the Perspectives Gathering in M2 delivered by M6
Training: Fault Trees from Data and RESTraining material on previous research at UT concerning fault trees from big data and semiautomated rare event simulation from the SEQUOIA project Used at the Perspectives Gathering delivered by M6
Inventory of Practice: ResourcesInventory of bestpractice management approaches regarding resource constraints appearing in orbit Discussed at the Perspectives Gathering in M2 delivered by M6
The CMO drafts and submits a data management plan as D61 initially due by M6
Veröffentlichungen
Autoren:
Nicoletti, Stefano M.; Hahn, E. Moritz; Stoelinga, Marielle
Veröffentlicht in:
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Ausgabe 31, 2022
Herausgeber:
IEEE
DOI:
10.1109/dsn53405.2022.00051
Autoren:
Stock, Gregory; Fraire, Juan A.; Hermanns, Holger
Veröffentlicht in:
ASMS/SPSC 2022 - 11th Advanced Satellite Multimedia Systems Conference and the 17th Signal Processing for Space Communications Workshop, Ausgabe 36, 2022, Seite(n) 1-8
Herausgeber:
IEEE
DOI:
10.1109/asms/spsc55670.2022.9914716
Autoren:
Mingshuai Chen; Joost-Pieter Katoen; Lutz Klinkenberg; Tobias Winkler
Veröffentlicht in:
Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel<br/>34. International Conference on Computer Aided Verification, CAV 2022, Haifa, Israel, 2022-08-07 - 2022-08-10, Ausgabe 19, 2022
Herausgeber:
Springer
DOI:
10.1007/978-3-031-13185-1_5
Autoren:
Biewer, Sebastian; Hermanns, Holger
Veröffentlicht in:
Fundamental Approaches to Software Engineering, Ausgabe 3, 2022, Seite(n) 71-91, ISBN 9783030994280
Herausgeber:
Zenodo
DOI:
10.1007/978-3-030-99429-7_4
Autoren:
Pablo F. Castro; Pedro R. D’Argenio; Ramiro Demasi; Luciano Putruele
Veröffentlicht in:
Computer Aided Verification ISBN: 9783031131875, Ausgabe 5, 2022, ISBN 978-3-031-13188-2
Herausgeber:
springer
DOI:
10.1007/978-3-031-13188-2_3
Autoren:
Yong Li; Andrea Turrini; Weizhi Feng; Moshe Y. Vardi; Lijun Zhang
Veröffentlicht in:
Computer Aided Verification ISBN: 9783031131875, Ausgabe 12, 2022
Herausgeber:
Springer
DOI:
10.1007/978-3-031-13188-2_8
Autoren:
Raydel Ortigueira, Juan A. Fraire, Alex Becerra, Tomás Ferrer, Sandra Céspedes
Veröffentlicht in:
IEEE Access, 2021, ISSN 2169-3536
Herausgeber:
Institute of Electrical and Electronics Engineers Inc.
DOI:
10.1109/access.2021.3134246
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor