Submitted by Anonymous on Fri, 01/09/2015 - 4:47pm
Under the auspices of DARPA's Integrity and Reliability of Integrated Circuits program, researchers from the Naval Surface Warfare Center (NSWC) and Air Force Research Laboratory (AFRL) are developing advanced failure analysis techniques to assess the reliability and integrity of microchips embedded in the some of the nation's most critical military weapon and cyber systems. This work will provide powerful new tools to verify whether chips produced in commercial facilities around the world have been compromised at any stage of their design and fabrication.
The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.
Submitted by Anonymous on Thu, 11/20/2014 - 3:51pm
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.
This project addresses highly dynamic Cyber-Physical Systems (CPSs) understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of advanced safety systems on passenger cars, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives.
