Title :
From software and hardware formal design towards an integrated system design methodology
Author :
Jadoul, L. ; Van Dun, J. ; Jadoul, M.
Author_Institution :
Alcatel Bell Telephone, Antwerp, Belgium
fDate :
30 Aug-3 Sep 1993
Abstract :
Because of the growing complexity of telecom systems, the use of formal specification and design languages is becoming increasingly important. They do not clarify the system description produced, but also create the possibility to support and automate the development process. At Alcatel Bell Telephone, standardized, formal techniques are being applied for software and hardware development. Software development is based on CCITT-SDI, used from specification to code generation. Hardware development methodology is based on the IEEE-VHDI. The commonalities and similarities between formal methods for hardware and software development are looked at, and complemented by a system level design methodology, based on the same principles
Keywords :
formal specification; specification languages; telecommunications computing; Alcatel Bell Telephone; CCITT-SDI; IEEE-VHDI; code generation; design languages; formal specification; hardware formal design; integrated system design methodology; telecom systems; Automata; Buildings; Hardware; ISDN; Programming; Software debugging; Software systems; Standards development; Telecommunications; Telephony;
Conference_Titel :
Software Engineering Standards Symposium, 1993. Proceedings., 1993
Conference_Location :
Brighton
Print_ISBN :
0-8186-4240-8
DOI :
10.1109/SESS.1993.263947