ACM Transactions on Computer Systems (TOCS)
Quantitative system performance: computer system analysis using queueing network models
Quantitative system performance: computer system analysis using queueing network models
Communicating sequential processes
Communicating sequential processes
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
Structures of discrete event simulation: an introduction to the engagement strategy
Structures of discrete event simulation: an introduction to the engagement strategy
Sensitivity analysis of reliability and performability measures for multiprocessor systems
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Probability, statistics, and queueing theory with computer science applications
Probability, statistics, and queueing theory with computer science applications
Performability Analysis Using Semi-Markov Reward Processes
IEEE Transactions on Computers
Reliability Modeling: An Overview for System Designers
Computer - Special issue on instruction sequencing
On the solution of GSPN reward models
Performance Evaluation
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
WSC '92 Proceedings of the 24th conference on Winter simulation
A decomposition approach for stochastic reward net models
Performance Evaluation
Design and validation of protocols: a tutorial
Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
Software engineering (4th ed.)
Software engineering (4th ed.)
On the computation of performance characteristics of concurrent programs using GSPNs
Performance Evaluation - Special issue: performance modeling of parallel processing systems
A multi-level solution algorithm for steady-state Markov chains
SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Software architecture of the EPOCA integrated environment
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
An Introduction to Operating Systems
An Introduction to Operating Systems
Communication and Concurrency
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
The Effect of Detection and Restoration Times forError Recovery in Communication Networks
Journal of Network and Systems Management
A Software Package for the Analysis of Generalized Stochastic Petri Net Models
International Workshop on Timed Petri Nets
Toward a Definition of Modeling Power for Stochastic Petri Net Models
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Sensitivity Analysis of Deterministic and Stochastic Petri Nets
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Specification of Stochastic Properties with CSP
Proceedings of the 1994 International Conference on Parallel and Distributed Systems
Operational Petri net semantics for CCSP
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Analysis of Real-Time Concurrent System Models based on CSP Using Stochastic Petri Nets
Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Performance evaluation of dynamic priority operating systems
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
State Space Construction and Steady--State Solution of GSPNs on a Shared--Memory Multiprocessor
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
Reliability Modeling Using SHARPE
Reliability Modeling Using SHARPE
Specification and analysis of stochastic properties for concurrent systems expressed using csp
Specification and analysis of stochastic properties for concurrent systems expressed using csp
Probability, Statistics, and Queueing Theory with Computer Science Applications
Probability, Statistics, and Queueing Theory with Computer Science Applications
Effective Bayesian inference for stochastic programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Proceedings of the 2004 ACM symposium on Applied computing
Hi-index | 0.00 |
In a perfect world, verification and validation of a software design specification would be possible before any code was generated. Indeed, in a perfect world we would know that the implementation was correct because we could trust the class libraries, the development tools, verification tools and simulations, etc. These features would provide the confidence needed to know that all aspects (complexity, logical and timing correctness) of the design were fully satisfied (i.e., everything was right). Right in the sense that we built it right (it is correct with respect to its specification) and it solves the right problem. Unfortunately, it is not a perfect world, and therefore we must strive to continue to refine, develop and validate useful methods and tools for the creation of safe and correct software. This paper considers the analysis of systems expressed using formal notations. We introduce our framework, the modeling cycle, and motivate the need for tool supported rigorous methods. Our framework is about using systematic formal techniques for the creation and composition of software models that can further enable reasoning about high‐assurance systems. We describe several formal modeling techniques within this context (i.e., reliability and availability models, performance and functional models, performability models, etc.). This discussion includes a more precise discourse on stochastic methods (i.e., DTMC and CTMC) and their formulation. In addition, we briefly review the underlying theories and assumptions that are used to solve these models for the measure of interest (i.e., simulation, numerical and analytical techniques). Finally, we present a simple example that employs generalized stochastic Petri nets and illustrates the usefulness of such analysis methods.