scholarly journals From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations

2003 ◽  
Author(s):  
T. Grandpierre ◽  
Y. Sorel
Keyword(s):  
Real Time ◽  
Automatic Generation

Automatic generation, texturing and population of a reflective real-time urban environment

2007 ◽  
Vol 31 (4) ◽  
pp. 625-635 ◽  
Author(s):  
R.G. Laycock ◽  
G.D.G. Ryder ◽  
A.M. Day
Keyword(s):  
Urban Environment ◽  
Real Time ◽  
Automatic Generation

Automatic Generation of Real-Time Ada Simulations for Space Station Freedom

SIMULATION ◽  
1993 ◽  
Vol 61 (5) ◽  
pp. 337-345 ◽  
Author(s):  
Richard Ellenberger ◽  
Robert Ling ◽  
Deborah Buscher ◽  
Jo Uhde-Lacovara ◽  
Robert Shuler
Keyword(s):  
Real Time ◽  
Space Station ◽  
Automatic Generation ◽  
Space Station Freedom

Automated Event Recognition for Football Commentary Generation

2014 ◽  
pp. 300-315
Author(s):  
Maliang Zheng ◽  
Daniel Kudenko
Keyword(s):  
Real Time ◽  
Inductive Learning ◽  
Automatic Generation ◽  
Event Recognition ◽  
Dangerous Situation ◽  
Learning Techniques

The enjoyment of many games can be enhanced by in-game commentaries. In this paper, the authors focus on the automatic generation of commentaries for football games, using Championship Manager as a case study. The basis of this approach is a real-time mapping of game states to commentary concepts, such as “dangerous situation for team A”. While in some cases it is feasible to provide such a mapping by hand-coding, in some cases it is not straight-forward because the meaning of the concepts cannot be easily formalized. In these cases, the authors propose to use inductive learning techniques that learn such a mapping from annotated game traces.

STEPPER MOTOR SPEED PROFILE GENERATION IN REAL-TIME SYSTEMS

2020 ◽  
pp. 63-71
Author(s):  
N. Provatorov ◽  
I. Ovcharuk
Keyword(s):  
Real Time ◽  
High Speed ◽  
Adaptive Design ◽  
Automatic Generation ◽  
Stepper Motor ◽  
Necessary Condition ◽  
Speed Profile ◽  
Motor Speed ◽  
Production Safety ◽  
Improved Model

With the development and distribution of embedded control systems for industrial and household equipment, the generation of speed trajectories for systems controlled by motors, other rotary mechanisms and units remains an urgent task. Adjusting the acceleration profile improves the quality of the system, and the use of adaptive design of automatic controls theoretically increases the speed of work. Implementation of compulsory software control of the speed profile or its automatic generation, according to the current parameters of the system, reduces the risks associated with the human factor and protects the system from operator inaccuracy. Reducing the factor of undesirable interference and creating a model of controlled environment increases the level of production safety, therefore, improving and modernizing the existing approach to managing high-speed industrial systems is a necessary condition for its further development. This article proposes to consider an improved model of a software speed controller that controls the pulse driver of a stepper motor. Based on existing research and corporate solutions during production development used experimentally the adaptive design of the state machine of the system, makes it possible to vary the speed of rotation of the stepper motor during the operation of the system in real time.

Embedded System Verification Using Formal Model an Approach Based on the Combined Use of UML and Maude Language

2018 ◽  
Vol 6 (2) ◽  
pp. 42-58
Author(s):  
Meliouh Amel ◽  
Chaoui Allaoua
Keyword(s):  
Embedded System ◽  
Real Time ◽  
Code Generation ◽  
Formal Model ◽  
System Modeling ◽  
Automatic Generation ◽  
Modeling Tools ◽  
Automated Modeling ◽  
Combined Use ◽  
System Verification

The approach proposed in this article presents a formal verification of embedded systems. The method relies on an automated modeling and code generation based on the systems' behavior. The key concept is the combined use of a subset of UML behavior diagrams extended with timing annotations (Real-Time Statechart and Real-Time Collaboration diagrams) for system modeling and the Maude language for verification. First, UML modeling tools are developed. Then, an automatic generation of equivalent Maude specification is performed. The approach is based on code generation. This is why it is possible to use an available model checking tool to verify certain timed properties represented in Linear Temporal Logic (LTL). The meta-modeling tool ATOM3 is used. A case study is presented to illustrate the feasibility of the approach.

Sign in / Sign up

Export Citation Format

Share Document