Paper Info
Title
PRIDE - An Environment for Component-Based Development of Distributed Real-Time Embedded Systems
Abstract
Settling down the software architecture for embedded system 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 ensure 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 architecture relying on components with well-defined semantics that serve as the central development entity, and as means to support and aggregate various analysis and verification techniques throughout the development - from early specification to synthesis and deployment. Pride also provides generic support for integrating extra-functional properties into architectural definitions.
Year
DOI
Venue
2011
10.1109/WICSA.2011.56
Software Architecture
Keywords
Field
DocType
central development entity,targeted system,component-based development,extra-functional property,system correctness,integrated development environment,complete design-verification deployment cycle,generic support,software architecture,embedded system,object oriented programming,computer and information science,formal verification,real time systems,embedded systems,component based development
Architecture,Software deployment,Systems engineering,Object-oriented programming,Computer science,Reuse,Correctness,Software architecture,Component-based software engineering,Embedded system,Formal verification
Conference
ISBN
Citations 
PageRank 
978-0-7695-4351-2
4
0.49
References 
Authors
16
8
Name
Order
Citations
PageRank
Etienne Borde16911.18
Jan Carlson241641.20
Juraj Feljan3384.32
Luka Lednicki4275.01
Thomas Leveque5718.01
Josip Maras6658.10
Ana Petricic740.82
Severine Sentilles81477.93