Tutorials
Page tree
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 5 Next »

Related Publications

Steven Smyth and Alexander Schulz-Rosengarten and Reinhard von Hanxleden. Towards Interactive Compilation Models. In Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), volume 11244 of LNCS, page 246–260, Limassol, Cyprus, November 2018. Springer.

Setup Dependencies

To use and develop with KiCo you need to setup or integrate the KiCo framework into your Eclipse IDE. There are two scenarios:

  1. If you are an KIELER developer, you can setup your KIELER development IDE by following our Oomph setup tutorial
  2. If you want to use your own eclipse setup, you can use our updatesite to install KiCo (you may want to use the nightly updatesite to get the latest features immediately)
    1. Go to Help > Install New Software
    2. Enter our release updatesite (http://rtsys.informatik.uni-kiel.de/~kieler/updatesite/) or the nightly (http://rtsys.informatik.uni-kiel.de/~kieler/updatesite/nightly/semantics/) if you want to get the latest features and fixes immediately.
    3. Check KIELER Semantics Framework (see screenshot). You may also want to add KIELER SCCharts as it is required for other tutorials in this track.
    4. (optional) If you also have a target platform defined, you probably need to add the updatesite and features there too.

Create Plugin

For this tutorial we will create a new eclipse plugin to carry our processors and systems.

  1. New -> Project...
  2. In the project wizard, choose Plug-in Project and click Next.
  3. As the project name, enter de.cau.cs.kieler.tutorials.kico. Click Next.
  4. As the name, enter KiCo Tutorial. Uncheck all checkboxes in Options. Click Finish.
    (Eclipse might ask you whether you want to switch to the Plug-in Development Perspective, which configures Eclipse to provide the views that are important for plug-in development. Choose Yes. Or No. It won't have a big influence on your future...)
  5. Eclipse has now created your new plug-in and (usually) opened the Plug-in Manifest Editor, which allows you to configure your plugin. Go to the Dependencies tab and add a dependency to de.cau.cs.kieler.kicool


  • No labels