10159 search results - page 341 / 2032 » System Design Validation Using Formal Models |
134
click to vote
ICECCS
2009
IEEE
15 years 10 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...
138
click to vote
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
119
click to vote
PATMOS
2007
Springer
15 years 10 months ago
2007
Springer
Energy efficiency is a top requirement in embedded system design. Understanding the complex issue of software power consumption in early design phases is of extreme importance to m...
173
click to vote
CAV
2009
Springer
15 years 7 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
133
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...