Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- short-paperDecember 2024
Assessing Satellite Resilience: SPN and CTMC Models for Availability Evaluation
LADC '24: Proceedings of the 13th Latin-American Symposium on Dependable and Secure ComputingPages 175–178https://doi.org/10.1145/3697090.3699866Satellite communications have become an integral part of our daily lives, and the focus on satellite telecommunications is expected to grow in prominence. This paper presents a Stochastic Petri Nets (SPN) model for availability, where transitions between ...
- Work in ProgressDecember 2024
Assessment of Availability and Reliability of a Textile Manufacturing 4.0 Using Stochastic Models
LADC '24: Proceedings of the 13th Latin-American Symposium on Dependable and Secure ComputingPages 146–152https://doi.org/10.1145/3697090.3699799The Brazilian apparel industry ranks seventh globally, generating a revenue of USD 10 billion per year. Despite the increasing adoption of Internet of Things (IoT) devices in so-called “Industry 4.0” manufacturing, accurately estimating crucial ...