251 search results - page 19 / 51 » A Formal Approach to Test the Robustness of Embedded Systems... |
ISSS
2000
IEEE
14 years 26 days ago
2000
IEEE
Timing and power consumption of embedded systems are state and input data dependent. Formal analysis of such dependencies leads to intervals rather than single values. These inter...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
GLOBECOM
2008
IEEE
13 years 8 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
ISER
1995
Springer
14 years 11 hour ago
1995
Springer
We apply sensitivity analysis to the design and control of a tendon transmission. With this approach, some prefered values for the system parameters and a feedback compensator can...