3516 search results - page 84 / 704 » Integrating Security Modeling into Embedded System Design |
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
WISTP
2010
Springer
14 years 3 months ago
2010
Springer
ct This paper discusses the practical implementation of a novel security tool termed SIMPL system, which was introduced in [1]. SIMPL systems can be regarded as a public key versio...
EUROMICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...