Sciweavers

90 search results - page 2 / 18
» Contract-Based Coordination of Hardware Components for the D...
Sort
View
IESS
2009
Springer
131views Hardware» more  IESS 2009»
13 years 10 months ago
A Hybrid Hardware and Software Component Architecture for Embedded System Design
Abstract. Embedded systems are increasing in complexity, while several metrics such as time-to-market, reliability, safety and performance should be considered during the design of...
Hugo Marcondes, Antônio Augusto Fröhlic...
EUROMICRO
2007
IEEE
13 years 9 months ago
Guiding Component-Based Hardware/Software Co-Verification with Patterns
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
Juncao Li, Fei Xie, Huaiyu Liu
COMPSAC
2009
IEEE
14 years 2 days ago
ESIDE: An Integrated Development Environment for Component-Based Embedded Systems
In this paper we present ESIDE, an integrated development environment for component-based embedded systems. It leverages component-based software engineering principles to facilit...
Nicholas T. Pilkington, Juncao Li, Fei Xie
JUCS
2008
144views more  JUCS 2008»
13 years 5 months ago
Embedded Software Revitalization through Component Mining and Software Product Line Techniques
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...
Marcelo A. Ramos, Rosângela Dellosso Pentead...
IWPC
2000
IEEE
13 years 9 months ago
Automated Quality Analysis of Component Software for Embedded Systems
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
Jens H. Jahnke, Jörg Niere, Jörg P. Wads...