scholarly journals First results with eBlocks: embedded systems building blocks

Author(s):  
S. Cotterell ◽  
F. Vahid ◽  
Walid Najjar ◽  
H. Hsieh
2007 ◽  
Vol 16 (06) ◽  
pp. 943-960 ◽  
Author(s):  
K. MORIN-ALLORY ◽  
E. GASCARD ◽  
D. BORRIONE

An original method for generating components that capture the occurrence of events is proposed, and logical and temporal properties of hardware/software embedded systems are monitored. The properties are written in PSL, under the form of assertions in declarative form. The method includes the construction of a library of primitive digital components for the PSL temporal and sequence operators. These building blocks are interconnected to construct complex properties, resulting in a synthesizable digital module that can be properly linked to the digital system under scrutiny.


Author(s):  
Dietmar Schreiner ◽  
Karl M. Go¨schka

Interaction in distributed component based software-architectures can become a rather complex and error prone issue. As it is good practice to keep application concerns separated from infrastructural ones, component based applications typically rely on communication middleware to cope with matters of distribution and heterogeneity. Unfortunately, generic middleware tends to be monolithic, heavyweight software, which is unacceptable in resource constrained embedded systems. Communication middleware for distributed embedded systems has to be custom tailored to the application’s interaction needs and therefore shall be as lightweight as possible. By applying the component paradigm to the communication middleware, a practical methodology can be defined, that allows the middleware’s automatic generation from the application’s architectural models and structural designs of explicit component connectors with a well defined set of prefabricated basic building blocks—so called communication primitives. This paper contributes by specifying the most common structural designs for explicit connectors within the automotive domain and thereby, in addition identifies a set of classes of automotive communication primitives. Thus this paper provides the sound foundation for automatic, model driven middleware synthesis by specifying all necessary basic modules.


2017 ◽  
Vol 8 (2) ◽  
pp. 812-816 ◽  
Author(s):  
S. Gibson-Poole ◽  
S. Humphris ◽  
I. Toth ◽  
A. Hamilton

This paper investigates the effectiveness of using a UAV with dual commercial off-the-shelf (COTS) cameras, one un-modified and one modified to sense near infra-red (NIR) wavelengths to identify the onset of disease within a trial crop of potatoes. The trial was composed of 2 plots of 16 drills containing 12 tubers exposed to the blackleg disease-causing bacterial pathogen (Pectobacterium atrosepticum) in order to demonstrate best practise tuber storage and haulm destruction methods. Eleven sets of aerial data were gathered between 27/5/2016~29/7/2016 and compared with ground truth data collected on 14/7/2016. Visual analysis of the data could only detect the onset of disease and not the specific infection and resulted in a user accuracy (UA) of 83% and producer accuracy (PA) of 78%, with a total accuracy (TA) of 91% and Kappa coefficient (K) of 0.75. The building blocks of an automated classification routine have been constructed using pixel and object based image analysis (OBIA) methods, which have shown promising first results (UA 65%, PA 73%, TA 87%, K 0.61) but requires further refinement to achieve an equivalent level of accuracy as that of the visual analysis.


Author(s):  
Shang-Wei Lin ◽  
Chao-Sheng Lin ◽  
Chun-Hsien Lu ◽  
Yean-Ru Chen ◽  
Pao-Ann Hsiung

Multi-core processors are becoming prevalent rapidly in personal computing and embedded systems. Nevertheless, the programming environment for multi-core processor based systems is still quite immature and lacks efficient tools. This chapter will propose a new framework called VERTAF/Multi-Core (VMC) and show how software code can be automatically generated from high-level SysML models of multi-core embedded systems. It will also illustrate how model-driven design based on SysML can be seamlessly integrated with Intel’s Threading Building Blocks (TBB) and Quantum Platform (QP) middleware. Finally, this chapter will use a digital video recording (DVR) system to illustrate the benefits of the proposed VMC framework.


2009 ◽  
Vol 26 (6) ◽  
pp. 74-83 ◽  
Author(s):  
Tero Vallius ◽  
Juha Roning

Author(s):  
Jan Christoph Wehrstedt ◽  
Jennifer Brings ◽  
Birte Caesar ◽  
Marian Daun ◽  
Linda Feeken ◽  
...  

AbstractFor collaborative embedded systems, it is essential to consider not only the behavior of each system and the interaction between systems, but also the interaction of systems with their often dynamic and unknown context.In this chapter, we present a solution approach based on process building blocks— describing both the modelling approach as well as the model execution approach—for engineering and operation to achieve the goal of developing systems that deal with dynamics in their open context at runtime by re-using the models from the engineering phase.


Sign in / Sign up

Export Citation Format

Share Document