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
|
||||||||||||||
Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes |