Models in Space Systems: Integration, Operation, and Networking

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 Setup

Report 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 Trees

Survey 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 Routing

Documentation 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

Specification: Resource Modelling Platform

Specification and reference manual of the resource modelling platform. First discussed at the Momentum Gathering in M17, presented and used for training in M29 in Rio Cuarto, final version delivered by M31.

Training: Fault Trees from Data and RES

Training 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

Report on Dissemination of Project Startup

Report on the first wave of dissemination and training activities, which focus on sharing background knowledge and gaining momentum in the project. This in particular encompasses reporting on the First MISSION School (Rio Cuarto Summer School 2023) and the Space Workshop. Delivered after the latter by M26.

Inventory of Practice: Resources

Inventory of bestpractice management approaches regarding resource constraints appearing in orbit Discussed at the Perspectives Gathering in M2 delivered by M6

Data Management Plan

The CMO drafts and submits a data management plan as D6.1, initially due by M6.

Veröffentlichungen

BFL: a Logic to Reason about Fault Trees

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

Attack time analysis in dynamic attack trees via integer linear programming

Autoren: Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Veröffentlicht in: Software Engineering and Formal Methods 2023, 2023, Seite(n) 165-183
Herausgeber: Springer
DOI: 10.1007/978-3-031-47115-5_10

PFL: a Probabilistic Logic for Fault Trees

Autoren: Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Hahn, E. Moritz; Stoelinga, Mariëlle
Veröffentlicht in: Formal Methods: 25th International Symposium, FM, 2023, Seite(n) 199-221
Herausgeber: springer
DOI: 10.48550/arxiv.2303.17314

Cost-Damage Analysis of Attack Trees

Autoren: Lopuhaä-Zwakenberg, Milan; Stoelinga, Mariëlle
Veröffentlicht in: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023, Seite(n) 545-558
Herausgeber: IEEE
DOI: 10.1109/dsn58367.2023.00057

Fuzzy quantitative attack tree analysis

Autoren: Thi Kim Nhung Dang; Milan Lopuhaä-Zwakenberg; Mariëlle Stoelinga
Veröffentlicht in: Fundamental Approaches to Software Engineering, 2024, ISBN 9783031572586
Herausgeber: Springer
DOI: 10.1007/978-3-031-57259-3_10

Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks

Autoren: D'Argenio, Pedro R.; Fraire, Juan A.; Hartmanns, Arnd; Raverta, Fernando D.; Ábrahám, Erika; Paolieri, Marco
Veröffentlicht in: Quantitative Evaluation of Systems (QEST), 2022, ISBN 978-3-031-16336-4
Herausgeber: springer
DOI: 10.1007/978-3-031-16336-4_17

Fault Tree Reliability Analysis via Squarefree Polynomials

Autoren: Lopuhaä-Zwakenberg, Milan
Veröffentlicht in: Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024, Seite(n) 39-49
Herausgeber: SciTePress
DOI: 10.5220/0012334000003645

Quantifying Masking Fault-Tolerance via Fair Stochastic Games

Autoren: Castro, Pablo F.; D'Argenio, Pedro R.; Demasi, Ramiro; Putruele, Luciano
Veröffentlicht in: EPTCS 387, 2023, Seite(n) 132-148
Herausgeber: arxiv
DOI: 10.4204/eptcs.387.10

Scenario Approach for Parametric Markov Models

Autoren: Ying Liu; Andrea Turrini; Ernst Moritz Hahn; Bai Xue; Lijun Zhang
Veröffentlicht in: Automated Technology for Verification and Analysis, 2023, Seite(n) 158-180, ISBN 9783031453281
Herausgeber: Springer
DOI: 10.1007/978-3-031-45329-8_8

Two for the price of one: communication efficient and privacy-preserving distributed average consensus using quantization

Autoren: Li, Qiongxiu; Lopuhaä-Zwakenberg, Milan; Heusdens, Richard; Christensen, Mads Græsbøll
Veröffentlicht in: 30th European Signal Processing Conference (EUSIPCO 2022), 2022
Herausgeber: IEEE
DOI: 10.23919/eusipco55093.2022.9909706

A Practitioner’s Guide to MDP Model Checking Algorithms

Autoren: Hartmanns, Arnd; Junges, Sebastian; Quatmann, Tim; Weininger, Maximilian; Sankaranarayanan, Sriram; Sharygina, Natasha
Veröffentlicht in: Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of SoftwarePart I, 2023, Seite(n) 469 - 488, ISBN 978-3-031-30822-2
Herausgeber: Springer
DOI: 10.1007/978-3-031-30823-9_24

