AN ECLIPSE ENVIRONMENT FOR MODEST (FINISHED)
Reachability anaysis in continuous-time Markov decision processes
Logics towards POMDP with and/or without rewards
Energy consumption in Ad-Hoc and Sensor Networks
Stochastic Interfaces
An eclipse environment for Modest (finished)
Analysis of an Airbag Control Unit (finished)

Title

An Eclipse environment for Modest


Content

Eclipse [ECL06, WIK06] is a free software/open source platform-independent software framework for delivering what the project calls "rich-client applications", as opposed to "thin client" browser-based applications. So far this framework has typically been used to develop IDEs (Integrated Development Environments), such as the Java IDE called Java Development Toolkit (JDT) and compiler that comes as part of Eclipse (and which are also used to develop Eclipse itself). However, it can be used for other types of application as well.

 

This thesis will explore and implement a MoDeST [ARG01] development environment for Eclipse. MoDeST is a modelling language for stochastic timed system. It has been appllied to study various kinds of systems in the recent past, including the IPv4 zeroconf protocol [BOH03], several production planning examples [BOH04], and safey-critical train control systems [JAN04]. It has been felt however, that the current support wrt. model development is too rudimentary. Thus this thesis sets out to advance the ergonomy of the tool support by integrating it into Eclipse.


Pre-requisites

Programming skills in C++/Java.


Status

Finished.


Results

The results can be obtained here.


Contact

Reza Pulungan, M.Sc or Prof. Dr.-Ing. Holger Hermanns


References

[ECL06] Eclipse Website. www.eclipse.org.
[WIK06] Wikipedia on eclipse. en.wikipedia.org.
[ARG01] P. D'Argenio, H. Hermanns, J.-P. Katoen, R. Klaren. MoDeST -- A Modelling and Description Language for Stochastic Timed Systems. PAPM-PROBMIV 2001, LNCS 2165, 2001.
[BOH03] H. Bohnenkamp, P. v. d. Stok, H. Hermanns, and F. Vaandrager. Cost-optimisation of the IPv4 zeroconf protocol. In Proc. IPDS 2003. IEEE CS Press, 2003.
[BOH04] Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko. Synthesis and Stochastic Assessment of Schedules for Lacquer Production. QEST 2004: 28-37.
[JAN04] David N. Jansen, Holger Hermanns. Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains? QEST 2004: 250-259.