Titlebook: SDL 2009: Design for Motes and Mobiles; 14th International S Rick Reed,Attila Bilgic,Reinhard Gotzhein Conference proceedings 2009 Springer

GLIDE

Towards Model Based Development of Managed Networked Embedded Systems collaborative way, and that integration of the developments is facilitated by the use of models in both developments. Finally, the paper explains how the model-based development in this area facilitates the addition of manageability and auto-configuration capabilities, which are premises for adaptability.

Climate

Towards an Integrated Quality Assessment and Improvement Approach for UML Models integrated approach to quality assessment and improvement of UML models. We assess a model with a . (FCM) based quality model, detect issues by finding smells and violated metric thresholds in UML models, and improve UML models by applying refactorings using model-to-model transformations.

abolish

intuition

magnate

Modelling a Debugger for an Imperative Voice Control Languagen this paper, we demonstrate how a debugger can be modelled for an imperative voice control language. We show models of the debugging context, breakpoints, and stepping of voice control programs. These models are processed by a generic debugger.

Fester

The ARC Programming Modelased agents. The implementation of the ARC programming model is responsible for mapping relatively abstract model-level parallelism to the target platform and exploiting the available processor-level parallelism.

gerontocracy

Presbycusis

Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An Exampledomain-specific libraries. Due to the mathematical rigor and completeness with which the building blocks are designed, we can provide tool support facilitating a high degree of automation in the development process. In this paper, we focus on the design of embedded Java applications executed on Sun

懶洋洋

Energy-Aware System Design with SDLlities of specifying energy aspects in the system design phase, with SDL as design language. In particular, we strive for suitable abstractions, by establishing a design view that is largely platform-independent. We achieve this objective by identifying and realizing . and . as two complementary app

Assignment

Model-Driven Development of Time-Critical Protocols with SDL-MDDotocols for the network-wide transmission of bit sequences that overcome the problem of destructive collisions. In this paper, we present the model-driven development of these protocols with SDL-MDD and its SDL tool chain. On the one hand, we show how to formally specify low-level functionality and