GrammaTech, a developer of commercial embedded software assurance tools and cybersecurity solutions, has been awarded a $8.4 million, four-year contract from Defense Advanced Research Projects Agency (DARPA).