The Community for Technology Leaders
RSS Icon
Subscribe
Big Island, HI, USA
Jan. 6, 2003 to Jan. 9, 2003
ISBN: 0-7695-1874-5
pp: 337b
A. Ulrich , Siemens AG
H. Hallal , CRIM
S. Boroday , CRIM
ABSTRACT
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that it generates events at runtime to enable reasoning about the implementation of these requirements in a later step. Specifically, an event log collected during a system run is converted into a specification of the system. The (trustworthy) requirements of the system must be formally specified by an expert who has sufficient knowledge about the behavior of the system. The reengineered model of the system and the requirement descriptions are then processed by an off-the-shelf model checker. The model checker generates scenarios that visualize fulfillments or violations of the requirements. A complex example of a concurrent system serves as a case study.
INDEX TERMS
null
CITATION
A. Ulrich, H. Hallal, A. Petrenko, S. Boroday, "Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis", HICSS, 2003, 36th Hawaii International Conference on Systems Sciences, 36th Hawaii International Conference on Systems Sciences 2003, pp. 337b, doi:10.1109/HICSS.2003.1174915
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool