365 search results - page 22 / 73 » Requirements Specifications Checking of Embedded Real-Time S... |
CASES
2005
ACM
14 years 11 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
77
Voted
RE
2001
Springer
15 years 1 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
65
Voted
EUROMICRO
2000
IEEE
15 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...
64
Voted
IASTEDSE
2004
14 years 11 months ago
2004
In the development of software with evolving requirements, activities of requirements-engineering and management are present through the whole software development process and aff...
COMPUTER
2000
14 years 9 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...