10159 search results - page 40 / 2032 » System Design Validation Using Formal Models |
SDL
2003
13 years 9 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
AUTOMATICA
2008
13 years 8 months ago
2008
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...
FM
2008
Springer
13 years 9 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
DAC
2010
ACM
13 years 12 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
ISARCS
2010
13 years 10 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...