An optimization based design for integrated dependable real-time embedded systems

Islam, S. and Suri, Neeraj and Balogh, A. and Csertán, G. and Pataricza, A. (2009) An optimization based design for integrated dependable real-time embedded systems. Design Automation for Embedded Systems, 13 (4). pp. 245-285. ISSN 0929-5585

Full text not available from this repository.

Abstract

Moving from the traditional federated design paradigm, integration of mixed-criticality software components onto common computing platforms is increasingly being adopted by automotive, avionics and the control industry. This method faces new challenges such as the integration of varied functionalities (dependability, responsiveness, power consumption, etc.) under platform resource constraints and the prevention of error propagation. Based on model driven architecture and platform based design's principles, we present a systematic mapping process for such integration adhering a transformation based design methodology. Our aim is to convert/transform initial platform independent application specifications into post integration platform specific models. In this paper, a heuristic based resource allocation approach is depicted for the consolidated mapping of safety critical and non-safety critical applications onto a common computing platform meeting particularly dependability/fault- tolerance and real-time requirements. We develop a supporting tool suite for the proposed framework, where VIATRA (VIsual Automated model TRAnsformations) is used as a transformation tool at different design steps. We validate the process and provide experimental results to show the effectiveness, performance and robustness of the approach. © Springer Science+Business Media, LLC 2009.

Item Type:
Journal Article
Journal or Publication Title:
Design Automation for Embedded Systems
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700/1712
Subjects:
ID Code:
137572
Deposited By:
Deposited On:
08 Oct 2019 13:15
Refereed?:
Yes
Published?:
Published
Last Modified:
01 Jan 2020 12:17