352 search results - page 9 / 71 » Automated Quality Analysis of Component Software for Embedde... |
194
Voted
EMSOFT
2009
Springer
16 years 28 days ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
182
Voted
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
145
Voted
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
This paper is meant to motivate tools and methods research in the field of model-based embedded software development. In particular, we include usage scenarios to describe how an a...
168
Voted
HICSS
2007
IEEE
16 years 21 days ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
163
Voted
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
The work presents a modeling and analysis framework for heterogeneous industrial networks architectures which is based on a tight integration of a network simulator with embedded ...