An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
COMPSAC '00 24th International Computer Software and Applications Conference
Design and implementation of real-time EP80579 based embedded system
WSEAS Transactions on Computers
Modeling real-time Tolapai based embedded system using MARTE
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
Hi-index | 0.00 |
This paper explores aspects concerning system-level specification, modeling and simulation of real-time embedded systems. By means of case studies, we investigate how object-oriented methodologies, and in particular UML, support the modeling of industrial scale real-time systems, and how different architectures can be explored by model simulation.We are mainly interested in the problem of system specification as it appears from the prospect of the whole design process. The discussion is illustrated by a large system model from the telecommunications area, the GSM base transceiver station.