Sciweavers

881 search results - page 3 / 177
» Specification and Design Considerations for Reliable Embedde...
Sort
View
DAC
2008
ACM
14 years 7 months ago
Specify-explore-refine (SER): from specification to implementation
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Dani...
JSA
2007
101views more  JSA 2007»
13 years 6 months ago
Design space exploration of reliable networked embedded systems
In this paper, a new methodology is presented for topology optimization of networked embedded systems as they occur in automotive and avionic systems as well
Thilo Streichert, Michael Glaß, Christian Ha...
MEMOCODE
2010
IEEE
13 years 4 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
DATE
2002
IEEE
119views Hardware» more  DATE 2002»
13 years 11 months ago
UML for Embedded Systems Specification and Design: Motivation and Overview
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
Grant Martin
ICCAD
1998
IEEE
120views Hardware» more  ICCAD 1998»
13 years 10 months ago
Communication synthesis for distributed embedded systems
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
Ross B. Ortega, Gaetano Borriello