Embedded real-time system modeling language analysis and comparison

2011 ◽  
Author(s):  
Yang Yang ◽  
Huang Lida ◽  
Li Renfa ◽  
Zeng Qingguang
Keyword(s):  
Real Time ◽  
System Modeling ◽  
Modeling Language ◽  
Time System ◽  
Real Time System ◽  
Language Analysis

scholarly journals Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 26314-26323
Author(s):  
Yilong Yang ◽  
Quan Zu ◽  
Wei Ke ◽  
Miaomiao Zhang ◽  
Xiaoshan Li
Keyword(s):  
Real Time ◽  
System Modeling ◽  
Transition System ◽  
Time System ◽  
Real Time System ◽  
Labeled Transition System

scholarly journals A Time Refinement Framework Based on iUML-B State Machine

2021 ◽  
Vol 2021 ◽  
pp. 1-21
Author(s):  
Han Peng ◽  
Xiaoli Zhang ◽  
Guozhen Cao ◽  
Zhouzhou Liu ◽  
Yuejuan Jing ◽  
...  
Keyword(s):  
Real Time ◽  
Timed Automata ◽  
System Modeling ◽  
Research Work ◽  
Time Constraints ◽  
Formal Modeling ◽  
Time System ◽  
Time Model ◽  
Real Time System ◽  
Time Systems

Event-B is a formal modeling language that is very suitable for software engineering, but it lacks the ability of modeling time. Researchers have proposed some methods for modeling time constraints in Event-B. The limitations with existing methods are that, first of all, the existing research work lacks a systematic time refinement framework based on Event-B; secondly, the existing methods only model time in the Event-B framework and cannot be smoothly converted to automata-based models such as timed automata that facilitate the verification of time properties. These limitations make it more difficult to model and verify real-time systems with Event-B because it is very time-consuming to prove time properties in the Event-B framework. In this paper, we firstly proposed a systematic time refinement framework to express and refine time constraints in Event-B. Secondly, we also proposed various vertical refinement patterns and horizontal extension patterns to guide modelers to refine the Event-B real-time model step by step. Finally, we use a real-time system case to demonstrate the practicality of our method. The experimental results show that the proposed method can make the real-time system modeling in Event-B more convenient and the models are easier to convert to the timed automata model, thereby facilitating the verification of various time properties.

Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA

2012 ◽  
Vol 4 (2) ◽  
pp. 81-104 ◽  
Author(s):  
Yingxu Wang ◽  
Yousheng Tian
Keyword(s):  
Real Time ◽  
Interface Design ◽  
Process Algebra ◽  
System Modeling ◽  
Conceptual Modeling ◽  
Formal Specifications ◽  
Formal Models ◽  
Switching System ◽  
Time System ◽  
Real Time System

The Telephone Switching Systems (TSS) is a typical real-time system that is highly complicated in design and implementation. In order to deal with the extreme complexity in real-world settings, a suitable and efficient mathematical means is required beyond any programming language. To this purpose, an efficient and precise denotational mathematics known as the Real-Time Process Algebra (RTPA) and the RTPA methodology for system modeling are introduced. Empirical experimental results are reported in this paper on the implementation of TSS based on formal models of the system in RTPA. Three phases of experiments are designed on TSS conceptual modeling, system interface design, and programming implementation and testing. All groups in the experiments with 7 to 8 members have been able to efficiently understood, design, and implement the TSS system in a simplified version in four weeks, which has been estimated as a 10+ person-year project in the industry. The efficiency and expressiveness of RTPA are empirically demonstrated base on the case studies in the experiments.

Real-Time System Modeling with ACCORD/UML Methodology

2004 ◽  
pp. 51-70 ◽  
Author(s):  
Trung Hieu Phan ◽  
Sebastien Gerard ◽  
Francois Terrier
Keyword(s):  
Real Time ◽  
System Modeling ◽  
Time System ◽  
Real Time System

Real-Time System for Sending Data from Three Clients to One Server with MATLAB

2015 ◽  
Vol 2 (1) ◽  
pp. 35-41
Author(s):  
Rivan Risdaryanto ◽  
Houtman P. Siregar ◽  
Dedy Loebis
Keyword(s):  
Information System ◽  
Real Time ◽  
Time System ◽  
Real Time System ◽  
The Real ◽  
Performance Time ◽  
Data Process ◽  
Effectiveness And Efficiency

The real-time system is now used on many fields, such as telecommunication, military, information system, evenmedical to get information quickly, on time and accurate. Needless to say, a real-time system will always considerthe performance time. In our application, we define the time target/deadline, so that the system should execute thewhole tasks under predefined deadline. However, if the system failed to finish the tasks, it will lead to fatal failure.In other words, if the system cannot be executed on time, it will affect the subsequent tasks. In this paper, wepropose a real-time system for sending data to find effectiveness and efficiency. Sending data process will beconstructed in MATLAB and sending data process has a time target as when data will send.

The Goal-Setting Model in a Multiagent Hard Real-Time System

Vestnik MEI ◽  
2018 ◽  
Vol 5 (5) ◽  
pp. 73-78
Author(s):  
Igor В. Fominykh ◽  
◽  
Sergey V. Romanchuk ◽  
Nikolay Р. Alekseev ◽  
◽  
...  
Keyword(s):  
Real Time ◽  
Goal Setting ◽  
Time System ◽  
Real Time System ◽  
Hard Real Time
Sign in / Sign up

Export Citation Format

Share Document