11,495 Hits in 5.8 sec

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

Reliability Support for the Model Driven Architecture [chapter]

Genaína Nunes Rodrigues, Graham Roberts, Wolfgang Emmerich
2004 Lecture Notes in Computer Science  
Reliability is an important concern for software dependability.  ...  By doing this, we hope to contribute to the task of consistently addressing dependability concerns from the early to late stages of software engineering.  ...  Acknowledgment We would like to thank Rami Bahsoon and Licia Capra for assisting in the review of this document.  ... 
doi:10.1007/978-3-540-25939-8_4 fatcat:2kznnh372vfxzc73svkp7kcssm

A dependability profile within MARTE

Simona Bernardi, José Merseguer, Dorina C. Petriu
2009 Journal of Software and Systems Modeling  
This paper proposes to add to MARTE a profile for dependability analysis and modeling (DAM).  ...  For example, the MARTE profile extends UML with concepts for modeling and quantitative analysis of real-time and embedded systems (more specifically, for schedulability and performance analysis).  ...  This research was supported by the project DPI2006-15390 of the Spanish Ministry of Science and Technology, the Natural Sciences and Engineering Research Council of Canada (NSERC) through its Discovery  ... 
doi:10.1007/s10270-009-0128-1 fatcat:c74wfcvhrbee7oaaocmgzwxwcq

UML Profiles for Real-Time Systems and their Applications

Abdelouahed Gherbi, Ferhat Khendek
2006 Journal of Object Technology  
UML, a graphical object-oriented modeling language, is suitable to deal with this complexity. UML also supports predictive, quantitative analysis through its real-time profiles.  ...  The satisfaction of RTS timing constraints is required for their correction.  ...  Acknowledgments: This work has been partially supported by the Natural Sciences and Engineering Research Council of Canada (NSERC).  ... 
doi:10.5381/jot.2006.5.4.a5 fatcat:kuvovlm2v5grxbe4dzemlvoyxe

Practical Experiences in the Application of MDA [chapter]

Miguel de Miguel, Jean Jourdan, Serge Salicki
2002 Lecture Notes in Computer Science  
Two main techniques provide support for the description of UML extensions, MOF meta-models and UML profiles.  ...  The application of MDA for a specific domain, technique, or technology requires the Description of Specialized Modeling Language.  ...  MDA proposes solutions to limit the dependencies of software from the platforms, but the alternative solutions for the specification of extensions and mappings can create dependencies with the specific  ... 
doi:10.1007/3-540-45800-x_11 fatcat:fhwpsdfkzngedck4xvy7oaph6i

SR-UML: Quality Visualization in Software Design

The current requirements of software are intensively based on load sharing, on-demand services, cascading requirements, redundancy for reliability and executing on heterogeneous environments.  ...  It also caters to the need of designing software in a familiar formalization for extending, translating and simulating with existing algorithms.  ...  UML is a well-adapted for design and analysis of various aspects of system and its visualization.  ... 
doi:10.35940/ijitee.k1987.0981119 fatcat:uwwu6znyhrc3zcyuxxdgbu6pmq

Heterogeneous multi-core systems

David McKean, Jonathan Sprinkle
2012 Proceedings of the 2012 workshop on Domain-specific modeling - DSM '12  
This paper examines tradeoffs in extending a UML profile, or developing a new DSML for a particular domain. Questions are presented which help to make an objective decision.  ...  delivery, and the availability of tools to analyze, design, and validate the solution.  ...  However, note that the analysis methods for many profiles still require some sort of model transformation to put the models in an acceptable structure for analysis.  ... 
doi:10.1145/2420918.2420930 fatcat:nttjq3tr4nb5xlslfurfsqgimq

Reliability Prediction in Model-Driven Development [chapter]

Genaína N. Rodrigues, David S. Rosenblum, Sebastian Uchitel
2005 Lecture Notes in Computer Science  
Recently, the UML Profile for Modeling Quality of Service has defined a set of UML extensions to represent dependability concerns (including reliability) and other non-functional requirements in early  ...  In this work, we define a profile for reliability analysis by extending the UML 2.0 specification to support reliability prediction based on scenario specifications.  ...  Vittorio Cortellessa provided several valuable comments that improved our understanding of reliability modeling in UML and the state of current efforts with relevant UML profiles.  ... 
doi:10.1007/11557432_25 fatcat:giivah4p7fftrd5e5x7bw7vi7y

Supporting quality-driven design decisions by modeling variability