Divide-and-Conquer Determinization of Büchi Automata Based on SCC Decomposition

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

The Modest State of Learning, Sampling, and Verifying Strategies

Autoren: Hartmanns, Arnd; Klauck, Michaela; Margaria, Tiziana; Steffen, Bernhard
Veröffentlicht in: International Symposium on Leveraging Applications of Formal Methods, 2022, Seite(n) 406-432, ISBN 978-3-031-19759-8
Herausgeber: springer
DOI: 10.1007/978-3-031-19759-8_25

Fisher Information as a Utility Metric for Frequency Estimation under Local Differential Privacy

Autoren: Lopuhaä-Zwakenberg, Milan; Škorić, Boris; Li, Ninghui
Veröffentlicht in: WPES 2022 - Proceedings of the 21st Workshop on Privacy in the Electronic Society, co-located with CCS 2022, 41 - 53, 2022, Seite(n) 41 - 53
Herausgeber: ACM
DOI: 10.1145/3559613.3563194

ATM: a Logic for Quantitative Security Properties on Attack Trees

Autoren: Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Hahn, Ernst Moritz; Stoelinga, Mariëlle
Veröffentlicht in: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, Ausgabe 14323, 2023, Seite(n) 205-225
Herausgeber: Springer
DOI: 10.48550/arxiv.2309.09231

MaskD: A Tool for Measuring Masking Fault-Tolerance

Autoren: Putruele, L., Demasi, R., Castro, P.F., D’Argenio, P.R.
Veröffentlicht in: 2022, ISBN 978-3-030-99523-2
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-030-99524-9_22

Modular Mix-and-Match Complementation of Büchi Automata (Technical Report)

Autoren: Havlena, Vojtěch; Lengál, Ondřej; Li, Yong; Šmahlíková, Barbora; Turrini, Andrea
Veröffentlicht in: Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of SoftwarePart I, Ausgabe 249-270, 2023, ISBN 978-3-031-30823-9
Herausgeber: Springer
DOI: 10.1007/978-3-031-30823-9_13

An Overview of Modest Models and Tools for Real Stochastic Timed Systems

Autoren: Hartmanns, Arnd; Dubslaff, Clemens; Luttik, Bas
Veröffentlicht in: 5th Workshop on Models for Formal Analysis of Real Systems 2022, 2022, Seite(n) 1-12
Herausgeber: EPTCS
DOI: 10.4204/eptcs.355.1

Distributed On-Demand Routing for LEO Mega-Constellations: A Starlink Case Study

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

On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata

Autoren: Winkler, Tobias; Katoen, Joost-Pieter
Veröffentlicht in: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, ISBN 979-8-3503-3588-0
Herausgeber: IEEE
DOI: 10.1109/lics56636.2023.10175714

BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.

Autoren: Basgöze, D., Volk, M., Katoen, JP., Khan, S., Stoelinga, M.
Veröffentlicht in: 2022
Herausgeber: Springer Cham
DOI: 10.1007/978-3-031-06773-0_38

Property Specification and Models for Risk: Towards Risk Propagation Graphs

Autoren: Stefano M Nicoletti, Mattia Fumagalli, Milan Lopuhaä-Zwakenberg, E Moritz Hahn, Giancarlo Guizzardi, Mariëlle Stoelinga
Veröffentlicht in: SAFECOMP 2023, 2023
Herausgeber: HAL

Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors

Autoren: Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Veröffentlicht in: 28th International Conference of Formal Methods for Industrial Critical Systems (FMICS 2023), 2023, Seite(n) 205-223
Herausgeber: Springer
DOI: 10.1007/978-3-031-43681-9_12

Analysis of non-Markovian repairable fault trees through rare event simulation

Autoren: Budde, C.E.; D'Argenio, Pedro R.; Monti, R.E.; Stoelinga, Marielle
Veröffentlicht in: International Journal on Software Tools for Technology Transfer, 24, 5, pp. 821-841, 2020, Seite(n) 821-841
Herausgeber: springer
DOI: 10.1007/s10009-022-00675-x

Simulating LoRa-Based Direct-to-Satellite IoT Networks with FLoRaSaT

