Industry Strength Tool and Technology for Automated Synthesis of Safety-Critical Applications from Formal Specifications
Sandeep K. Shukla, Mahesh Nanjundappa, Matthew Anderson, Avik Dayal, Mathew Kracht · 2015
Abstract : This report discussed the fundamental theory, algorithms, and prototype tools for the synthesis of embedded safety-critical software for multi-core embedded platforms as well as to initiate planned technology transfer to a Department of Defense (DoD) vender company. The techniques and tools developed during project execution will enable the production of embedded safety -critical software with improved quality and performance, decreases in cost and development times, automation of labor-intensive and error -prone processes, increased reliability, and easier integration and sustainment.