Azadeh Alebrahim, Maritta Heisel
2012 Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures - QoSA '12  
It provides a mapping of requirements variability to design solution variability to be used as a part of a general process for generating design alternatives.  ...  We present a UML-based approach to modeling variability in the problem and the solution space by adopting the notion of feature modeling.  ...  We would like to thank Stephan Faßbender, Rene Meis, and Kristian Beckers for useful discussions.  ... 
doi:10.1145/2304696.2304705 dblp:conf/qosa/AlebrahimH12 fatcat:g34exs2fhbbjjhvbw5emcqpamq

UML2.0 Profiles for Embedded Systems and Systems On a Chip (SOCs)

Fateh Boutekkouk, Mohammed Benmohammed, Sebastien Bilavarn, Michel Auguin
2009 Journal of Object Technology  
Consequently a proper tuning of UML to the specificities of such systems has became mandatory. To meet this requirement, many UML profiles have been proposed by both academia and industry.  ...  VOL. 8, NO. 1 JOURNAL OF OBJECT TECHNOLOGY 137 152 J OURNAL OF OBJECT TECHNOLOGY V OL. 8, NO. 1 DIPLODOCUS This profile is based on an existing TURTLE profiling whose first aim was formal analysis. this  ...  However it still lacks a support for NFPs modelling for both software and hardware, formal analysis, requirements capture and hardware/software interface synthesis.  ... 
doi:10.5381/jot.2009.8.1.a1 fatcat:coirvylxd5amzmiwtz6ymxi6l4

Meta-Model and UML Profile for Requirements Management of Software and Embedded Systems

Tero Arpinen, Timo D. Hämäläinen, Marko Hännikäinen
2011 EURASIP Journal on Embedded Systems  
The profile is imported into a UML tool which is used for rapid evaluation of meta-model concepts in practice.  ...  This paper presents a comprehensive meta-model for requirements management. The focus is on software and embedded system domains.  ...  Conclusions and Future Work In this paper, we have presented a meta-model and UML profile for requirements management of software and embedded systems.  ... 
doi:10.1155/2011/592168 fatcat:donb43r3yfgjbkvgsqvo6xohyy

Using models in real-time software design

2003 IEEE Control Systems  
Profile Requirements A principal requirement for the real-time UML profile was to allow the construction of predictive UML models; that is, models that can be formally analyzed to determine key quantitative  ...  (A profile is the UML term for a tightened semantic interpretation of the relatively general concepts in the standard, intended to meet the requirements of a particular domain.  ...  Since 1996, he has participated in the definition of the UML standard and its standard real-time UML profile.  ... 
doi:10.1109/mcs.2003.1200244 fatcat:xivfif5v4vgg7mhw553qrwdjaq

UML4PF — A tool for problem-oriented requirements analysis

Isabelle Cote, Maritta Heisel, Holger Schmidt, Denis Hatebur
2011 2011 IEEE 19th International Requirements Engineering Conference  
To provide tool support for frame-based problem analysis, we first have carried over Jackson's original notation to UML by defining a corresponding profile, see [2] .  ...  We create a new project with a new model both named VacationRentals and apply our UML profile for Problem Frames to the model using a EMF-compatible UML editor such as Papyrus 6 .  ... 
doi:10.1109/re.2011.6051670 dblp:conf/re/CoteHSH11 fatcat:iwfhwpl3cvgm5dw7cnezi7icsm

Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems [chapter]

Huascar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard
2009 Lecture Notes in Computer Science  
Indeed, a single profile may not be adequate to cover all aspects required in the multidisciplinary domain of embedded systems.  ...  A common practice is to use UML as the base language, possibly specialized by the so-called profiles.  ...  We particularly focus on two standard UML profiles that cover, as a whole, a broad cross-section of the modelling capabilities required for the embedded system domain.  ... 
doi:10.1007/978-3-642-02674-4_8 fatcat:no2rhodqtjb7rakujw4glsjkf4

Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML [chapter]

Sébastien Gérard, François Terrier, Yann Tanguy
2002 Lecture Notes in Computer Science  
This paper describes the ACCORD/UML approach that was originally designed to lighten the daily workload of automotive engineers by relieving them of need for real-time expertise.  ...  The latest OMG initiative, called MDA --for "Model Driven Architecture" --advances the idea of using a combination of the model paradigm and various underlying technologies, to offer solutions to this  ...  For that purpose, the ACCORD/UML profile [13] defines specific packages of model mappings.  ... 
doi:10.1007/3-540-46105-1_30 fatcat:blvicq57sne57b25zqcq6un73y
« Previous Showing results 1 — 15 out of 11,495 results