Title :
Arts´Codes: generation of parallel-automata real-time systems, using a unifying diagrammatic component oriented design methodology
Author :
Teitelbaum, A. ; Mendelbaum, H.G.
Author_Institution :
Jerusalem Coll. of Technol., Israel
Abstract :
We present a new method for real-time embedded applications development. The method includes graphic design (Codes), and an execution platform based on parallel automata (Arts). The design method and the execution platform cooperate, so to win clarity in design and robustness in execution. We place our emphasize on the design stage. We introduce new ideas in graphic design to create a framework for the developer in order to arrange his/her thought. The graphic design was influenced by diagrammatic reasoning researches, and their conclusions. The design is component oriented; it is hierarchically homothetic and uses a minimum number of elements in order to minimize cognitive efforts. It unifies in one sort of diagram, the architectural view and the behavioral view of the system to build. A case study is presented in order to picture the method, and to compare the Arts´Codes method to other related ones.
Keywords :
automata theory; formal specification; object-oriented methods; object-oriented programming; real-time systems; visual languages; visual programming; Arts´Codes method; component oriented design methodology; diagrammatic reasoning; graphic design; parallel automata; real-time embedded applications; timed-automata; visual programming language; Design engineering; Design methodology; Real time systems;
Conference_Titel :
Software: Science, Technology and Engineering, 2003. SwSTE '03. Proceedings. IEEE International Conference on
Print_ISBN :
0-7695-2047-2
DOI :
10.1109/SWSTE.2003.1245430