Sequencing date flow tasks in SIGNAL

The SIGNAL language is a real-time, synchronized data-flow language. Is model of time is based on instants, and its actions are considered instantaneous. Various application domains such as signal processing and robotics require the possibility of specifying behaviors composed of successions of different modes of interaction with their environment. To this purpose, we introduce the notion of time interval, defined by a start and an end event, and denoting the series of its occurrences. Associating a time interval to a data-flow process specifies a task i.e., a non-instantaneous activity and its execution interval. Different ways of sequencing such tasks are described. We propose these basic elements at the programming language level, in the perspective of extensions to SIGNAL. Application domains feature the discrte sequencing of continuous, data-flow tasks, as is the case, for example, of robotic tasks.

[1]  R. K. Shyamasundar,et al.  Specification of Hybrid Systems in CRP , 1993, AMAST.

[2]  Nicolas Halbwachs,et al.  Projet SYNCHRONE : les formats communs des langages synchrones , 1993 .

[3]  Jean-Luc Gaudiot,et al.  Advanced Topics in Data-Flow Computing , 1991 .

[4]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[5]  R. Acevedo,et al.  Research report , 1967, Revista odontologica de Puerto Rico.

[6]  Inger Klein,et al.  Automatic Synthesis of Sequential Control Schemes , 1993 .

[7]  Joachim Hertzberg,et al.  A semi-reactive planner based on a possible models action formalization , 1992 .

[8]  Olivier F. Roux,et al.  Operational Semantics of a Kernel of the Language ELECTRE , 1992, Theor. Comput. Sci..

[9]  François Chaumette,et al.  Stratégie perceptive d'un environnement statique dans un contexte de vision active , 1993 .

[10]  Albert Benveniste,et al.  SIGNAL as a Model for Real-Time and Hybrid Systems , 1992, ESOP.

[11]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[12]  Farhad Arbab,et al.  MANIFOLD: a programming model for massive parallelism , 1993, Proceedings of Workshop on Programming Models for Massively Parallel Computers.

[13]  Paul Le Guernic,et al.  Combining Dependability with Architectural Adatability by Means of the SIGNAL Language , 1993, WSA.

[14]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[15]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[16]  Joseph Sifakis,et al.  Compiling Real-Time Specifications into Extended Automata , 1992, IEEE Trans. Software Eng..

[17]  Florence Maraninchi,et al.  Argonaute: Graphical Description, Semantics and Verification of Reactive Systems by Using a Process Algebra , 1989, Automatic Verification Methods for Finite State Systems.

[18]  Simin Nadjm-Tehrani,et al.  Real-time hierarchical control , 1992, IEEE Software.

[19]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[20]  Éric Rutten,et al.  A task-level robot programming language and its reactive execution , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.

[21]  Christophe Wolinski,et al.  Vers la synthèse automatique de programmes SIGNAL , 1993 .

[22]  Bernard Espiau,et al.  Computer-aided design of a generic robot controller handling reactivity and real-time control issues , 1993, IEEE Trans. Control. Syst. Technol..

[23]  P. LE PARCUniversit.  Defining the Semantics of Languages for Programmable Controllers with Synchronous Processes , 1993 .

[24]  Éric Rutten,et al.  Temporal Planner = Nonlinear Planner + Time Map Manager , 1993, AI Commun..

[25]  Kirsten Mark Hansen,et al.  Specifying and verifying requirements of real-time systems , 1991, SIGSOFT '91.