Operating system concepts (2nd ed.)
Operating system concepts (2nd ed.)
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
Operating systems: concepts and design
Operating systems: concepts and design
Performance models of multiprocessor systems
Performance models of multiprocessor systems
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control
IEEE Transactions on Computers
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Computability of Recursive Functions
Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Multi-Microprocesser Systems for Real-Time Applications
Multi-Microprocesser Systems for Real-Time Applications
Computation: finite and infinite machines
Computation: finite and infinite machines
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Hi-index | 0.00 |
We propose a methodology for programming multiprocessor event-driven systems. Thismethodology is based on two programming levels: the task level, which involvesprogramming the basic actions that may be executed in the system as units with a singlecontrol thread; and the job level, on which parallel programs to be executed by thecomplete multiprocessor system are developed. We also present the structure andimplementation of an operating system designed as the programming support for software development under the proposed methodology. The model that has been chosen for the representation of the system software is based on an extended Petri net, which provides a well-established conceptual model for the development of the tasks, thus allowing a totally independent and generic development. This model also facilitates job-level programming, since the Petri net is a very powerful description tool for the parallel program.