This menu jumps directly to each part in the page.
Go to main menu
Go to main text
Go to footer
  1. Home
  2. About Our Program
  3. Outline

Outline

The aim of the center's program is to use the latest developments in information science to establish the methodology for the design and development of an e-Society to which we can safely entrust our lives.

The e-Society system refers to a part of society system that is implemented as an information system. Such a system, in addition to providing a clear definition of the relationship between an individual and the organization, as well as other aspects relating to the structure and functions of society systems, must also ensure that its functions and behavior conform to institutional and regulatory requirements. It must also be capable of keeping pace with social changes and other developments. Additionally, all the services and functions of an e-Society must be available to all members of society equally, and be provided on a stable basis.

To date, information science has been effectively used to developed complex and large-scale software and systems, and in its support has also developed a large number of concepts and methods in areas relating to specification description, verification and testing, programming, user interface, network, architecture, and so forth.

The COE Research and Education Center aims to use these concepts and methods in order to define, verify and develop an e-Society system that will enable the design and implementation of a trustworthy e-Society. Although the center will be developing a discipline that is concerned primarily with the realization of the e-Society from the point of view of verifiability and evolability , it will also conduct research into the infrastructure of a trustworthy society.

Verifiable and Evolvable e-Society
 

(1) A logical system and a formal description system capable of defining an e-Society
(2) Methodologies for the definition and verification of e-Society trustworthiness requirements
(3) Methodologies for e-Society verification through theorem proving, model inspection, simulation, etc.
(4) e-Society modeling and evolution using the latest object technologies
(5) e-Society structure and functions

 
Basic Technology for Trustworthy e-Society
 

(1) Mathematical Infrastructure
(2) Advanced Human Interface Infrastructure
(3) High-reliability Network Infrastructure
(4) High-reliability hardware Infrastructure