Modeling Dependability Features for Real-Time Embedded Systems

Ni, Siru; Zhuang, Yi; Cao, Zining; Kong, Xiangying

doi:10.1109/tdsc.2014.2320714

Cited by 17 publications

(5 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…if (a i+1 ≤ Φ < a i ) then [6] traffic load level= i [7] break; [8] end [9] end [10] Select a working mode: Working mode = 1 intends to enhance the retainability of ongoing services while Working mode = 2 increases channel availability for new users. [11] if Working mode = 1 then [12] R = Rmax−traffic load level [13] end [14] if Working mode = 2 then…”

Section: A Dynamic Channel Reservation Algorithmmentioning

confidence: 99%

“…Thus, channel availability and service retainability which describe the properties of a system from a dependability perspective are two important metrics for performance evaluation in a CRN [10]. Note that the dependability of a communication system is defined as its ability to deliver services that can justifiably be trusted, when faced with failures of their components [11], [12]. One reason for which a system does not behave as it is specified can be, for instance, any fault in its design, or the failure of some of its components when facing with unpredicted changes in the system's environment.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Dynamic Spectrum Reservation for CR Networks in the Presence of Channel Failures: Channel Allocation and Reliability Analysis

Balapuwaduge

Pla

2018

IEEE Trans. Wireless Commun.

View full text Add to dashboard Cite

Providing channel access opportunities for new service requests and guaranteeing continuous connections for ongoing flows until service completion are two challenges for service provisioning in wireless networks. Channel failures, which are typically caused by hardware and software failures or/and by intrinsic instability in radio transmissions, can easily result in network performance degradation. In cognitive radio networks (CRNs), secondary transmissions are inherently vulnerable to connection breaks due to licensed users' arrivals as well as channel failures. To explore the advantages of channel reservation on performance improvement in error-prone channels, we propose and analyze a dynamic channel reservation (DCR) algorithm and a dynamic spectrum access (DSA) scheme with three access privilege variations. The key idea of the DCR algorithm is to reserve a dynamically adjustable number of channels for the interrupted services to maintain service retainability for ongoing users or to enhance channel availability for new users. Furthermore, the DCR algorithm is embedded in the DSA scheme enabling spectrum access of primary and secondary users with different access privileges based on access flexibility for licensed shared access. The performance of such a CRN in the presence of homogeneous and heterogeneous channel failures is investigated considering different channel failure and repair rates.

show abstract

Section: A Dynamic Channel Reservation Algorithmmentioning

confidence: 99%

mentioning

confidence: 99%

Dynamic Spectrum Reservation for CR Networks in the Presence of Channel Failures: Channel Allocation and Reliability Analysis

Balapuwaduge

Pla

2018

IEEE Trans. Wireless Commun.

View full text Add to dashboard Cite

show abstract

“…The importance of models and MDE in dependability engineering was highlighted by Gran et al (2007 ); Hamid et al (2008 ) and Biehl et al (2010 ), and confirmed in a recent empirical study on the state of modeling in the embedded domain ( Bernardi et al, 2012;Panesar-Walawege et al, 2013;Liebel et al, 2014;Ni et al, 2015 ) because code generation and simulation are heavily used; the use of modeling in that field has been reported as highly positive. In this context, ( Bernardi et al, 2012 ) proposed a UML profile compliant with MARTE ( OMG, 2011b ) to address dependability analysis and modeling.…”

Section: Model-driven Engineering and Domain-specific Languagementioning

confidence: 71%

“…Unfortunately, these processes offer little support for meeting dependability requirements. Over the years, research efforts have been invested in methodologies and techniques for dependable software engineering, although dedicated processes have been proposed only recently ( Bernardi et al, 2012;Panesar-Walawege et al, 2013;Ni et al, 2015 ).…”

Section: Incorporating Dependability In System and Software Engineeringmentioning

confidence: 99%

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation

Hamid

Pérez

2016

Journal of Systems and Software

View full text Add to dashboard Cite

Safety-critical systems require a high level of safety and integrity. Therefore, generating such systems involves specific software building processes. Many domains are not traditionally involved in these types of software problems and must adapt their current processes accordingly. Typically, such requirements are developed ad hoc for each system, preventing further reuse beyond the domain-specific boundaries. This paper proposes a solution for software system development based on the reuse of dedicated subsystems, i.e., so-called dependability patterns that have been pre-engineered to adapt to a specific domain. We use Model-Driven Engineering (MDE) to describe dependability patterns and a methodology for developing dependable software systems using these patterns. Moreover, we describe an operational architecture for development tools to support the approach. An empirical evaluation of the proposed approach is presented through its practical application to a case study in the railway domain, which has strong dependability requirements, to support a pattern-based development approach. This case study is followed by a survey to better understand the perceptions of practitioners regarding our approach.

show abstract

“…The UML metamodel includes many semantic variables and provides special constructors in the language for refinement. Such constructs, stereotypes, tagged values, and tags are used to define DSMLs based on UML [60]. As these capture domain-specific concepts, profiles are typically used together with other specific stereotypes of the same domain.…”

Section: Introductionmentioning

confidence: 99%

Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Architectural Design of Real-Time Embedded Systems

Ribeiro¹

View full text Add to dashboard Cite

Thanks to CAPES for the financial support during my sandwich Ph.D. studies in Germany. I would like to thank the Carl von Ossietzky University Oldenburg and the University of Applied Sciences Hamm/Lippstadt for the support provided that aided in the accomplishment of my Ph.D. studies. Considering the period I lived in Germany, all the enriching experiences I have had and the lessons learned, I would like to express my gratitude to André Faria, Charles Steinmetz, Cíntia Faria, Edenilda Brachtendorf, Filiz Polat, Renata Lutkehaus and Vincent Marnier. Thank you for dedicating your time, care, friendship and words of encouragement and support over the points of this journey. Finally, I want to thank my mother, Luzia de Fátima Gonçalves, and my daughter, Maria Fernanda Gonçalves. You are the ones who deserve all the honors and are to whom I dedicate all the results and jubilation that come from this research. I know how hard this period was for you both: many absences, relinquishment, days without dialogue and several "rainy days". Thanks for the true friendship, your support and unconditional love. My dearest of friends, you have lived and supported my dream. I could never have done all this without you, I love you infinitely. "Porque não há nada mais belo que o amor." (Marcos Jungmann Bhering) atestar suas contribuições e expressividade para o desenvolvimento dos SRTE.

show abstract

Modeling Dependability Features for Real-Time Embedded Systems

Cited by 17 publications

References 11 publications

Dynamic Spectrum Reservation for CR Networks in the Presence of Channel Failures: Channel Allocation and Reliability Analysis

Dynamic Spectrum Reservation for CR Networks in the Presence of Channel Failures: Channel Allocation and Reliability Analysis

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation

Multi-formalism in Different Levels of Abstraction for Requirements Engineering and Architectural Design of Real-Time Embedded Systems

Contact Info

Product

Resources

About