基于AUTOSTAR的智能电视仿真平台设计与实现

发布时间：2017-12-26 20:10

本文关键词：基于AUTOSTAR的智能电视仿真平台设计与实现　出处：《大连理工大学》2016年硕士论文　论文类型：学位论文

【摘要】：智能电视相比传统电视由于增加上网浏览、音视频文件播放、下载各种应用软件等多种功能,系统软硬件变得异常复杂,用户使用也相对繁琐,如何确保系统UI设计具有人性化,使产品受用户欢迎,同时保证软件本身没有错误是目前智能电视厂家面临的主要问题。开发智能电视仿真平台希望解决上述两个问题,一是将系统需求在仿真系统上仿真使用,尽早发现用户可能使用不方便的问题,二是后期软件可进一步仿真,发现软件逻辑问题。采用扩充有限状态机对智能电视需求分析进行建模、仿真,用户通过虚拟遥控器、键盘、鼠标操控虚拟的智能电视,以发现UI存在的问题以及使用不够人性的问题。提出采用状态变迁矩阵(STM)对扩充的有限状态自动机进行建模,STM是一个二维矩阵,横向为系统处于的状态,纵向为来自于外界或系统产生的各种事件,中间单元表示在某一状态下针对某一事件的处理过程。由于STM支持嵌套简化了系统建模的难度。最后采用AUTOSTAR实现虚拟的智能电视系统,AUTOSTAR提供VIP接口,显示部分采用VB实现。虚拟遥控器和虚拟键盘采用C#实现,智能电视虚拟仿真系统采用AUTOSTAR开发,AUTOSTAR是一款面向嵌入式软件开发的CASE工具,方便了智能电视复杂逻辑建模,提高了建模速度和效率,整个系统运行在windows7平台上。最后对系统进行了黑盒测试,选取了近百个测试用例测试采用虚拟遥控器、虚拟键盘、虚拟鼠标操控智能电视。系统在国内几个智能电视机厂家得到应用,一是可尽早发现智能电视UI设计的非人性化问题,减少了设计的盲目性,用户可前期参与产品设计,二是有助于发现需求分析文档漏洞。
[Abstract]:Smart TV compared to traditional TV due to the increase of Internet browsing, audio and video file playback, download a variety of applications in a variety of other functions, the software and hardware of the system is complicated, the user is also relatively cumbersome, how to ensure the humanized design of UI system, the user welcome products, at the same time to ensure the software itself has no error is a main problem in the current smart TV manufacturers face. The development of smart TV simulation platform hopes to solve the above two problems. First, we need to simulate the system needs on the simulation system, and find users' inconvenient problems as early as possible. Two, later software can further simulate and find software logic problems. The extended finite state machine is used to model and simulate the demand analysis of smart TV. Users can manipulate the virtual smart TV by virtual remote controller, keyboard and mouse, so as to find the problems of UI and the problem of using human nature. The state transition matrix (STM) modeling of the extended finite state automaton, STM is a two-dimensional matrix, the transverse system in the state, the longitudinal events from the outside or from the system unit process of the intermediate representation of an event in a state of a needle. Because STM support nesting simplifies the difficulty of system modeling. Finally, the virtual smart TV system is implemented with AUTOSTAR, and AUTOSTAR provides the VIP interface, and the display part is implemented by VB. Virtual remote and virtual keyboard using C#, smart TV virtual simulation system developed by AUTOSTAR, AUTOSTAR is a CASE tool for embedded software development, convenient smart TV complex logic modeling, improve the modeling speed and efficiency of the whole system running on the windows7 platform. Finally, the black box test of the system is carried out, and nearly one hundred test case tests are selected to use virtual remote control, virtual keyboard and virtual mouse to control smart TV. The system has been applied to several smart TV manufacturers in China. First, it can detect the inhumanization problem of smart TV UI design as early as possible, reduce the blindness of design, users can participate in product design in advance, and two, it helps to find loopholes in demand analysis documents.
【学位授予单位】：大连理工大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：TN949.2;TP391.9

【参考文献】