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

Share/Save/Bookmark

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]
Preview
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

 

Repository Staff Only: item control page