3516 search results - page 176 / 704 » Integrating Security Modeling into Embedded System Design |
101
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Increasing functional and non-functional requirements in automotive electric /electronic vehicle development will significantly enhance the integration of novel functions in the e...
116
Voted
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
102
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of ...
140
click to vote
ICRE
1998
IEEE
15 years 7 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
130
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we report our recent development of an end-to-end integrative design methodology for speech translation. Specifically, a novel decision function is proposed based o...