Abstract
This paper describes an execution environment for reactive systems specified in ELECTRE. ELECTRE allows the specification of a real-time application's temporal behaviour in terms of sequential entities called modules, of events, of relations between modules like parallelism, and of relations between modules and events like preemption. ELECTRE is based on a design and implementation approach enforcing the separation of the sequential part of the application (i.e. module specification), the event part of the application (i.e. event specification), and the control part of the application (i.e. reaction to events). This separation is also reflected at the execution level which includes a control unit, a module unit and an event unit. The execution environment is supplemented by a display system, which can be used for simulation, debugging or monitoring purposes. The display system is a multiwindow facility based on two main types of representations: a structural representation and a temporal representation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
B. Aeuernheimer, R.A. Kermmerer. RT-ASLAN: A Specification Language for Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, n. 9, pp. 879–889, September 1986.
A. Benveniste, G. Berry. Real-Time Systems Design and Programming. Special section of the Proceedings of the IEEE on real-time programming. To appear in autumn 1991.
B. Bruegge, P. Hibbard. Generalized Path Expressions: A High Level Debugging Mechanism. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on High-Level Debugging, pp. 34–44, March 1983.
E. Brinksma. A tutorial on Lotos. IFIP Workshop on Protocol Specifications, Testing and Implementation, Moissac, 1985.
R.H. Campbell, A.N.Habermann. The Specification of Process Synchronization by Path Expressions. Lecture Notes in Computer Science, Vol. 16, Springer-Verlag, pp. 89–102, December 1974.
D. Creusot. Guide d'utilisation du système ELECTRE Version PC. Rapport de contrat Renault, VEH-ELE-D1, October 1988.
A.-M. Deplanche, J.-P. Elloy, O. Roux. Redundancy in Fault Tolerant Real-time Process Control Systems. Congrès mondial IMACS, Paris, July 1988.
R.D. Dixon, D. Hemmendinger. Analyzing Synchronization Problems by Using Event Histories as Languages. pp. 183–188, 1986.
J.P. Elloy, O. Roux. ELECTRE: A Language for Control Structuring in Real-Time. The Computer Journal, Vol. 28, n. 5, 1985.
S.R. Faulk, D.L. Parnas. On Synchronization in Hard-Real-Time Systems. ACM, Vol. 31, n. 3, March 1988.
D. Harel, A. Pnueli. On the Development of Reactive System: Logic and Models of Concurrent Systems. NATO ASI Series, Vol. 13 (K.R.Apt, ed.), Springer-Verlag, New-York, pp. 477–498, 1985.
D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Stull-Trauring, M. Trakhtenbrot. STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Transactions on Software Engineering, Vol. 16, n. 4, (K.R.Apt, ed.), pp. 403–414, April 1990.
F. Jahanian, A. Mok. Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, n. 9, pp. 890–904, September 1986.
A. Kung, I. Lacrouts-Cazenave, C. Serrano-Morales. Interconnection of Vehicle Software Components. Working conference on decentralized systems. IFIP W.G.10.3, Lyon, December 1989.
P. Lemoine, Y. Trinquet, J. Perraud. Une proposition de modification de la structure d'arbre ELECTRE. Internal report LAN, 1990.
R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science, Springer-Verlag, n. 92, 1980.
J.S. Ostroff. A Logic for Real-Time Discrete Event Processes. IEEE Control System Magazine, pp. 95–102, June 1990.
J. Perraud, O. Roux, M. Huou. Operational Semantics of a Kernel of the Electre Language. To appear in Theoretical Computer Science, n. 100, November 1992.
A. Pnueli. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: a Survey of Current Trends. Current Trends in Concurrency (Bakker & Al. eds.). Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin, pp. 510–584, 1986.
SCEPTRE. TSI, Vol. 3, n.1, January–February 1984.
R. Valette, M. Paludetto, B. Porcher-Labreuille, P. Farail. Approche Orientée Objet HOOD et Réseaux de Petri pour la Conception de Logiciel Temps-Réel. Journées Internationales sur le Génie Logiciel et ses Applications, Toulouse (France), December, 1988.
P.T. Ward. The Transformation Schema: an Extension of the Data Flow Diagram to Represent Control and Timing. IEEE Transaction on Software Engineering, Vol. SE-12, n. 2, pp. 198–210, February 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Creusot, D. et al. (1991). Execution environment for ELECTRE applications. In: van Lamsweerde, A., Fugetta, A. (eds) ESEC '91. ESEC 1991. Lecture Notes in Computer Science, vol 550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540547428_47
Download citation
DOI: https://doi.org/10.1007/3540547428_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54742-6
Online ISBN: 978-3-540-46446-4
eBook Packages: Springer Book Archive