3516 search results - page 6 / 704 » Integrating Security Modeling into Embedded System Design |
ECBS
2003
IEEE
14 years 23 days ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
LCTRTS
2010
Springer
13 years 5 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...