Autoren: Fraire, Juan, A.; Madoery, Pablo, G; Ait Mesbah, Mehdi; Iova, Oana; Valois, Fabrice
Veröffentlicht in: 2022 IEEE 23rd International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2022
Herausgeber: IEEE
DOI: 10.1109/wowmom54355.2022.00072

Sampling-Based Verification of CTMCs with Uncertain Rates

Autoren: Badings, T.S., Jansen, N., Junges, S., Stoelinga, M., Volk, M.
Veröffentlicht in: 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-13188-2_2

Fast Verified SCCs for Probabilistic Model Checking

Autoren: Hartmanns, A., Kohlen, B., Lammich, P.
Veröffentlicht in: Automated Technology for Verification and Analysis. ATVA, Ausgabe vol 14215, 2023, Seite(n) 181-202, ISBN 978-3-031-45329-8
Herausgeber: Springer
DOI: 10.1007/978-3-031-45329-8_9

Verifying Probabilistic Programs via Generating Functions

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

Space-Terrestrial Integrated Internet of Things: Challenges and Opportunities

Autoren: Fraire, Juan Andrés, A; Iova, Oana; Valois, Fabrice
Veröffentlicht in: IEEE Communications Magazine, In press, 2022, Seite(n) 64-70, ISSN 1558-1896
Herausgeber: IEEE
DOI: 10.1109/mcom.008.2200215

A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report)

Autoren: Chen, Yu-Fang; Havlena, Vojtěch; Lengál, Ondřej; Turrini, Andrea
Veröffentlicht in: Journal of Systems and Software, 2023, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.48550/arxiv.2303.01142

Lower Bounds for Possibly Divergent Probabilistic Programs

Autoren: Shenghua Feng; Mingshuai Chen; Han Su; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Naijun Zhan
Veröffentlicht in: Proceedings of the ACM on Programming Languages, 2023, Seite(n) 696-726, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3586051

Uplink Transmission Policies for LoRa-Based Direct-to-Satellite IoT

Autoren: Guido Alvarez; Juan A. Fraire; Khaled Abdelfadeel Hassan; Sandra Cespedes; Dirk Pesch
Veröffentlicht in: "IEEE Access, 2022, pp.1-1. ⟨10.1109/ACCESS.2022.3189647⟩", 2022, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/access.2022.3189647

Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus

Autoren: Qiongxiu Li, Jaron Skovsted Gundersen, Milan Lopuhaä-Zwakenberg, Richard Heusdens
Veröffentlicht in: IEEE Transactions on Information Forensics and Security, 2024, ISSN 1556-6013
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tifs.2023.3343599

Mechanisms for Robust Local Differential Privacy

Autoren: Milan Lopuhaä-Zwakenberg; Jasper Goseling
Veröffentlicht in: Entropy, Ausgabe 26(3), 2024, Seite(n) 233-273, ISSN 1099-4300
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e26030233

RESS-IoT: A scalable energy-efficient MAC protocol for direct-to-satellite IoT

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

On the power of finite ambiguity in Büchi complementation

Autoren: Weizhi Feng, Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang
Veröffentlicht in: Information and Computation, Ausgabe 292, 2023, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2023.105032

Parameter synthesis for Markov models: covering the parameter space

Autoren: Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
Veröffentlicht in: Formal Methods in System Design, 2024, Seite(n) 181–259, ISSN 1572-8102
Herausgeber: Springer
DOI: 10.1007/s10703-023-00442-x

Stochastic games with lexicographic objectives

Autoren: Krishnendu Chatterjee; Joost-Pieter Katoen; Stefanie Mohr; Maximilian Weininger; Tobias Winkler
Veröffentlicht in: Formal methods in system design, 2023, ISSN 1572-8102
Herausgeber: springer
DOI: 10.1007/s10703-023-00411-4

On the Detection of Doped Software by Falsification

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

Correct Probabilistic Model Checking with Floating-Point Arithmetic

Autoren: Hartmanns, Arnd; Fisman, Dana; Rosu, Grigore
Veröffentlicht in: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030995263, 2022, Seite(n) 41-59, ISBN 978-3-030-99526-3
Herausgeber: Springer Nature
DOI: 10.1007/978-3-030-99527-0_3

Playing Against Fair Adversaries in Stochastic Games with Total Rewards

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

Leistungen

Veröffentlichungen

Diese Seite teilen Diese Seite in sozialen Netzwerken teilen

Herunterladen Den Inhalt der Seite herunterladen