Sciweavers

11603 search results - page 149 / 2321
» Securing Embedded Systems
Sort
View
DATE
2008
IEEE
129views Hardware» more  DATE 2008»
15 years 8 months ago
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
Joost-Pieter Katoen
UML
2004
Springer
15 years 7 months ago
SVERTS - Specification and Validation of Real-Time and Embedded Systems
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
Susanne Graf, Øystein Haugen, Ileana Ober, ...
MAM
2006
126views more  MAM 2006»
15 years 2 months ago
HiDRA - A reactive multiprocessor architecture for heterogeneous embedded systems
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both con...
Zoran A. Salcic, Dong Hui, Partha S. Roop, Morteza...
SIES
2008
IEEE
15 years 8 months ago
Scalably distributed SystemC simulation for embedded applications
SystemC becomes popular as an efficient system-level modelling language and simulation platform. However, the solethread simulation kernel obstacles its performance progress from ...
Kai Huang, Iuliana Bacivarov, Fabian Hugelshofer, ...
111
Voted
ECBS
2007
IEEE
133views Hardware» more  ECBS 2007»
15 years 8 months ago
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach
This paper describes an agile development methodology which combines agile principles with organizational patterns and adapts them to build embedded real-time systems focusing on ...
Lucas Cordeiro, Raimundo S. Barreto, Rafael Barcel...