laboratory
slovensko lmsinfo@uni-mb.si home
Introduction
Staff
Project
Education
Link
 
meni-proj
2000-JG-BV-FERISpecification and realisation of SIP-V5.2 Gateway
Project leaderBoštjan Vlaovič
ParticipantsPeter Vicman, Simon Nedok, Aleksander Vreže, Zmago Brezočnik
PartnerIskratel d.o.o.
Financed byIskratel d.o.o.
Specification and realisation of SIP-V5.2 Gateway includes study of Session Initiation Protocol (SIP) and Session Description Protokol). The objective is to develop SIP-V5.2 interface for the Iskratel's Switch Node SI2000 V5 which would enable SIP telephones to connect and use available services. Project will be realised with the use of programming language C and SDL (Specification Description Language).
 
2001-MGCP-FERIDecoder and Encoder of MGCP
Project leaderBoštjan Vlaovič
ParticipantsAleksander Vreže, Peter Vicman, Simon Nedok, Zmago Brezočnik
PartnerIskratel d.o.o.
Financed byIskratel d.o.o.
Decoder and Encoder of Media Gateway Control Protocol (MGCP) is part of development of MGCP protocol stack for Iskratel's Switch Node SI2000 V5. The aim of the project is enable SI2000 V5 to actively participate in the development of the Next Generation Telecommunication Networks. Project will be realised with the use of special programing tools that produce code in C.
 
2001-SIPTEL-FERIDecoder, Encoder, and Protocol Control for SIP and SDP protocols for IP telephone
Project leaderBoštjan Vlaovič
ParticipantsPeter Vicman, Simon Nedok, Aleksander Vreže, Zmago Brezočnik
PartnerIskratel d.o.o.
Financed byIskratel d.o.o.
Decoder, Encoder, and Protocol Control of SIP and SDP protocols for IP telephone is part of a joint project with company Iskratel d.o.o. The main objective is to develop modern IP telephone with the use of SIP (Session Initiation Protocol) signalling. Parts of program code from project 2000-JG-BV-FERI will be adapted to new requirements and ported to Real Time Operating System VxWorks.
 
2002-2003-FERIRobust connectivity management of MGC and MG
Project leaderBoštjan Vlaovič
ParticipantsPeter Vicman, Aleksander Vreže
PartnerIskratel d.o.o.
Financed byIskratel d.o.o. in MSZS
Project includes study of MGCP (Media Gateway Control Protocol) communication between MGC (Media Gateway Controller) and MG (Media Gateway). The main objective is to achieve robust connectivity management that would be able to provide stability even when hardware failure occurs at the local unit or any of the network nodes.The aim of the project is to enable SI2000 V6 to actively participate in the development of the Next Generation Telecommunication Networks.
 
2002-2003-FERIApplication for testing MGCP devices
Project leaderBoštjan Vlaovič
ParticipantsAleksander Vreže, Peter Vicman
PartnerIskratel d.o.o.
Financed byIskratel d.o.o. in MSZS
Project includes specification and realisation of test application for MGCP (Media Gateway Control Protocol) devices. MGCP will be one of the key protocols in the Next Generation Networks and SI2000 V6 systems.The main objective of the project is to construct proper test environment and provide user level application for compatibility and load tests.
 
2004-2006 CO ICTCorrectness verification of communication system functioning
Project leaderZmago Brezočnik
ParticipantsBoštjan Vlaovič, Aleksander Vreže, Tatjana Kapus, Monika Kapus-Kolar, Robert Meolic, Filip Samo Balan, Drago Kodrič, Andrej Ciglič, Matjaž Colnarič, Janez Bešter, Matej Koren, Klemen Koman
PartnerJožef Stefan Institute, Iskratel d.o.o., Economic Research Institute
Financed by
European Regional Development Fund,
Ministry of Higher Education,
Science and Technology,
Iskratel d.o.o.
Testing-based methods for checking system correctness have proven themselves very wasteful with modern complex systems since checking of a sufficient number of possible behaviours takes an unacceptably long time and since this is often impossible and unwiedly with concurrent systems. A late detection of an error in software is very inconvenient and expensive. For company competitiveness on the market it is very important that it is capable of developing a new product in a relatively short time. This is, however, possible only if as many deficiencies and errors as possible are detected already in the system design phase. To achieve this goal, efficient automatic verification methods are needed. 
 
