A Generic Model of Contracts for Embedded Systems

Details A Generic Model of Contracts for Embedded Systems A Generic Model of Contracts for Embedded Systems

2007-06-11

arxiv.org/abs/0706.1456v2

Computer Science

Software Engineering

Scientific paper

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a design methodology in which distributed designers develop different aspects of the overall system, in a concurrent but controlled way. Our generic mathematical model of contract supports this style of development. This is achieved by focusing on behaviors, by supporting the notion of "rich component" where diverse (functional and non-functional) aspects of the system can be considered and combined, by representing rich components via their set of associated contracts, and by formalizing the whole process of component composition.

Affiliated with

Also associated with

No associations

Rating

A Generic Model of Contracts for Embedded Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Generic Model of Contracts for Embedded Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Generic Model of Contracts for Embedded Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-179289