Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleDecember 2024
Stochastic Petri Nets for Drone Surveillance: Modeling Availability and Reliability
LADC '24: Proceedings of the 13th Latin-American Symposium on Dependable and Secure ComputingPages 65–74https://doi.org/10.1145/3697090.3697099This paper presents a comprehensive approach to evaluate the availability and reliability of drone surveillance systems using Stochastic Petri Net (SPN) models. We propose an architecture incorporating redundancy in drones and batteries to enhance system ...
- research-articleDecember 2024
Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation
LADC '24: Proceedings of the 13th Latin-American Symposium on Dependable and Secure ComputingPages 38–48https://doi.org/10.1145/3697090.3697097Fifth-generation (5G) networks promise ultra-fast speeds, minimal latency, and improved reliability, essential for supporting critical applications such as healthcare systems. Stochastic models are prominent in addressing the Multi-access edge computing (...