Title: Embedded Software Composition and Verification Embedded Software Composition and Verification

Abstract

Developing networked embedded systems involves reasoning about complex interactions between software modules, including operating system and middleware services and application-specific components, various hardware units and the environment. Component-based design addresses this challenge by allowing engineers to partition the embedded application into… (More)

Topics

12 Figures and Tables

Slides referencing similar topics