Go up. Go to department page

Executable Specifications for Interactive Communicating Devices

Lund Institute of Technology, Department of Computer Science, SDE Research

Sven Gestegård, Görel Hedin, Boris Magnusson
Industrial partner: Ericsson Mobile Communication
External funding: NUTEK (Complex Systems Program)


This project is initiated by Ericsson Mobile Communications to support development of software for interactive communicating devices. New radio technology like BlueTooth enables new kinds of distributed applications involving mobile devices that communicate in a dynamic way. Current practice for developing software for these kinds of applications is to stepwise transform informal specifications into implementations. This has the drawback that problems are revealed late in the development process, during integration and validation.

In this project we develop a new technique based on a combination of a customized executable specification language, an interactive support environment, and a simulated technical environment. The goal is to enable detection of design problems early in the development process. We use the APPLAB system as an experimental platform for developing the new specification language and its implementation. The specification language is a statechart-like language, but specifically customized to the Bluetooth communication prototol.

Related projects:

  • The APPLAB System
  • Publications

    S. Gestegård
    Emulation Software for Executable Specifications
    Master's Thesis, LU-CS-EX:99-6, Dept. of Computer Science, Lund Institute of Technology, Lund, Sweden. April 1999.
    [Abstract etc. (html)]

    Last modified: August 19, 1999