Inconsistency detection of model and code via critic-based approach

Model Driven Software Engineering (MDSE) has become the state of the art in software abstraction and increasingly popular in industry and academia. MDSE concerns the use of models as first-class artifacts of software development process. The MDSE has been seen as a way to manage the increasing of software complexity. However, one of the challenges in MDSE is to generate a consistent model-implementation mapping between design model and source code. Source code is also an important software development artifact as it represents the executable system. Detecting inconsistencies between design models and source code is hard because both artifacts normally will have some changes or modifications. Several researchers have introduced various methods in managing the inconsistency of model-code. In this paper, we propose a critic-based approach to detect the inconsistencies between design model and source code. The critic-based approach will provide instant feedback that point out the inconsistencies between model and code

Programming MPSoC platforms: Road works ahead

This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. The current trend towards MPSoC platforms in most computing domains does not only mean a radical change in computer architecture. Even more important from a SW developer´s viewpoint, at the same time the classical sequential von Neumann programming model needs to be overcome. Efficient utilization of the MPSoC HW resources demands for radically new models and corresponding SW development tools, capable of exploiting the available parallelism and guaranteeing bug-free parallel SW. While several standards are established in the high-performance computing domain (e.g. OpenMP), it is clear that more innovations are required for successful\ud deployment of heterogeneous embedded MPSoC. On the other hand, at least for coming years, the freedom for disruptive programming technologies is limited by the huge amount of certified sequential code that demands for a more pragmatic, gradual tool and code replacement strategy

On-stack replacement, distilled

On-stack replacement (OSR) is essential technology for adaptive optimization, allowing changes to code actively executing in a managed runtime. The engineering aspects of OSR are well-known among VM architects, with several implementations available to date. However, OSR is yet to be explored as a general means to transfer execution between related program versions, which can pave the road to unprecedented applications that stretch beyond VMs. We aim at filling this gap with a constructive and provably correct OSR framework, allowing a class of general-purpose transformation functions to yield a special-purpose replacement. We describe and evaluate an implementation of our technique in LLVM. As a novel application of OSR, we present a feasibility study on debugging of optimized code, showing how our techniques can be used to fix variables holding incorrect values at breakpoints due to optimizations