A component-based model integrated framework for embedded software

Authors:
Wenzhi Chen;Cheng Xie;Jiaoying Shi
Affiliations:
College of Computer Science, Zhejiang University, Hangzhou, P.R. China;College of Computer Science, Zhejiang University, Hangzhou, P.R. China;College of Computer Science, Zhejiang University, Hangzhou, P.R. China
Venue:
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Year:
2004

Citing 4
Cited 0

Synthesis of finite state machines: logic optimization

Synthesis of finite state machines: logic optimization
Timed Interfaces

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
An Integrated Environment for the Complete Development Cycle of an Object-Oriented Distributed Real-Time System

ISORC '99 Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Automatic Synthesis of Multi-Tasking Implementations from Real-Time Object-Oriented Models

ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

The development of distributed, concurrent software in embedded systems is becoming increasingly complex and error-prone. Model-based integration of reusable components is advocated as the method of choice. To this end, we propose a framework to support component-based model integration, hierarchical functionality composition, and reconfiguration of systems with continuous and discrete dynamics. In this framework, components are designed and used as building blocks for integration, each of which is modeled with abstract ports, reactions, and communication schemes. It uses hierarchical composition to hide the implementation details of components, and keeps the components at the same level of hierarchy interacting under a well-defined model of computation. Code generation takes the design decisions down to the final running system. Within this framework, embedded software can be constructed by selecting and then connecting components in a functionality repository, specifying models and transforming them to executable codes.