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

Author(s):  
T. Grandpierre ◽  
Y. Sorel
2007 ◽  
Vol 31 (4) ◽  
pp. 625-635 ◽  
Author(s):  
R.G. Laycock ◽  
G.D.G. Ryder ◽  
A.M. Day

SIMULATION ◽  
1993 ◽  
Vol 61 (5) ◽  
pp. 337-345 ◽  
Author(s):  
Richard Ellenberger ◽  
Robert Ling ◽  
Deborah Buscher ◽  
Jo Uhde-Lacovara ◽  
Robert Shuler

Author(s):  
Maliang Zheng ◽  
Daniel Kudenko

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.


Author(s):  
N. Provatorov ◽  
I. Ovcharuk

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.


Author(s):  
Meliouh Amel ◽  
Chaoui Allaoua

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