Back to University of Twente portal
Using the Tools in TRADE I: A Decision Support System for Traffic Light maintenance
Vlijmen van, S.F.M. and Wieringa, R.J. (1997) Using the Tools in TRADE I: A Decision Support System for Traffic Light maintenance. [Report]
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 315Kb |
| Abstract: | 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. |
| Item Type: | Report |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/80021 |
| Official URL: | http://igitur-archive.library.uu.nl/lg/2008-0401-200704/UUindex.html |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page