Sciweavers

371 search results - page 11 / 75
» Comparing models for identifying fault-prone software compon...
Sort
View
AADEBUG
2005
Springer
14 years 27 days ago
Specifying and checking component usage
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
Steven P. Reiss
ISCAS
2007
IEEE
101views Hardware» more  ISCAS 2007»
14 years 1 months ago
Automated HDL Generation: Comparative Evaluation
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
Yana Yankova, Koen Bertels, Stamatis Vassiliadis, ...
SEFM
2006
IEEE
14 years 1 months ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
ICSEA
2008
IEEE
14 years 1 months ago
A Component Model Family for Vehicular Embedded Systems
In this paper we propose to use components for managing the increasing complexity in modern vehicular systems. Compared to other approaches, the distinguishing feature of our work...
Tomás Bures, Jan Carlson, Séverine S...
RTAS
2008
IEEE
14 years 1 months ago
Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware
This paper provides four contributions to the study of optimization techniques for component-based distributed realtime and embedded (DRE) systems. First, we describe key challeng...
Krishnakumar Balasubramanian, Douglas C. Schmidt