1446 search results - page 54 / 290 » Formal analysis of hardware requirements |
ENTCS
2007
13 years 9 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
DSOM
2006
Springer
14 years 26 days ago
2006
Springer
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
ICECCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
ICECCS
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...