75 search results - page 9 / 15 » A timing-driven design and validation methodology for embedd... |
CODES
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...
EMSOFT
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. Embedded systems composed of hardware and software components are designed to interact with a physical environment in real-time in order to fulfill control objectives an...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...
CSMR
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...