A case study of an automotive application shows how SIL categories, AUTOSAR basic software, and memory architectures constrain task allocation and function integrity, supported by the introduced Driverator analysis framework.
In: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2representative citing papers
A-IC3 uses multi-armed bandits to adaptively pick inductive generalization strategies in IC3, solving 26-50 more HWMCC cases than baselines with improved PAR-2 scores.
citing papers explorer
-
Shedding Light onto Safety Integrity Level and Basic Software Constraints in a Real-World Automotive Application: Case Study with Driverator Framework
A case study of an automotive application shows how SIL categories, AUTOSAR basic software, and memory architectures constrain task allocation and function integrity, supported by the introduced Driverator analysis framework.
-
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
A-IC3 uses multi-armed bandits to adaptively pick inductive generalization strategies in IC3, solving 26-50 more HWMCC cases than baselines with improved PAR-2 scores.