Specifying the worst case: orthogonal modeling of hardware errors
Proceedings of the eighteenth international symposium on Software testing and analysis
Integrated behavior models for factory automation systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Material flow abstraction of manufacturing systems
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Hi-index | 0.01 |
Over the last decades lots of techniques have been developed for modeling, analyzing, and verifying software. For embedded or computer-based systems, however, the software is only one part of the entire system, which often has little or no meaning when examined in isolation without considering the remaining parts of the system. This makes it hard, if not impossible, to judge the correctness of software without a thorough understanding of its environment. A natural solution to this problem is to not only capture the software part but the entire system by suitable design models. However, to be useful such a model has to be supported by semantics which unambiguously define its meaning. In this paper we present such a semantic model which captures temporal and spatial aspects of a system, which are important if the system deals with the manipulation of rigid objects, as typically found in the domain of industrial automation.