Sciweavers

ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
14 years 4 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...
ECBS
2009
IEEE
103views Hardware» more  ECBS 2009»
14 years 4 months ago
A Definition of "Abstraction Level" for Metamodels
Martin Monperrus, Antoine Beugnard, Joël Cham...
ECBS
2009
IEEE
187views Hardware» more  ECBS 2009»
14 years 4 months ago
On the Meaning of SysML Activity Diagrams
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
Yosr Jarraya, Mourad Debbabi, Jamal Bentahar
ECBS
2009
IEEE
105views Hardware» more  ECBS 2009»
14 years 4 months ago
A Framework for Developing Feature-Rich Software Systems
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...
Thein Than Tun, Rod Chapman, Charles B. Haley, Rob...
ECBS
2009
IEEE
109views Hardware» more  ECBS 2009»
14 years 4 months ago
Automating Hardware and Software Evolution Analysis
Brian Dougherty, Jules White, Chris Thompson, Doug...
ECBS
2009
IEEE
130views Hardware» more  ECBS 2009»
14 years 4 months ago
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake
ECBS
2009
IEEE
106views Hardware» more  ECBS 2009»
14 years 4 months ago
Extensibility and Modularity for Model Driven Engineering Environments
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
Thomas Leveque, Jacky Estublier, Germán Veg...
ATS
2009
IEEE
162views Hardware» more  ATS 2009»
14 years 4 months ago
Multi-tone Testing of Linear and Nonlinear Analog Circuits Using Polynomial Coefficients
—A method of testing for parametric faults of analog circuits based on a polynomial representation of fault-free function of the circuit is presented. The response of the circuit...
Suraj Sindia, Virendra Singh, Vishwani D. Agrawal
ATS
2009
IEEE
135views Hardware» more  ATS 2009»
14 years 4 months ago
On Scan Chain Diagnosis for Intermittent Faults
Diagnosis is increasingly important, not only for individual analysis of failing ICs, but also for high-volume test response analysis which enables yield and test improvement. Sca...
Dan Adolfsson, Joanna Siew, Erik Jan Marinissen, E...
ATS
2009
IEEE
132views Hardware» more  ATS 2009»
14 years 4 months ago
On Improving Diagnostic Test Generation for Scan Chain Failures
In this paper, we present test generation procedures to improve scan chain failure diagnosis. The proposed test generation procedures improve diagnostic resolution by using multi-...
Xun Tang, Ruifeng Guo, Wu-Tung Cheng, Sudhakar M. ...