PRIDE – an Environment for Component-based Development of Distributed Real-time Embedded Systems

Settling down the software architecture for embedded sys-tem is a complex and time consuming task. Specific concerns that are generally issued from implementation details must be captured in the software architecture and assessed to en-sure system correctness. The matter is further complicated by the inherent complexity and heterogeneity of the targeted systems, platforms and concerns. In addition, tools capable of conjointly catering for the complete design-verification-deployment cycle, extra-functional properties and reuse are currently lacking. To address this, we have developed Pride, an integrated development environment for component-based development of embedded systems. Pride is based on an ar-chitecture relying on components with well-defined seman-tics that serve as the central development entity, and as means to support and aggregate various analysis and verifi-cation techniques throughout the development — from early specification to synthesis and deployment. Pride also pro-vides generic support for integrating extra-functional prop-erties into architectural definitions