Contracts with industry
Technology Development Centre ELIKO project 2.2 Embedded systems test, verification and debug
The main objective of the project is to develop innovative software and hardware solutions for embedded systems test, verification and debug. Inparticular, new assertion-based verification and debug tools will be implemented. An additional goal is to create a low-cost open architecture tester platform applicable to mass production of embedded system boards. Moreover, an XML-based test development and deployment system will be created as a result of the project.
The scientific novelty of the verification methods used in the project lies in adopting a new decision diagram representation, called High-Level Decision Diagrams (HLDD). HLDDs have proven to be a very efficient model for simulation and diagnosis since they provide for a fast simulation by graph traversal and for easy identification of cause-effect relationships that are useful in debug and diagnosis. In addition, neural network based testing of analog systems and XML-modeling and test integration of system cores will be applied.
More information: http://www.eliko.ee