The Texas Department of Public Safety has provided three resources to school communities to prevent potential violence, including tip reporting software called iWatchTexas, an alert system and school safety education.
https://www.securitymagazine.com/articles/96912-3-texas-public-safety-resources-maintaining-school-security