Filters








374 Hits in 8.7 sec

Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems

Tetsuro Katayama, Zhijia Zhao, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
2014 Journal of Robotics, Networking and Artificial Life (JRNAL)  
This paper proposes a new method to automatically build Markov Chain Usage Model.  ...  The proposed method establishes the time points and builds a new UML diagram which can test the communication delay of a distributed system to improve its reliability.  ...  Method of Building Markov Chain Usage Model De-sequence diagram For testing the communication delay of a distributed system from UML diagram, we need to describe interactive time and sequence between  ... 
doi:10.2991/jrnal.2014.1.2.5 fatcat:wsbff2zzmvehfbvuby6a42oxfm

Real-time UML-based performance engineering to aid manager's decisions in multi-project planning

A. Bertolino, E. Marchetti, R. Mirandola
2002 Proceedings of the third international workshop on Software and performance - WOSP '02  
To illustrate the approach, we model the case of a manager that must decide a release date for a product undergoing the testing phase.  ...  The proposed methodology uses as the manager's interface a subset of Real-Time UML, the recently adopted OMG standard specialized profile for addressing schedulability, performance and timeliness.  ...  In particular, we apply a method proposed in [5] , [14] for the derivation of performance models based on SPE techniques, starting from a set of UML diagrams.  ... 
doi:10.1145/584408.584410 fatcat:3vzb5z3om5db7nauxywpyc2pyq

Real-time UML-based performance engineering to aid manager's decisions in multi-project planning

A. Bertolino, E. Marchetti, R. Mirandola
2002 Proceedings of the third international workshop on Software and performance - WOSP '02  
To illustrate the approach, we model the case of a manager that must decide a release date for a product undergoing the testing phase.  ...  The proposed methodology uses as the manager's interface a subset of Real-Time UML, the recently adopted OMG standard specialized profile for addressing schedulability, performance and timeliness.  ...  In particular, we apply a method proposed in [5] , [14] for the derivation of performance models based on SPE techniques, starting from a set of UML diagrams.  ... 
doi:10.1145/584369.584410 dblp:conf/wosp/BertolinoMM02 fatcat:q4h3alsadne57bxfqyjarkxi34

Software Performance Modeling Using UML and Petri Nets [chapter]

José Merseguer, Javier Campos
2004 Lecture Notes in Computer Science  
The approach surveyed has as main features that it uses the UML diagrams to specify the functional and performance requeriments of the system and the stochastic Petri nets formalism to analyse it.  ...  Software Performance Engineering has emerged as a discipline to complement Software Engineering research in order to address this kind of problems.  ...  The result of the proposed translation consists in a performance model that represents either the whole system (composition of the LGSPN representing each SC in the system) or a concrete execution of the  ... 
doi:10.1007/978-3-540-24663-3_13 fatcat:fee4zu5nmvb5jgxfdu7yl52u5m

Dependability modeling and analysis of software systems specified with UML

Simona Bernardi, José Merseguer, Dorina C. Petriu
2012 ACM Computing Surveys  
The goal is to survey dependability modeling and analysis of software and systems specified with UML, with focus on reliability, availability, maintainability and safety (RAMS).  ...  More research is needed for tool development to automate the derivation of analysis models and to give feedback to designers.  ...  ACKNOWLEDGMENT The authors thank the anonymous reviewers for their valuable help to improve this work. ACM Computing Surveys, Vol. 0, No. 0, Article 00, Publication date: 2011.  ... 
doi:10.1145/2379776.2379778 fatcat:xyu5nh42z5dohnc27ac5dpuzp4

Performance evaluation of component-based software systems: A survey

Heiko Koziolek
2010 Performance evaluation (Print)  
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specifications created by component  ...  We classified the approaches according to the expressiveness of their component performance modelling languages.  ...  Acknowledgements: The author would like to thank the members of the SDQ research group at the University of Karlsruhe, especially Anne Martens, Klaus Krogmann, Michael Kuperberg, Steffen Becker, Jens Happe  ... 
doi:10.1016/j.peva.2009.07.007 fatcat:ksgbqwets5btvbcatkohjbkkba

Structural modeling of industrial wireless sensor and actuator networks for reconfigurable mechatronic systems

Reza Abrishambaf, Majid Hashemipour, Mert Bal
2012 The International Journal of Advanced Manufacturing Technology  
A prototype software tool is designed to translate the developed UML diagrams to IEC 61499 standard models as XML files.  ...  The proposed methodology is based on the implementation of the IEC 61499 standard for the distributed control of mechatronic systems.  ...  Coverability (reachability) tree for wireless sensor & actuator node ..... 93 xiv Figure 7-4: Markov chain graph for the proposed petri net model ............................  ... 
doi:10.1007/s00170-012-4070-y fatcat:mnlnrimx4va6piszhpocckzpam

Architectural-level risk analysis using uml

