A Template-Based Methodology for the Specification and Automated Composition of Performability Models
暂无分享,去创建一个
[1] Gianfranco Ciardo,et al. A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..
[2] Joseph Sifakis,et al. The Algebra of Connectors—Structuring Interaction in BIP , 2007, IEEE Transactions on Computers.
[3] Colin Atkinson,et al. Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..
[4] Hein Meling,et al. Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera , 2016, IEEE Transactions on Parallel and Distributed Systems.
[5] William H. Sanders,et al. Model-based evaluation: from dependability to security , 2004, IEEE Transactions on Dependable and Secure Computing.
[6] Andrea Bondavalli,et al. Towards a MDE Transformation Workflow for Dependability Analysis , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
[7] Gianfranco Ciardo,et al. Ten Years of Saturation: A Petri Net Perspective , 2012, Trans. Petri Nets Other Model. Concurr..
[8] Maciej Koutny,et al. The Box Algebra - A Model of Nets and Process Expressions , 1999, ICATPN.
[9] Stefano Marrone,et al. A Compositional Modelling Approach for Large Sensor Networks Design , 2013, 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing.
[10] Kishor S. Trivedi,et al. Stochastic Reward Nets for Reliability Prediction , 1996 .
[11] Armin Zimmermann,et al. Stochastic Discrete Event Systems: Modeling, Evaluation, Applications , 2007 .
[12] Richard F. Paige,et al. Weaving an Assurance Case from Design: A Model-Based Approach , 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.
[13] William H. Sanders,et al. A Unified Approach for Specifying Measures of Performance, Dependability and Performability , 1991 .
[14] Silvano Dal-Zilio,et al. Formal verification of user-level real-time property patterns , 2017, 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).
[15] Karama Kanoun,et al. Availability of CAUTRA, a Subset of the French Air Traffic Control System , 1999, IEEE Trans. Computers.
[16] Cyril S. Ku,et al. Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.
[17] Andrea Bondavalli,et al. Stochastic Activity Networks Templates , 2018 .
[18] Silvano Chiaradonna,et al. A Stochastic Modeling Approach for an Efficient Dependability Evaluation of Large Systems with Non-anonymous Interconnected Components , 2017, 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE).
[19] Serge Haddad,et al. Model Checking Timed and Stochastic Properties with CSL^{TA} , 2009, IEEE Transactions on Software Engineering.
[20] Poul E. Heegaard,et al. Including Failure Correlation in Availability Modeling of a Software-Defined Backbone Network , 2017, IEEE Transactions on Network and Service Management.
[21] Christian J. Dietrich,et al. Designing , Implementing and Using Domain-Specific Languages , 2013 .
[22] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[23] Andrea Bondavalli,et al. A Decomposition-Based Modeling Framework for Complex Systems , 2009, IEEE Transactions on Reliability.
[24] Charles R. McLean,et al. Modeling and Simulation of Critical Infrastructure Systems for Homeland Security Applications , 2011 .
[25] William H. Sanders,et al. Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models , 2009, 2009 IEEE/IFIP International Conference on Dependable Systems & Networks.
[26] Simona Bernardi,et al. Dependability modeling and analysis of software systems specified with UML , 2012, CSUR.
[27] Domenico Cotroneo,et al. Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks , 2012, IEEE Transactions on Computers.
[28] John F. Meyer,et al. On Evaluating the Performability of Degradable Computing Systems , 1980, IEEE Transactions on Computers.
[29] William H. Sanders,et al. Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[30] Kishor S. Trivedi,et al. A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.
[31] Douglas C. Schmidt,et al. Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.
[32] Brigitte Plateau,et al. Stochastic Automata Network For Modeling Parallel Systems , 1991, IEEE Trans. Software Eng..
[33] Silvano Chiaradonna,et al. A stochastic modelling framework to analyze smart grids control strategies , 2016, 2016 IEEE Smart Energy Grid Engineering (SEGE).
[34] Neeraj Suri,et al. Compositional design of RT systems: a conceptual basis for specification of linking interfaces , 2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..
[35] William H. Sanders,et al. Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.
[36] William H. Sanders,et al. Reduced base model construction methods for stochastic activity networks , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.
[37] Uwe Aßmann,et al. Invasive Software Composition , 2003, Springer Berlin Heidelberg.
[38] Karama Kanoun,et al. Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions , 2000, IEEE Trans. Reliab..
[39] Mohammad Jamshidi,et al. System of systems engineering : innovations for the 21st century , 2008 .
[40] Karama Kanoun,et al. Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach , 2003, IEEE Trans. Computers.
[41] Andrea Bondavalli,et al. QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis , 2009, J. Softw..
[42] Eelco Visser,et al. DSL Engineering - Designing, Implementing and Using Domain-Specific Languages , 2013 .
[43] Lars Michael Kristensen,et al. Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .