Sciweavers

5 search results - page 1 / 1
» Automated Modeling of Dynamic Reliability Block Diagrams Usi...
Sort
View
TSMC
2010
12 years 11 months ago
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Z...
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
13 years 8 months ago
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
Marouane Kessentini, Arbi Bouchoucha, Houari A. Sa...
SEKE
2004
Springer
13 years 10 months ago
Mapping UML Diagrams to a Petri Net Notation for System Simulation
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
Zhaoxia Hu, Sol M. Shatz
ETT
2000
149views Education» more  ETT 2000»
13 years 4 months ago
Channel Allocation with Recovery Strategy in Wireless Networks
With the increasing penetration of wireless communications systems, customers are expecting the same level of service, reliability and performance from the wireless communication s...
Yue Ma, James J. Han, Kishor S. Trivedi
OOPSLA
2004
Springer
13 years 10 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed