Development of an augmented reality based remedial course to improve the spatial ability of engineering students
This paper presents the results of a pilot study designed to evaluate the effect of attending
an intensive remedial course (8 hours worth of work during one week) based on desktop …
an intensive remedial course (8 hours worth of work during one week) based on desktop …
Automated nonintrusive analysis of electronic system level designs
Due to the ever increasing complexity of hardware systems, designers strive for higher
levels of abstractions in the early stages of the design process. Modeling hardware at the …
levels of abstractions in the early stages of the design process. Modeling hardware at the …
Coverage-driven automatic test generation for UML activity diagrams
Due to the increasing complexity of today's embedded systems, the analysis and validation
of such systems is becoming a major challenge. UML is gradually adopted in the embedded …
of such systems is becoming a major challenge. UML is gradually adopted in the embedded …
Widening operators for abstract interpretation
A Cortesi - 2008 Sixth IEEE International Conference on …, 2008 - ieeexplore.ieee.org
Interpretation, one of the most applied techniques for semantics based static analysis of
software, is based on two main key-concepts: the correspondence between concrete and …
software, is based on two main key-concepts: the correspondence between concrete and …
Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications
The necessity to handle the increasing complexity of digital circuits has led to the usage of
more and more abstract design paradigms. In particular, the Electronic System Level (ESL) …
more and more abstract design paradigms. In particular, the Electronic System Level (ESL) …
Accelerating embedded image processing for real time: a case study
Many image processing applications need real-time performance, while having restrictions
of size, weight and power consumption. Common solutions, including hardware/software co …
of size, weight and power consumption. Common solutions, including hardware/software co …
Using UML as front-end for heterogeneous software code generation strategies
In this paper we propose an embedded software design flow, which starts from an UML
model and provides automatic mapping to other models like Simulink or finite-state …
model and provides automatic mapping to other models like Simulink or finite-state …
Efficient test case generation for validation of UML activity diagrams
Abstract Unified Modeling Language (UML) is widely used as a system level specification
language in embedded system design. Due to the increasing complexity of embedded …
language in embedded system design. Due to the increasing complexity of embedded …
A model-driven co-simulation environment for heterogeneous systems
M Bombino, P Scandurra - International Journal on Software Tools for …, 2013 - Springer
Modern heterogeneous systems, due to their complexity and multifaceted nature, require
flexible high-level design and simulation techniques that take into account both aspects of …
flexible high-level design and simulation techniques that take into account both aspects of …
High-level design of Wireless sensor networks for performance optimization under security hazards
P Penil, A Díaz, H Posadas, J Medina… - ACM Transactions on …, 2017 - dl.acm.org
The increasing complexity of current wireless sensor networks requires efficient
methodologies to fulfill the strict constraints typically imposed in terms of power consumption …
methodologies to fulfill the strict constraints typically imposed in terms of power consumption …