Please use this identifier to cite or link to this item:
|Title:||Representing and executing real-time systems||Authors:||Ramirez, R.||Issue Date:||1998||Citation:||Ramirez, R. (1998). Representing and executing real-time systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1470 LNCS : 279-287. ScholarBank@NUS Repository.||Abstract:||In this paper, we describe an approach to the representation, specification and implementation of real-time systems. The approach is based on the notion of concurrent object-oriented systems where processes are represented as objects. In our approach, the behaviour of an object (its safety properties and time requirements) is declaratively stated as a set of temporal constraints among events which provides great advantages in writing concurrent real-time systems and manipulating them while preserving correctness. The temporal constraints have a procedural interpretation that allows them to be executed, also concurrently. Concurrency issues and time requirements are separated from the code, minimizing dependency between application functionality and concurrency/timing control.||Source Title:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)||URI:||http://scholarbank.nus.edu.sg/handle/10635/99587||ISBN:||3540649522||ISSN:||03029743|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Oct 12, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.