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

Abstract

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.

Reusable Security Requirements Repository Implementation Based on Application/System Components

“…Unlike security requirement repositories, model-driven repositories focus on the whole project lifecycle components. In another work, Hamid and Perez [22] provided a repository model to reuse the features (techniques, measures, etc.) related to domain standards specific to the engineering of embedded systems with safety requirements.…”

Model Driven Development of Gamified Applications

“…Koch et al extended UML-based Web Engineering (UWE) to integrate patterns for Rich Internet Applications (RIAs), such as "auto-completion" or "periodic refresh" [20]; Fraternali et al extended a web engineering methodology to represent the features of RIAs by allocating specific functionality in the appropriate tier and specifying suitable design patterns for dealing with the interaction between the tiers [12]. A pattern-based model-driven approach for safety-critical systems was proposed in [14], to model dependability patterns and enable their reuse across domains. Zdun et al created an intermediate abstraction level consisting of pattern primitives, which can be used as building blocks for actual patterns applicable to the model-driven development of SOA processes [37].…”

Engineering secure systems: Models, patterns and empirical validation

“…However, our vision is not limited to engineering secure systems. We have also designed secure architectures for SIL4 safety-critical embedded systems for railway signaling (ERTMS/ETCS) ( Hamid and Perez, 2016 ).…”