Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- 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 ...
- research-articleDecember 2024
Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles
LADC '24: Proceedings of the 13th Latin-American Symposium on Dependable and Secure ComputingPages 55–64https://doi.org/10.1145/3697090.3697101Responsibility-Sensitive Safety (RSS) became a widespread solution for online verification of autonomous vehicle (AV) safety. Nevertheless, RSS is built on strong premises concerning the capabilities of AVs. In this paper, we explore the Data-Centric ...