Sciweavers

833 search results - page 53 / 167
» A Design and Test Technique for Embedded Software
Sort
View
EMSOFT
2009
Springer
15 years 5 months ago
Handling mixed-criticality in SoC-based real-time embedded systems
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Y...
KBSE
2008
IEEE
15 years 5 months ago
Predicting Effectiveness of Automatic Testing Tools
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
Brett Daniel, Marat Boshernitsan
EMSOFT
2007
Springer
15 years 5 months ago
Buffer optimization and dispatching scheme for embedded systems with behavioral transparency
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...
Jiwon Hahn, Pai H. Chou
COMPSAC
2003
IEEE
15 years 4 months ago
Variable Strength Interaction Testing of Components
Complete interaction testing of components is too costly in all but the smallest systems. Yet component interactions are likely to cause unexpected faults. Recently, design of exp...
Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugrid...
WICSA
2008
15 years 22 days ago
Ready! Set! Go! An Action Research Agenda for Software Architecture Research
Software architecture practice is highly complex. Software architects interact with business as well as technical aspects of systems, often embedded in large and changing organiza...
Henrik Bærbak Christensen, Klaus Marius Hans...