Research Groups

| Verifiable and Evolvable e-Society | Basic Technology for Trustworthy e-Society |

(1) Mathematical Infrastructure
When setting up the infrastructure of a trustworthy e-Society, the verification of requirements for trustworthiness, theorem proving and model checking must be carried out efficiently. In addition to establishing methods for estimating the time needed to conduct the above computations, the group will also conduct appropriate preprocessing on qualitative aspects that do not undergo change with time, with the goal of establishing a methodology for responding promptly to dynamic change.


(2) Advanced Human Interface Infrastructure
Based on bio-information processing, multi-modality compatible media processing and robot technology, the group will conduct research into the interface necessary for the secure exchange of information between people and the e-Society, and between individuals through the medium of the e-Society. Research will focus on the following areas: the study of human information processing through interdisciplinary cooperation in such areas as physiology and psychology; the establishment of a multimedia-based interactive access system connecting individuals and e-Society; human interface for disabled people; the establishment of shared intelligent spaces that make use of robots; Grid System technology for simulating the above; and other related topics.


(3) High-reliability Network Infrastructure
The group will conduct research to develop the highly-reliable Internet and ubiquitous network infrastructure needed for a trustworthy e-Society. In addition to superior performance, such network systems are expected to provide a high degree of reliability and security. Advances in Internet technologies and the trend toward greater networking of various systems have given rise to the need for new technological approaches. We will work under the assumption that the system structure will be heterogeneous, and will conduct our research from the perspective of technologies for operating and administrating such a system.


(4) High-reliability Hardware Infrastructure
The group will conduct research into the high-reliability hardware and architecture infrastructure needed for a trustworthy e-Society. In order to ensure the reliability and security of universally-embedded processors, we will conduct our research in the following areas: processor design through fully automated synthesis, based on a specification description; fault tolerant architecture; and a real-time operating system capable of ensuring the highly reliable operation of such processors. We will also establish methods for the realization of an optimal distribution of resources through reconfigurable processor architecture and dynamic load balancing between processors .