K. Goseva-Popstojanova, A. Hassan, A. Guedem, W. Abdelmoez, D.E.M. Nassar, H. Ammar, A. Mili
2003 IEEE Transactions on Software Engineering  
Then, a Markov model is constructed to obtain scenarios risk factors. The risk factors of use cases and the overall system risk factor are estimated using the scenarios risk factors.  ...  In order to improve the software development process and the quality of software products, we need to be able to build risk analysis models based on data that can be collected early in the development  ...  Then, we develop a Markov model to estimate scenarios risk factors from the risk factors of components and connectors.  ... 
doi:10.1109/tse.2003.1237174 fatcat:msfl2d6wd5djvde7i52blon7la

Stochastic Dependability Analysis of System Architecture Based on UML Models [chapter]

István Majzik, András Pataricza, Andrea Bondavalli
2003 Lecture Notes in Computer Science  
The work in this paper 1 is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models.  ...  We show how structural UML diagrams can be processed to filter out the dependability related information and how a system-wide dependability model is constructed.  ...  random delays from the distribution).  ... 
doi:10.1007/3-540-45177-3_10 fatcat:xe5uoc5ghfbtfgmqiusveddvfi

A Scenario-Based Reliability Analysis Approach for Component-Based Software

S. Yacoub, B. Cukic, H.H. Ammar
2004 IEEE Transactions on Reliability  
An extension of the proposed model and algorithm is also developed for distributed software systems.  ...  This is particularly useful when the system is built partially or fully from existing off-the-shelf components. • It is suitable for analyzing the reliability of distributed software systems because it  ...  Several approaches use Markov chains to develop reliability models (Markov Models, MM) for software systems, for example [28] , [29] .  ... 
doi:10.1109/tr.2004.838034 fatcat:7vdodkn4xjf6pnzx2iur25hn6i

The KlaperSuite framework for model-driven reliability analysis of component-based systems

Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri, Vincenzo Grassi, Heiko Koziolek, Raffaela Mirandola
2013 Journal of Software and Systems Modeling  
First we describe our comprehensive tool-chain based on the KLAPER language -which previously was only a stand-alone proposal and lacked the level of integration necessary for its usage in real scenarios  ...  The PCM approach proposes its own modeling language to represent component-based software systems in place of UML and provides a comprehensive model-driven toolchain to analyze several quality attributes  ...  [16] propose a mapping from UML diagrams into Markov models, but also provide no tool support. Goseva et al.  ... 
doi:10.1007/s10270-013-0334-8 fatcat:5wnh3xrqvfhmhiqkgpk3x3heyu

COST IC1404 WG1 Deliverable WG1.1: State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development

Stefan Klikovits, Rima Al-Ali, Moussa Amrani, Ankica Barisic, Fernando Barros, Dominique Blouin, Etienne Borde, Didier Buchs, Holger Giese, Miguel Goulao, Mauro Iacono, Florin Leon (+3 others)
2019 Zenodo  
It consists of a catalog of formalisms, modelling languages and tools for cyberphysical systems development.  ...  Deliverable WG1.1 of working group 1 on foundations for multi-paradigm modeling for cyber-physical systems.  ...  It is a method to map invariants from requirements level with parts of the system architecture.  ... 
doi:10.5281/zenodo.2538711 fatcat:itthyvenhfhmdn3f3jap7yf42y

An MDA Approach to Tame Component Based Software Development [chapter]

Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau
2004 Lecture Notes in Computer Science  
We thus introduce a QoS contract model (called QoSCL for QoS Constraint Language), allowing QoS contracts and their dependencies to be modeled in a UML2.0 modeling environment.  ...  We illustrate our approach with the example of a GPS (Global Positioning System) software component, from its functional and contractual specifications to its implementation in a .Net framework.  ...  Both parts still need to be better integrated with UML2.0 modelling environments, which is work in progress.  ... 
doi:10.1007/978-3-540-30101-1_12 fatcat:7bludy7ahrdfffj427yqnzv3gi

Modeling event-driven service-oriented systems using the palladio component model

Christoph Rathfelder, Samuel Kounev
2009 Proceedings of the 1st international workshop on Quality of service-oriented software systems - QUASOSS '09  
In this paper, we propose an extension of the Palladio Component Model (PCM) that provides natural support for modeling event-based communication.  ...  Most existing performance prediction techniques for systems using event-based communication require specialized knowledge to build the necessary prediction models.  ...  In combination with an automatic model-to-model transformation based on the proposed mapping, our approach significantly reduces the effort to build and analyze models of systems that use event-based communication  ... 
doi:10.1145/1596473.1596482 fatcat:ul226vouibbzhniomyk6vo22ay

Performance measures for supporting project manager decisions

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola
2007 Software Process: Improvement and Practice  
To illustrate Propean application, in this paper we model the case of a manager that must decide a release date for a product undergoing the testing phase.  ...  To support managers in these tasks, we propose a method called Propean (for PROject PErformance ANalysis) based on the combination of classical performance engineering techniques and the Unified Modeling  ...  Propean Conceptual Mapping and Basic Steps In Propean, we apply a method proposed in [13] for the derivation of performance models based on SPE techniques starting from a set of UML diagrams.  ... 
doi:10.1002/spip.312 fatcat:4kaafpwiefbppa6fj3knhept2i
« Previous Showing results 1 — 15 out of 374 results