SGCCS: A Graphical Language for Real-Time Systems

ŠAFRÁNEK, David. SGCCS: A Graphical Language for Real-Time Systems. In Proceedings SOFSEM 2002 Student Research Forum. Milovy: Mária Bieliková, 2002, p. 47-52.

Basic information

• Original name: SGCCS: A Graphical Language for Real-Time Systems
• Authors: ŠAFRÁNEK, David (203 Czech Republic, guarantor).
• Edition: Milovy, Proceedings SOFSEM 2002 Student Research Forum, p. 47-52, 6 pp. 2002.
• Publisher: Mária Bieliková

Other information

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Czech Republic
• Confidentiality degree: is not subject to a state or trade secret
• WWW: URL
• RIV identification code: RIV/00216224:14330/02:00007148
• Organization unit: Faculty of Informatics
• Keywords in English: graphical specification; SGCCS; CCS; real-time systems
• Tags: CCS, graphical specification, real-time systems, SGCCS

Abstract

We present a graphical language SGCCS as a language for modeling of discrete real-time systems. SGCCS can be viewed as a graphical version of the synchronous Calculus of Communicating Systems (SCCS). A specification in SGCCS contains both graphical and visual components. We give an overview of basic concepts of SGCCS giving an example of specification in SGCCS. Further, we show briefly how the formal semantics of SGCCS is developed.

Links

• GA201/00/1023, research and development project: Name: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů

Investor: Czech Science Foundation, Algorithms and tools for practical verification of concurrent systems.

• MSM 143300001, plan (intention): Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů

Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing