|
As they grow increasingly sophisticated, embedded systems in automobiles, consumer electronics, and other devices pose a new IT challenge in terms of real-time processing, power consumption and reliability. TRL is looking for a new paradigm for embedded systems that makes the most of the hardware technology capabilities cultivated through the technological development of the Notebook PC and its knowledge of software engineering.
Model-Based Design Verification Tool for Embedded Systems
The growing complexity of embedded systems, which range from digital consumer electronics to telematics systems, poses a serious challenge to system architects who are primarily responsible for defining system designs that meet their requirements. We are developing solid-model-based technologies for verifying embedded system designs against their requirements. By interpreting those designs as models with sem-antics that are based on the notations of formal stochastic process algebra, we can verify a wide variety of requirements, including those related to performance and dependability.
Evaluation and Verification Tools for Embedded Systems
The aim of this research is to create technologies to reduce the development times for embedded systems such as digital consumer electronic devices by introducing real-time verification technologies. We are developing tools to automatically detect rare system behaviors and to track power consumption. The event detection technology helps developers detect suspicious areas, and visualizes them for easy understanding. The power tracking technology helps optimize power management software by revealing the correlations between system behavior and power consumption. We are continuing to enhance these technologies to apply them more widely and to more complicated systems.
Cell Broadband Engine™-based Specialized Systems
The next generation microprocessor called the Cell Broadband Engine achieves outstanding performance to surpass single core processors. In this project, we study specialized systems that utilize the high performance Cell Broadband Engine, such as high-speed media processing systems and medical systems, and are developing performance pre-diction tools for the early development stages of parallel programs. In addition, we are studying how to avoid program modifications and data leak by using the high security capabilities of the Cell Broadband Engine, and we are developing software stacks for utilizing the high security cap-abilities of the Cell Broadband Engine.
|
