Hellfire: A design framework for critical embedded systems' applications

Aguiar, Alexandra; Filho, Sérgio Johann; Magalhães, Felipe Göhring de; Casagrande, Thiago D.; Hessel, Fabiano

doi:10.1109/isqed.2010.5450495

Cited by 22 publications

(17 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…CESs are embedded systems in which design errors can potentially be catastrophic [12], in terms of causing serious damage to the environment or to human lives, or nonrecoverable material and financial losses [2]. Due to the criticality of such systems, the satisfaction of multiple quality constraints must be guaranteed, which is far from trivial, as it entails complex trade-offs: compared to other application domains, in CES such trade-offs to a large extent concern safeguarding the levels of critical against other non-critical qualities [5], [18].…”

Section: Introductionmentioning

confidence: 99%

Investigating Quality Trade-offs in Open Source Critical Embedded Systems

Feitosa

Ampatzoglou

Avgeriou

et al. 2015

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures

View full text Add to dashboard Cite

During the development of Critical Embedded Systems (CES), quality attributes that are critical for them (e.g., correctness, security, etc.) must be guaranteed. However, this often leads to complex quality trade-offs, since non-critical qualities (e.g., reusability, understandability, etc.) may be compromised. In this study, we aim at empirically investigating the existence of quality trade-offs, on the implemented architecture, among versions of open source CESs, and compare them with those of systems from other application domains. The results of the study suggest that in CES, non-critical quality attributes are usually compromised in favor of critical quality attributes. On the contrary, we have not observed compromises of critical qualities in favor of non-critical ones in either CES or other application domains. Furthermore, quality trade-offs are more frequent among critical quality attributes, compared to trade-offs among non-critical quality attributes. Our study has implications for both practitioners when making trade-offs in practice, as well as researchers that investigate quality trade-offs.

show abstract

Section: Introductionmentioning

confidence: 99%

Investigating Quality Trade-offs in Open Source Critical Embedded Systems

Feitosa

Ampatzoglou

Avgeriou

et al. 2015

Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures

View full text Add to dashboard Cite

show abstract

“…It comprises hardware part placed on each NoC router and software part (i.e. OsPhoenix) placed into the operating system of each PE [5], which is composed of a processormemory pair [4]. In addition, Phoenix NoC employs a direct 2D mesh topology consisting of routers using bidirectional links to connect with other routers and PEs.…”

Section: Phoenix Noc's Architecturementioning

confidence: 99%

A fault prediction module for a fault tolerant NoC operation

Silveira

Bodin

Ferreira

et al. 2015

Sixteenth International Symposium on Quality Electronic Design

View full text Add to dashboard Cite

Each new production technology of integrated circuit (IC) drives more transistors area reduction, implying smaller and denser circuits. This scenario allows integrating several Processing Elements (PEs) into the same IC with efficient communication architecture such as the scalable topologies of Network on Chip (NoC). However, these newer production technologies introduce more defects in various parts of the IC that have to be detected and well corrected to prevent malfunction of the IC. This work presents the Fault Prediction Module (FPM), which presents low area consumption and a power circuit based on thresholds enabling to detect link quality, i.e. operating properly, operating with fault tendency or with permanent fault. Additionally, we show how to tune the FPM threshold parameter aiming to use this circuit as a mechanism with comprehensive fault model. The set of experimental results shows the effectiveness of our proposal.

show abstract

“…It allows users to describe and execute embedded benchmark applications, validate their functionality while observing their behaviors, and to have access to reports that can be considered for performing further optimizations in the modeled architecture. The tool is available in the project website at http://simplify.itiv.kit.edu and it is a branch of the framework proposed in [15] [16].…”

Section: The Simplify Frameworkmentioning

confidence: 99%

Simplify: A Framework for Enabling Fast Functional/Behavioral Validation of Multiprocessor Architectures in the Cloud

Almeida

Longhi

Bruckschloegl

et al. 2013

2013 IEEE International Symposium on Parallel &Amp; Distributed Processing, Workshops and PHD Forum

Self Cite

View full text Add to dashboard Cite

The design of high-performance Multiprocessor Systems-on-Chip (MPSoCs) has proven to be an attractive challenge in embedded systems design automation. However, the complexity of such designs associated with short timeto-market constraints impose serious limitations on the exploration of different configurations and scenarios on the design space exploration. The use of virtual platforms may decrease the time-to-market of these architectures while providing the means to exploit, debug and verify architectures with different features. In this paper, we present the webbased Simplify framework, an interactive approach for MPSoC exploration using an instruction-accurate Open Virtual Platform (OVP). The framework provides an environment to define both software and hardware properties in an intuitive way, and allows designers to validate the functionality as well as the behavior of the modeled architectures at highabstraction levels. Based on the simulation reports generated from the framework, designers can perform further design modifications and optimizations, and re-validate the whole system in an efficient way, allowing increased design space exploration. For the evaluation of the proposed approach, a set of benchmark applications extracted from MiBench has been used. They run on five different processors (MIPS32, ARM7, OpenRISC (OR1K), PowerPC32 and MicroBlaze) on both mono and multiprocessor architectures and the experiments show considerable simulation speed-ups to obtain application profiling at instruction-level compared to existing approaches based on tracing.

show abstract

Hellfire: A design framework for critical embedded systems' applications

Cited by 22 publications

References 9 publications

Investigating Quality Trade-offs in Open Source Critical Embedded Systems

Investigating Quality Trade-offs in Open Source Critical Embedded Systems

A fault prediction module for a fault tolerant NoC operation

Simplify: A Framework for Enabling Fast Functional/Behavioral Validation of Multiprocessor Architectures in the Cloud

Contact Info

Product

Resources

About