A Contract-Based Component Model for Embedded Systems

Authors:
Shuyu Li;Jian Wu;Zhengguo Hu
Affiliations:
Northwestern Polytechnic University, Xi'an Shannxi China;Northwestern Polytechnic University, Xi'an Shannxi China;Northwestern Polytechnic University, Xi'an Shannxi China
Venue:
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Year:
2004

Citing 11
Cited 2

Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
A formal basis for architectural connection

ACM Transactions on Software Engineering and Methodology (TOSEM)
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects

IEEE Transactions on Software Engineering
Compatibility and inheritance in software architectures

Science of Computer Programming
On modeling real-time mobile processes

ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
A tool for component based design of embedded software

CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Making Components Contract Aware

Computer
The Koala Component Model for Consumer Electronics Software

Computer
Adding Roles to CORBA Objects

IEEE Transactions on Software Engineering
A Component Model for Field Devices

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A Survey of Architecture Description Languages

IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design

A software update service with self-protection capabilities

Proceedings of the Conference on Design, Automation and Test in Europe
Monaco-A domain-specific language solution for reactive process control programming with hierarchical components

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

Component-based software development is becoming mainstream for conventional applications. However, components can be difficult to deploy in embedded systems because of QoS (non-functional) requirements. This paper presents an approach to building softwarefor embedded systems, based on the use of component in combination with contracts. The contracts specify both the functional prop erties and QoS properties of the different components in the system. This is especially important in embedded systems, since they are resource constrained. In this paper we propose a component model for embedded systems, which is based on four level contracts. And we formalize the first three level contracts by using pi calculus and its type system, allowing us to specify composition and to reason about the compatibility and substitutability of the components.