Using the Tools in TRADE I: A Decision Support System for Traffic Light maintenance

S.F.M. van Vlijmen, Roelf J. Wieringa

    Research output: Book/ReportReportOther research output

    21 Downloads (Pure)


    In this report we develop a specification of requirements and conceptual design of a decision support system for maintenance of the lamps in traffic regulation systems. Requirements and design are both specified using semi-formal techniques in TRADE (Toolkit for Requirements and Design Engineering). The decision support system is non-trivial and provides an existing need in a company that works in the traffic system management area. The TRADE specification is based upon an existing algebraic specification in PSF (Process Specification Formalism). The rationale for doing this is that the PSF specification is very detailed and lacks a proper requirements specification. It turns out that TRADE, at least in this case, is much better suited as a means to specify abstract requirements. We discuss how algebraic specification could fir in a TRADE framework.
    Original languageUndefined
    Place of PublicationAmsterdam
    PublisherVrije Universiteit, Faculty of Mathematics and Computer Science
    Number of pages30
    Publication statusPublished - 10 Nov 1997

    Publication series

    NameInformatica rapport
    PublisherVrije Universiteit, Faculty of Mathematics and Computer Science


    • SCS-Services
    • IR-80021
    • EWI-10701

    Cite this