Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement

2004 ◽  
Vol 19 (6) ◽  
pp. 828-839 ◽  
Author(s):  
Xiu-Li Sun ◽  
Wen-Yin Zhang ◽  
Jin-Zhao Wu
Keyword(s):  
Real Time ◽  
Operational Semantics ◽  
Action Refinement ◽  
Concurrent Processes ◽  
Event Based

Action Refinement for Real-Time Concurrent Processes with Urgency

2005 ◽  
Vol 20 (4) ◽  
pp. 514-525 ◽  
Author(s):  
Guang-Ping Qin ◽  
Jin-Zhao Wu
Keyword(s):  
Real Time ◽  
Action Refinement ◽  
Concurrent Processes

Modeling Big Data Analytics with a Real-Time Executable Specification Language

2015 ◽  
pp. 289-312
Author(s):  
Amir A. Khwaja
Keyword(s):  
Big Data ◽  
Data Processing ◽  
Real Time ◽  
Data Analytics ◽  
Big Data Analytics ◽  
Exception Handling ◽  
Specification Language ◽  
Big Data Processing ◽  
Business Decisions ◽  
Concurrent Processes

Big data explosion has already happened and the situation is only going to exacerbate with such a high number of data sources and high-end technology prevalent everywhere, generating data at a frantic pace. One of the most important aspects of big data is being able to capture, process, and analyze data as it is happening in real-time to allow real-time business decisions. Alternate approaches must be investigated especially consisting of highly parallel and real-time computations for big data processing. The chapter presents RealSpec real-time specification language that may be used for the modeling of big data analytics due to the inherent language features needed for real-time big data processing such as concurrent processes, multi-threading, resource modeling, timing constraints, and exception handling. The chapter provides an overview of RealSpec and applies the language to a detailed big data event recognition case study to demonstrate language applicability to big data framework and analytics modeling.

Modeling Big Data Analytics with a Real-Time Executable Specification Language

Big Data ◽  
2016 ◽  
pp. 418-440
Author(s):  
Amir A. Khwaja
Keyword(s):  
Big Data ◽  
Data Processing ◽  
Real Time ◽  
Data Analytics ◽  
Big Data Analytics ◽  
Exception Handling ◽  
Specification Language ◽  
Big Data Processing ◽  
Business Decisions ◽  
Concurrent Processes

Big data explosion has already happened and the situation is only going to exacerbate with such a high number of data sources and high-end technology prevalent everywhere, generating data at a frantic pace. One of the most important aspects of big data is being able to capture, process, and analyze data as it is happening in real-time to allow real-time business decisions. Alternate approaches must be investigated especially consisting of highly parallel and real-time computations for big data processing. The chapter presents RealSpec real-time specification language that may be used for the modeling of big data analytics due to the inherent language features needed for real-time big data processing such as concurrent processes, multi-threading, resource modeling, timing constraints, and exception handling. The chapter provides an overview of RealSpec and applies the language to a detailed big data event recognition case study to demonstrate language applicability to big data framework and analytics modeling.

scholarly journals Model-Based Virtual Components in Event-Based Controls: Linking the FMI and IEC 61499

2020 ◽  
Vol 10 (5) ◽  
pp. 1611
Author(s):  
Michael H. Spiegel ◽  
Edmund Widl ◽  
Bernhard Heinzl ◽  
Wolfgang Kastner ◽  
Nabil Akroud
Keyword(s):  
Real Time ◽  
Discrete Event ◽  
Simulation Models ◽  
Hybrid Plant ◽  
Seamless Integration ◽  
Quality Of Control ◽  
Automation Systems ◽  
Coupling Algorithm ◽  
Event Based ◽  
Iec 61499

Various development and validation methods for cyber-physical systems such as Controller-Hardware-in-the-Loop (C-HIL) testing strongly benefit from a seamless integration of (hardware) prototypes and simulation models. It has been often demonstrated that linking discrete event-based control systems and hybrid plant models can advance the quality of control implementations. Nevertheless, high manual coupling efforts and sometimes spurious simulation artifacts such as glitches and deviations are observed frequently. This work specifically addresses these two issues by presenting a generic, standard-based infrastructure referred to as virtual component, which enables the efficient coupling of simulation models and automation systems. A novel soft real-time coupling algorithm featuring event-accurate synchronization by extrapolating future model states is outlined. Based on considered standards for model exchange (FMI) and controls (IEC 61499), important properties such as real-time capabilities are derived and experimentally validated. Evaluation demonstrates that virtual components support engineers in efficiently creating C-HIL setups and that the novel algorithm can feature accurate synchronization when conventional approaches fail.

scholarly journals Real-time event-based formation control of a group of VTOL-UAVs

2017 ◽  
Author(s):  
J.F. Guerrero-Castellanos ◽  
A. Vega-Alonzo ◽  
N. Marchand ◽  
S. Durand ◽  
J. Linares-Flores ◽  
...  
Keyword(s):  
Real Time ◽  
Formation Control ◽  
Event Based
Sign in / Sign up

Export Citation Format

Share Document