Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems

Mian, Zhibao; Bottaci, Leonardo; Papadopoulos, Yiannis; Sharvia, Septavera; Mahmud, Nidhal

doi:10.1007/978-3-319-08964-5_6

Cited by 18 publications

(5 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…HiP-HOPS is presently the only MBSA method that applies metaheuristics across the lifecycle including the very early stages, addressing both requirements and architecture. The transferability of this work in model-based design has been demonstrated in the context of architecture description languages such as EAST-ADL and AADL (Mian et al, 2014).…”

Section: Discussionmentioning

confidence: 90%

“…The benefits of ADL's such as EAST-ADL and AADL depend crucially on the availability of tools. Model transformation has been used make the optimisation capabilities of HiP-HOPS available to AADL models (Mian et al, 2014). At the highest level of abstraction, the transformation consists of two parts.…”

Section: Model Transformations From Architecture Description Languagesmentioning

confidence: 99%

See 1 more Smart Citation

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Papadopoulos

Walker

Parker

et al. 2016

Annual Reviews in Control

Self Cite

View full text Add to dashboard Cite

Item Type Article Authors Papadopoulos, Y.; Walker, M.; Parker, D.; Sharvia, S.; Bottaci, L.; Kabir, Sohag; Azevedo, L.; Sorokos, I. Citation Papadopoulos Y, Walker M, Parker D et al (2016) A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annual Reviews in Control. 41: 170-182. RightsAbstract: The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that effectively combines these two techniques, schematically founded on the two pillars of formal logic and biology, throughout the design lifecycle. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits.

show abstract

Section: Discussionmentioning

confidence: 90%

Section: Model Transformations From Architecture Description Languagesmentioning

confidence: 99%

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Papadopoulos

Walker

Parker

et al. 2016

Annual Reviews in Control

Self Cite

View full text Add to dashboard Cite

show abstract

“…Composition of different metamodels can lead to modeling tool interoperability [20], which speaks to the need to create small compact metamodels for particular modeling efforts and "-ilities" associated with them. Particular examples of tools that rely on a metamodel to some extend include AADL [54], EST-ADL [75], and Mathworks Simulink [69], to name a few. Interoperability of these tools would require the composition of their respective implicit or explicit metamodels.…”

Section: Metamodels For System Designmentioning

confidence: 99%

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

et al. 2021

View full text Add to dashboard Cite

Cyber-physical systems are complex systems that require the integration of diverse software, firmware, and hardware to be practical and useful. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of “-ilities”, such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements (requirements, interfaces, physical, and functional) and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.

show abstract

“…Composition of different metamodels can lead to modeling tool interoperability [16], which speaks to the need to create small compact metamodels for particular modeling efforts and "-ilities" associated with them. Particular examples of tools that rely on a metamodel to some extend include AADL [41], EST-ADL [60], and Mathworks Simulink [54], to name a few. Interoperability of these tools would require the composition of their respective implicit or explicit metamodels.…”

Section: Metamodels For System Designmentioning

confidence: 99%

An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering

Bakirtzis,

Sherburne,

Adams

et al. 2020

Preprint

View full text Add to dashboard Cite

System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of "-ilities", such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a missionoriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.

show abstract

Model Transformation for Multi-objective Architecture Optimisation of Dependable Systems

Cited by 18 publications

References 12 publications

A synthesis of logic and bio-inspired techniques in the design of dependable systems

A synthesis of logic and bio-inspired techniques in the design of dependable systems

An ontological metamodel for cyber-physical system safety, security, and resilience coengineering

An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering

Contact Info

Product

Resources

About