Modeling and Analyzing Context-Sensitive Changes during Runtime

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.

Download Full-text

Bare-Metal Kernels for DEVS Model Execution in Embedded Systems

10.22215/etd/2015-11114 ◽

2015 ◽

Author(s):

Daniella Niyonkuru

Keyword(s):

Embedded Systems ◽

Bare Metal ◽

Model Execution

Download Full-text

SYNTHESIS OF PROPERTY MONITORS FOR ONLINE FAULT DETECTION

Journal of Circuits System and Computers ◽

10.1142/s0218126607004088 ◽

2007 ◽

Vol 16 (06) ◽

pp. 943-960 ◽

Cited By ~ 3

Author(s):

K. MORIN-ALLORY ◽

E. GASCARD ◽

D. BORRIONE

Keyword(s):

Fault Detection ◽

Embedded Systems ◽

Building Blocks ◽

Original Method ◽

Digital System ◽

Temporal Properties ◽

Digital Components ◽

Digital Module

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.

Download Full-text

PCBMEMS building blocks for sensors/embedded systems industrial electronics education

2010 IEEE International Conference on Industrial Technology ◽

10.1109/icit.2010.5472566 ◽

2010 ◽

Cited By ~ 1

Author(s):

Liesl Hotaling ◽

David Fries

Keyword(s):

Embedded Systems ◽

Building Blocks

Download Full-text

Building Component Based Software Connectors for Communication Middleware in Distributed Embedded Systems

Volume 4: ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications and the 19th Reliability, Stress Analysis, and Failure Prevention Conference ◽

10.1115/detc2007-34558 ◽

2007 ◽

Cited By ~ 2

Author(s):

Dietmar Schreiner ◽

Karl M. Go¨schka

Keyword(s):

Embedded Systems ◽

Good Practice ◽

Building Blocks ◽

Automatic Generation ◽

Distributed Embedded Systems ◽

Model Driven ◽

Communication Middleware ◽

Architectural Models ◽

Sound Foundation ◽

Software Connectors

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.

Download Full-text

Embedded Systems Building Blocks

10.1201/9781482281019 ◽

1999 ◽

Cited By ~ 13

Author(s):

Jean Labrosse

Keyword(s):

Embedded Systems ◽

Building Blocks

Download Full-text

Embedded systems building blocks - complete and ready-to-use modules in C

Control Engineering Practice ◽

10.1016/s0967-0661(97)89241-6 ◽

1997 ◽

Vol 5 (1) ◽

pp. 145-146

Author(s):

LihChyun Shu

Keyword(s):

Embedded Systems ◽

Building Blocks

Download Full-text

Model-Driven Development of Multi-Core Embedded Software

Modern Software Engineering Concepts and Practices - Advances in Computer and Electrical Engineering ◽

10.4018/978-1-60960-215-4.ch015 ◽

2011 ◽

pp. 357-379

Author(s):

Shang-Wei Lin ◽

Chao-Sheng Lin ◽

Chun-Hsien Lu ◽

Yean-Ru Chen ◽

Pao-Ann Hsiung

Keyword(s):

Embedded Systems ◽

Video Recording ◽

Building Blocks ◽

Embedded Software ◽

Programming Environment ◽

Personal Computing ◽

Model Driven ◽

High Level ◽

Multi Core Processor ◽

New Framework

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.

Download Full-text