410 search results - page 15 / 82 » Tools for System Validation with B Abstract Machines |
EMSOFT
2006
Springer
13 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
ECOI
2010
13 years 6 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...
ICECCS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...