Septavera Sharvia
Enhancing the EAST-ADL error model with HiP-HOPS semantics
Sharvia, Septavera; Papadopoulos, Yiannis; Chen, De-Jiu; Walker, Martin; Yuan, Wenjing; Lönn, Henrik
Authors
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
De-Jiu Chen
Martin Walker
Wenjing Yuan
Henrik Lönn
Abstract
EAST-ADL is a domain-specific modelling language for the engineering of automotive embedded systems. The language has abstractions that enable engineers to capture a variety of information about design in the course of the lifecycle — from requirements to detailed design of hardware and software architectures. The specification of the EAST-ADL language includes an error model extension which documents language structures that allow potential failures of design elements to be specified locally. The effects of these failures are then later assessed in the context of the architecture design. To provide this type of useful assessment, a language and a specification are not enough; a compiler-like tool that can read and operate on a system specification together with its error model is needed. In this paper we integrate the error model of EAST-ADL with the precise semantics of HiP-HOPS — a state-of-the-art tool that enables dependability analysis and optimization of design models. We present the integration concept between EAST-ADL structure and HiP-HOPS error propagation logic and its transformation into the HiP-HOPS model. Source and destination models are represented using the corresponding XML formats. The connection of these two models at tool level enables practical EAST-ADL designs of embedded automotive systems to be analysed in terms of dependability, i.e. safety, reliability and availability. In addition, the information encoded in the error model can be re-used across different contexts of application with the associated benefits for cost reduction, simplification, and rationalisation of dependability assessments in complex engineering designs.
Citation
Sharvia, S., Papadopoulos, Y., Chen, D.-J., Walker, M., Yuan, W., & Lönn, H. (2014). Enhancing the EAST-ADL error model with HiP-HOPS semantics. Athens journal of technology & engineering, 1(2), 119-136
Journal Article Type | Article |
---|---|
Publication Date | 2014-06 |
Deposit Date | Feb 24, 2016 |
Publicly Available Date | Feb 24, 2016 |
Journal | Athens journal of technology & engineering |
Electronic ISSN | 2241-8237 |
Publisher | Athens Institute for Education and Research |
Peer Reviewed | Peer Reviewed |
Volume | 1 |
Issue | 2 |
Pages | 119-136 |
Keywords | Dependability, Fault tolerance, Embedded systems, Architecture description languages, Model-based safety analysis |
Public URL | https://hull-repository.worktribe.com/output/411395 |
Publisher URL | http://www.atiner.gr/journals/technology/2014-1-2-3-Papadopoulos.pdf |
Additional Information | Copy of article first published in: Athens journal of technology & engineering, 2014, v.1, issue 2. |
Contract Date | Feb 24, 2016 |
Files
Article.pdf
(716 Kb)
PDF
Copyright Statement
Creative Commons Licence: Attribution-Noncommercial License. See: http://creativecommons.org/licenses/by-nc/4.0/
You might also like
Safety-Security Co-Engineering Framework
(2023)
Report
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search