Mesocrystal-embedded functional oxide systems

Functional programming and embedded systems

Embedded computer systems seem to be the antithesis of functional language systems. Embedded systems are small, stand-alone, and are often forced to accept inelegant design compromises due to hardware cost. They run continuously and are reactive, that is, their primary goal is to monitor sensors and control effectors, using observed external events to trigger state-changing control actions. Yet...

Functional Safety of Distributed Embedded Control Systems

This chapter deals with the functional safety of distributed embedded control systems following the component-based approach. The authors define a new concept of components called “Control Component” (CC) to cover all of the used technologies in industry. To guarantee the functional safety of distributed control software components, the authors define an agent-based architecture where an intell...

Functional Sizing of Real - time & Embedded Systems

Distributed Computing for Functional Safety of Automotive Embedded Systems

The architectures of modern automobiles are heterogeneous distributed integrated architectures that integrate multiple heterogeneous processing units and network buses with a central gateway. Modern automotive embedded systems combine the related characteristics of real-time, cyber-physical, mixed-criticality, and heterogeneous distributed systems; moreover, such systems must meet specific func...

Non-Functional Requirements in a Component Model for Embedded Systems

In this paper we describe an interesting context to study formal methods for component systems: embedded devices. The context of embedded devices is highly constrained by the physical requirements the devices have to adhere to. As a result, component models for embedded devices are not general purpose but geared towards these constrained contexts. In this paper we give the concrete setting of t...