Adding Dependability Analysis Capabilities to the MARTE Profile-Reference-Cited by-同舟云学术

Adding Dependability Analysis Capabilities to the MARTE Profile

Published: Issue: Volume: Page:736-750
ISSN:0302-9743
Container-title:Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Bernardi Simona,Merseguer José,Petriu Dorina C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-87875-9_51.pdf

Reference30 articles.

1. Avizienis, A., et al.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Computing 1(1), 11–33 (2004)

2. Object Management Group: UML Profile for Schedulability, Performance and Time Specification. (January 2005) V1.1, f/05-01-02

3. Object Management Group: A UML profile for Modeling and Analysis of Real Time Embedded Systems, Beta 1. (August 2007) Adopted Spec., ptc/07-08-04

4. Object Management Group: UML Profile for Modeling Quality of Service and Fault Tolerant Characteristics and Mechanisms. (April 2008) V1.1, f/08-04-05

5. Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: Proc. of WOSP, February 2007, pp. 115–124. ACM, New York (2007)

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifying the Safety of Aviation Software Based on Extended Colored Petri Net;Mathematical Problems in Engineering;2019-04-07

2. Research of Software Reliability Test Based on Test Model;International Journal of Open Source Software and Processes;2017-07

3. A Formal Transformation Approach of MARTE Model;2015 2nd International Conference on Information Science and Control Engineering;2015-04

4. A Transformation Approach to Enact the Design-Time Simulation of BPMN Models;2014 IEEE 23rd International WETICE Conference;2014-06

5. Describing and assessing availability requirements in the early stages of system development;Software & Systems Modeling;2013-09-26