The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2005)
Greenbelt, Maryland
Apr. 4, 2005 to Apr. 7, 2005
ISBN: 0-7695-2308-0
pp: 431-436
Ralf Nagel , University of Dortmund
Bernhard Steffen , University of Dortmund
Tiziana Margaria , University of Göttingen
ABSTRACT
We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience with tool providers, tool users and students. Most important was here the reduction of the effort for integrating and updating tools. jETI combines Eclipse and Web Services functionality with our Application Building Center (ABC), a framework supporting coordination based application development. This provides (1) lightweight remote component (tool) integration, (2) distributed component (tool) libraries, (3) a graphical coordination environment, and (4) a distributed execution environment. We illustrate these features by discussing their impact on the typical jETI user groups: the Tool Providers, the Standard Tool Users, and the Advanced Tool Users.
INDEX TERMS
null
CITATION
Ralf Nagel, Bernhard Steffen, Tiziana Margaria, "Remote Integration and Coordination of Verification Tools in JETI", Engineering of Computer-Based Systems, IEEE International Conference on the, vol. 00, no. , pp. 431-436, 2005, doi:10.1109/ECBS.2005.59
92 ms
(Ver 3.3 (11022016))