INFORMATION
AND TELECOMMUNICATION
TECHNOLOGIES
PREVIOUS CONTENTS NEXT
SYSTEM FOR FORMAL ANALYSIS AND AUTOMATED SOFTWARE IMPLEMENTATION
PURPOSE
To automate creation of models that are used for analysis, design and software implementation of distributed systems.

PROPERTIES AND COMPOSITION
The innovative feature of this system is that all stages of analysis and design of distributed systems are performed based on single mathematical scheme piece-linear aggregate (PLA). The system consists of sub-systems performing the following tasks:
  1. transformation of system models specified with SDL, ESTELLE, UML languages to PLA model;
  2. validation and verification of PLA formal specifications;
  3. simulation;
  4. numerical modeling;
  5. test creation;
  6. automated software implementation.

APPLICATION
System permits to perform main stages of analysis and design using formal methods. Application areas are telecommunication protocols, real-time and information systems.

CHARACTERISTICS
Limitation characteristic of system use is number of graph states used in verification and numerical modeling tasks that is less than 8·106.

THE LEVEL OF TECHNOLOGY COMPLETION
Prototypes of the first four mentioned sub-systems have already been created and applied solving real tasks. Implementation principles of the last two sub-systems are foreseen.

POSSIBLE CO-OPERATION
Seeking co-operation is in two directions:
  • implementation of the last achievements in the area of validation and verification of specifications;
  • application and development of the proposed system with respect to the needs of industrial partners.





CONTACTS:
KAUNAS UNIVERSITY OF TECHNOLOGY
Business Informatics Department
Studentu str. 50, LT-3028 Kaunas, Lithuania
Tel./Fax +370 37 451654
E-mail: hepran@if.ktu.lt