Abstract
The IDRIS project is developing a model, a methodology, a notation, and a CASE tool for the interactive design of real-time, or reactive, systems. Increasingly such designs are implemented on parallel hardware, for performance and reliability reasons. The work described here addresses performance, but not reliability, issues.
The model describes a real time system in terms of a database and a set of asynchronous tasks. Each task is the system's response to an external stimulus event. A task decomposes into atomic transactions, acting on entities in the database, connected by a control structure which is determined by entity access constraints.
Based on a static analysis of these data dependencies, the methodology is able to rely on scheduling rather than conventional locking to control access to the database. The model describes real time systems generally. The methodology concentrates on the class of hard real time systems designs — those which must guarantee to meet the response latency and throughput constraints specified by the requirements. The methodology uses scheduling and allocation heuristics to map tasks and their transactions onto physical processors.
The methodology has a number of stages and the designer is assisted by four graphical notations: event context diagrams; data dependency rings for capturing both intra task and inter task data dependencies; precedence graphs for expressing the intra task control structure implied by the data dependencies; Gantt charts for expressing worst case schedules. The methodology assumes a run time environment with a hierarchy of schedulers to control processing and access to data entities. An interactive CASE tool helps the designer capture and manipulate the design information, display partial designs, and perform allocation and scheduling trials against the specification. An example real time system design, for a ship control system, generated using the methodology and the CASE tool, is briefly described.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
H. Kasahara and S. Narita. Practical Multiprocessor Scheduling Algorithms for Efficient Parallel Processing. IEEE Transactions on Computers, C-33(l 1), Nov. 1984.
C.L. Liu and J.W. Layland. Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment. Journal of the ACM, 20(1), Jan. 1973.
R.P.Y. Ma. A Model to Solve Timing Critical Application Problems in Distributed Computer Systems. IEEE Computer, 1984.
R. Ma E.Y.S. Lee and M. Tsuchiya. A Task Allocation Model For Distributed Computing Systems. IEEE Transactions on Computers, C-31(l), Jan. 1982.
M. Nejad-Sattary. An Extended Data Flow Diagram Notation for Specification of Real-Time Systems. PhD Thesis, City University, 1990.
P.M. Sleat. A Static, Transaction Based, Design Methodology, for Hard Real-Time Systems. PhD thesis, City University, 1991.
P.M. Sleat and P.E. Osmon. A Methodology for Real-Time Database System Construction. In Proceedings of the Third International Conference on Software Engineering for Real-Time Systems.IEE Sept. 1991.
P.T. Ward and S.J. Mellor. Structured Development for Real-Time Systems, volume 1,2 and 3. Yourdon Press, New Jersey, 1986.
E. Yourdon and L. Constantine. Structured Design. Yourdon Press, 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Osmon, P., Sleat, P. (1992). IDRIS: Interactive design of reactive information systems. In: Loucopoulos, P. (eds) Advanced Information Systems Engineering. CAiSE 1992. Lecture Notes in Computer Science, vol 593. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0035150
Download citation
DOI: https://doi.org/10.1007/BFb0035150
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55481-3
Online ISBN: 978-3-540-47099-1
eBook Packages: Springer Book Archive