Sciweavers

12333 search results - page 84 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
DATE
2005
IEEE
148views Hardware» more  DATE 2005»
14 years 3 months ago
A Dependability-Driven System-Level Design Approach for Embedded Systems
The objective of this paper is to introduce dependability as an optimization criterion in the system-level design process of embedded systems. Given the pervasiveness of embedded ...
Arshad Jhumka, Stephan Klaus, Sorin A. Huss
DATE
2010
IEEE
176views Hardware» more  DATE 2010»
14 years 2 months ago
Timing modeling and analysis for AUTOSAR-based software development - a case study
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wol...
DAC
2007
ACM
14 years 1 months ago
Verification Methodologies in a TLM-to-RTL Design Flow
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
Atsushi Kasuya, Tesh Tesfaye
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
14 years 3 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
VTS
2006
IEEE
102views Hardware» more  VTS 2006»
14 years 3 months ago
Energy Efficient Software-Based Self-Test for Wireless Sensor Network Nodes
We consider self-testing of complete wireless nodes in the field through a low-energy software-based selftest (SBST) method. Energy consumption is optimized both for individual co...
Rong Zhang, Zeljko Zilic, Katarzyna Radecka