Sciweavers

5439 search results - page 179 / 1088
» Patterns: from system design to software testing
Sort
View
137
Voted
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
15 years 9 months ago
Safe Automotive Software Development
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
Ken Tindell, Hermann Kopetz, Fabian Wolf, Rolf Ern...
134
Voted
MA
1999
Springer
138views Communications» more  MA 1999»
15 years 8 months ago
ADK--Building Mobile Agents for Network and Systems Management from Reusable Components
Mobile agents, programs that move within a system performing a set of tasks, are an active field of research. The focus of current research, however, is on the development of exe...
Thomas Gschwind, Metin Feridun, Stefan Pleisch
ICCD
2006
IEEE
117views Hardware» more  ICCD 2006»
16 years 16 days ago
System-Level Energy Modeling for Heterogeneous Reconfigurable Chip Multiprocessors
—Field-Programmable Gate Array (FPGA) technology is characterized by continuous improvements that provide new opportunities in system design. Multiprocessors-ona-Programmable-Chi...
Xiaofang Wang, Sotirios G. Ziavras
ICECCS
2002
IEEE
91views Hardware» more  ICECCS 2002»
15 years 8 months ago
Mars Polar Lander Fault Identification Using Model-based Testing
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
Mark R. Blackburn, Robert Busser, Aaron Nauman, Ro...
101
Voted
VR
2007
IEEE
15 years 10 months ago
Designing and Evaluating a Haptic System for Biomolecular Education
In this paper we present an in situ evaluation of a haptic system, with a representative test population, we aim to determine what, if any, benefit haptics can have in a biomolec...
Petter Bivall Persson, Matthew D. Cooper, Lena A. ...