About This Project

CCS defined and led Astronics’ research effort to develop an advanced Specification Programming approach to generate effective real-time avionics software directly from formal Requirement Specification generated by systems engineers. This technique integrated Requirements Analysis, Testing, and Programming under formal English language behavior statements. The key advantage of this database approach is ease of change and traceable implementation of their Electronic Power Distribution System used in modern commercial aircraft.