New language elements are introduced in Modelica 3.1 to facilitate use Modelica models in embedded systems, e.g., as controllers. Models can be conveniently configured by marking the borders of the respective controller parts and by defining the mapping of the marked parts to target processors and target tasks. This approach allows to define a “logical” model from which all different “real” con...

Embedded software is increasingly a composition of concurrent components. Components in such systems interact in a rich variety of ways, not limited to the simple transfer of control of method calls in object-oriented design. I describe a view where the systems are modeled as assemblages of components within one of several models of computation, where components with welldefined interfaces are ...

Light-weight embedded systems for medical monitoring are often referred to low-profile, small size, unobtrusive and potable processing elements with limited power resources. Such systems typically incorporate sensing, processing and communications and are often manufactured to be simple and cost-effective. Being low profile and wearable immediately implies the limitations in computational capab...

This paper introduces a novel approach to building virtual laboratories of embedded control systems using TrueTime and Easy Java Simulations. TrueTime is a freeware MATLAB/Simulink based tool commonly used to simulate embedded control systems. Easy Java Simulations is a popular authoring tool that facilitates the creation of pedagogical simulations. According to the proposed approach, authors u...

Embedded control systems are today created using tools that give insufficient support for rapid prototyping and code reuse. New tools for implementation of embedded controllers are necessary. This paper presents a software framework for implementation of embedded control systems. The PAL language is presented. PAL is designed to support implementation of control algorithms in particular. A run-...

Security has traditionally been a subject of intensive research in the area of computing and networking. However, security of embedded systems is often ignored during the design and development period of the product, thus leaving many devices vulnerable to attacks. The growing number of embedded systems today (mobile phones, pay-tv devices, household appliances, home automation products, indust...

This work describes a modelling method for a non-linear system which is based on a multi-point linear approximation for a model predictive control (MPC) purpose. The method is derived from artificial neural network techniques and exploits good properties of a Orthogonal Activation Function based Neural Network (OAF-NN). In this work, we describe a technique of a Explicit-MPC (EMPC) which perfor...

The following is an introduction to the special issue on dependable embedded systems. The motivation for this issue came from two large-scale research initiatives, namely the German DFG SPP 1500 “Dependable Embedded Systems” (coordinated by Jörg Henkel from KIT; see also: http://spp1500.itec.kit.edu) and the NSF “Variability Expedition” from theUSA (coordinated byRajesh Gupta from UC San Diego;...

[email protected] EMBEDDED SYSTEMS C AN B E FOUND virtually everywhere. In this article I will describe some of the features of these small computing engines and will take you along the road to building and programming one yourself to ease simple control tasks in your daily life. In the embedded world, understanding issues of small systems is much easier when you have encountered them your...