Title | ||
---|---|---|
Object Oriented Design, Modular Analysis, And Fault-Tolerance Of Real-Time Control Software Systems |
Abstract | ||
---|---|---|
When specifying, designing and analyzing complex real-time systems, it is necessary to adopt a modular or compositional methodology. This methodology shall allow the designer the ability to verify local properties of individual modules or components in the system, and also shall allow the verification of the correct behavior of interacting components. The application of Petri nets for the modeling and verification of systems, at specification and design levels are well known. Despite the powerful structuring mechanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analyzing and verifying large systems. In this work we introduce a modular analysis methodology for a kind of high level Petri nets named G-Nets. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1142/S0218194096000193 | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING |
Keywords | Field | DocType |
fault tolerant,software systems,real time systems,object oriented design,petri net,real time control | Complex system,Object-oriented design,Petri net,Systems engineering,Computer science,Systems design,Process architecture,Fault tolerance,Modular design,Structuring,Distributed computing | Journal |
Volume | Issue | ISSN |
6 | 3 | 0218-1940 |
Citations | PageRank | References |
3 | 0.51 | 5 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Angelo Perkusich | 1 | 279 | 61.03 |
Maria Ligia B. Perkusich | 2 | 17 | 5.15 |
Shi-Kuo Chang | 3 | 1856 | 1248.89 |