Sequence Chart Studio: user-friendly drawing and verification tool for MSC

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00057901" target="_blank" >RIV/00216224:14330/12:00057901 - isvavai.cz</a>

Result on the web

<a href="http://scstudio.sourceforge.net" target="_blank" >http://scstudio.sourceforge.net</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Sequence Chart Studio: user-friendly drawing and verification tool for MSC

Original language description

The Sequence Chart Studio (scstudio) is a user-friendly verification and drawing tool for Message Sequence Charts (basic MSC, HMSC). It provides several verification algorithms and offers an open interface for additional modules. The graphical front-endis implemented as a Microsoft Visio add-on. The Sequence Chart Studio enables users of Microsoft Visio to: - Execute verification algorithms: detect deadlock/livelock, detect cycles, race conditions, time race condition and find flow - Determine probability distribution of time constraints using Monte Carlo simulation - Export and import the ITU-T Z.120 textual format (.mpr) - Develop proprietary stencils and verification/export modules - Draw basic MSC: line instances, messages, coregions, general ordering, time constraints and measurements - Draw HMSC: references, conditions, connections.

Czech name

—

Czech description

—

Type

R - Software

CEP classification

IN - Informatics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2012

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Internal product ID

Sequence Chart Studio 0.5.2

Technical parameters

Grafický nástroj pro kreslení a verifikaci modelů ve formalizmech Message Sequence Charts a UML Sequence Diagrams implementovaný jako doplněk (add-on) do programu MS Visio obsahující velkou škálu verifikačních algoritmů a funkcí pro pohodlné kreslení. Nástroj je (včetně zdrojového kódu) volně šiřitelný pod licencí LGPL. Odpovědnou osobou pro jednání je Vojtěch Řehák, Fakulta informatiky, Masarykova univerzita, Botanická 68a, Brno, telefon +420 549 494 687, email 3721@mail.muni.cz.

Economical parameters

Konkrétní finanční úspory plynou z rychlejšího kreslení a přehledného zobrazení návrhů a z užití automatických kontrol, které při včasném odhalení chyby v komunikačním protokolu ušetří enormní náklady spojené s jejím dodatečným odhalování a odstraňováním. Výsledek je volně šiřitelný a volně použitelný i pro komerční účely. Z toho důvodu lze jen s těží určit, kde všude a jak moc byl použit a kolik finančních prostředků ušetřil. Podle statistiky na serveru sourceforge byla verze 0.5.2 do konce roku (tj. za půl roku) stažena 698 uživateli z celého světa. Detailní informace viz https://sourceforge.net/projects/scstudio/files/scstudio/0.5.2/stats/timeline?dates=2012-06-26+to+2012-12-31. O konkrétním využití víme z firmy ANF DATA, spol. s r.o., nyní SiemensConvergence Creators, s.r.o., kde byl a dosud je nástroj používán a šetří čas návrhářů. Dále víme i o použití v německé pobočce firmy Siemens a máme informace o použití z osobního kontaktu od experta i z další telekomunikační firmy.

Owner IČO

00216224

Owner name

Masarykova univerzita