Aug 20, 2019   5:09 a.m. Anabela
Academic information system

Projects


Methods and TOols for Development of the Secure Networked and Distributed Mobile Computer Systems and their Management II.

Supervisor: doc. Ing. Ladislav Hudec, CSc.


Basic information   Workers      


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 identification:1/0157/03
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