The objective of the project "Verification of communication system functioning correctness" is to get new knowledge in the area of communication system verification with the emphasis on the development of ideas into a usable form and on possibilities of application of promising results in the industry. Therefore, examples of communication systems from the real world, which will be carefully selected in agreement of all the partners, will be verified in this project. 
 
The implementation of this project will include different activities, with which we will try to achieve the stated objective in a stepwise manner: analysis of existing verification methods and available tools, formal system design and requirement specification, system model and corresponding formal requirement specification creation, system verification and analysis of results, adaption and extension of applied methods and tools, presentation of results and knowledge transfer into the Iskratel company and project evaluation. 
 
COST 247COST 247 International Workshop
Project leaderZmago Brezočnik
ParticipantsTatjana Kapus, Aleš Časar, Robert Meolic, Filip Balan, Bogdan Dugonik, Bogomir Horvat, Marko Jagodič, Andrej Kruščič, Marjeta Pučko, Marjan Štrakl
PartnerAction COST 247, FERI, IEEE Slovenia Section, IEEE Telecommunication Chapter of Slovenia
Financed byEuropean Commission - COST Telecommunication Secretariat, Ministry of Science and Technology of Slov
The purpose of the European research action on Verification and Validation 
 
Methods for Formal Descriptions (COST Action 247) is the co-ordination of national efforts to analyse, classify and come up with new and efficient techniques and tools for concurrent software verification and validation in order to enhance the applicability of formal methods to practical examples and thus improve the efficiency of software production cycle for complex distributed systems. 
 
 
 
As the Action is already in its third year, the aim of the workshop is to provide a forum for COST 247 participants from various European countries to present, discuss and compare their work related to the Action. Scientific programme of the workshop consists of 20 regular papers (two of them tackle the suggested example of a Bounded Retransmission Protocol), the invited lecture given by Dr. Robert Kurshan from AT&T Bell Labs, Murray Hills, New Jersey, USA, and demonstrations of 2 software tools for formal specification and verification of concurrent systems. The regular COST 247 Management Committee Meeting will take place together with the workshop on June 19, 1996.
 
ESTEfficient Symbolic Tools
Project leaderRobert Meolic
ParticipantsTatjana Kapus, Zmago Brezočnik
Partner-
Financed by-
Efficient Symbolic Tools package (EST) is a new tool for the verification of concurrent systems, which has not been widely presented yet. Its main advantages are the flexibility, portability and an efficient memory management. The latter is mainly the consequence of a well implemented BDD package with good garbage collection functions. EST distinguishes itself as a small and efficient package with an easily readable source code and well implemented algorithms. It runs on many different computers with different operating systems, including HP-UX, Linux, and Windows 95/98/NT.
 
ESYE 2000Extra Skills for Young Engineers
Project leaderBoštjan Vlaovič
ParticipantsRobert Meolic, Aleksander Vreže, Simon Nedok, Filip Samo Balan, Aleš Časar, Bogdan Dugonik, Dejan Kastelic, Iztok Kramberger
PartnerFERI, IEEE Slovenia Section
Financed byIEEE Slovenian Section, FERI, Iskratel d.o.o., Gaudeamus d.o.o., Hermes Softlab d.d., SOUM, Esotech
The process of globalisation and fast development of new technologies demands extra skills from young engineers that are not part of their studies. It is very important that students realize that fact as soon as possible. The goal of this symposium was to increase awareness of students about the needs of the industry and extra skills that it requires from a young engineer. We have invited speakers from IEEE, industry and academia.
 
SIP-FERI-2004SIP protocol
Project leaderBoštjan Vlaovič
ParticipantsPeter Vicman, Aleksander Vreže, Zmago Brezočnik
PartnerPeter Vicman, Aleksander Vreže, Zmago Brezočnik
Financed byIskratel d.o.o.
Project includes research activities during the development of SIP protocol. It is continuation of a contract 2002-2003-FERI. Work plan includes upgrade of the coder and decoder,completion of main SDL process for the protocol, adaptation and upgrade of existent software, preparation of the development documentation, analysis and functional specification for the SIP proxy and cooperation on the development of the SIP telephone.
 

© LMS 2001-2007, lmsinfo@uni-mb.si, last change: 03. 09. 2006