Title :
Real-time pattern matching technique for executable SA/RT specifications
Author_Institution :
Tech. Res. Centre of Finland, Oulo, Finland
Abstract :
Preliminary results with an experimental run-time system are reported. The run-time system is designed for real-time prototyping of software specifications created with the Ward & Mellor Structured Analysis for Real-Time systems (SA/RT) techniques. Execution is based on SA/RT specifications converted to an object-oriented C language syntax from a high-level Petri net representation of SA/RT specifications. The run-time system controlling execution is based on an efficient pattern-directed implementation of the Ward scheduling algorithm which is needed to execute the SA/RT specifications according to their native execution rules. The design and the implementation issues of pattern matching and the Ward scheduling techniques on a single-processor system are presented and discussed in detail. The possibilities of extending this approach to hard real-time systems prototyping are discussed
Keywords :
Petri nets; formal specification; pattern recognition; real-time systems; scheduling; software prototyping; Structured Analysis for Real-Time systems; Ward scheduling algorithm; executable SA/RT specifications; high-level Petri net representation; object-oriented C language syntax; real-time pattern matching; real-time prototyping; run-time system; Computer aided software engineering; Delay; Embedded system; Object oriented modeling; Pattern matching; Processor scheduling; Real time systems; Runtime environment; Scheduling algorithm; Software prototyping;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113637