Methods and TOols for Development of the Secure Networked and Distributed Mobile Computer Systems and their Management II.Supervisor: doc. Ing. Ladislav Hudec, CSc.
This page shows details on the project. The primary projects are displayed together with a list of sub-projects.
|Project description:||Elaboration of new effective formal specification tool and development environment that are based on autonomous agents and processes. The specification tool and environment are determined to complex digital system specification (using complex library elements solutions at the soft and firm level) mainly for microsystem form implementation. The HSSL+ specification language for complex digital systems specification at the system level of the development. Elaboration of new algorithms and development new fault tolerant methods for real time distributed computer system at the architecture and system software levels. Along with this task to solve also the issues on security and management in distributed systems.|
|Kind of project:||VEGA ()|
|Department:||Institute of Computer Systems and Networks (FIIT)|
|Project status:||Successfully completed|
|Project start date :||01. 01. 2003|
|Project close date:||31. 12. 2005|
|Number of workers in the project:||21|
|Number of official workers in the project:||0|