Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Components for embedded software: the PECOS approach
CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
A Contract-Based Component Model for Embedded Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A data-centric approach to composing embedded, real-time software components
Journal of Systems and Software - Special issue: Automated component-based software engineering
Composition of software artifacts modelled using colored Petri nets
Science of Computer Programming - Special issue on new software composition concepts
A Taxonomy of Software Component Models
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
Supporting Run-Time Evolution In Seescoa
Journal of Integrated Design & Process Science
IEEE Transactions on Software Engineering
Structural Testing of Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Domain-Specific Software Component Models
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
A catalogue of component connectors to support development with reuse
Journal of Systems and Software
A formal approach for the specification and verification of trustworthy component-based systems
Journal of Systems and Software
A layered approach for identifying systematic faults of component-based software systems
Proceedings of the 16th international workshop on Component-oriented programming
A software component model and its preliminary formalisation
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Component-Based design of embedded software: an analysis of design issues
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
Embedded Systems Design
Exogenous connectors for software components
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Qinna, a component-based qos architecture
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Component-Based Software Development for Embedded Systems
COCONES: an approach for components and contracts in embedded systems
Component-Based Software Development for Embedded Systems
Comparison of component frameworks for real-time embedded systems
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
FASA: a scalable software framework for distributed control systems
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems
Enhancing OSGi with explicit, vendor independent extra-functional properties
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Design of component-based real-time applications
Journal of Systems and Software
Computer Languages, Systems and Structures
Hi-index | 0.00 |
Component-based software development is becoming mainstream for conventional applications. However, components can be difficult to deploy in embedded systems because of non-functional requirements. Pecos is a collaborative project between industrial and research partners that seeks to enable component-based technology for a class of embedded systems known as "field devices". In this paper we introduce a component model for field devices that captures a range of non-functional properties and constraints.