OpenVINOTM,给你看得见的未来!>>
电子产品世界 » 论坛首页 » 嵌入式开发 » MCU » [讨论]一个嵌入式系统如何建模

共9条 1/1 1 跳转至

[讨论]一个嵌入式系统如何建模

菜鸟
2002-05-17 21:35:00    评分
发信人: chenlincl (小虫), 信区: Embedded 标 题: 一个嵌入式系统如何建模 发信站: 饮水思源 (2002年04月01日21:19:15 星期一), 站内信件 对于一个嵌入式系统,特别是通信上用的那种, 应该最好用什么方法对其建模呢? 有很多计算模型,DE,CSP,S/R等等 改用什么方法最好呢?



关键词: 讨论     一个     嵌入式     系统     如何     建模    

菜鸟
2002-05-17 21:37:00    评分
2楼
我最近也对嵌入式系统中的计算模式比较感兴趣; 特别是有限状态机, 我用C++为键盘显示写了个状态机, 不是很简洁, 但是概念很清晰 不知各位是否有高见, 欢迎讨论!

菜鸟
2002-05-23 16:56:00    评分
3楼
FSM (State machine and finite state machine) 状态机和有限状态机 通常,状态机是一种记录下给定时刻状态的设备,并根据输入,对每个给定的改变,改变其状态或引发一个动作。计算机就是一个状态机,每个机器指令的输入都改变一个或多个状态,并可能引发其它的动作。每个计算机的数据寄存器存储一个状态。ROM存储这一个状态。每个应用程序开始时有一个初始状态,当它处理输入后状态可以改变。所以,每个时刻一个计算机系统可被视为一个复杂的状态集,每个程序是一个状态机。实际应用中,状态机被用于开发和描述特殊的设备或程序交互。 小结:一个状态机可被描述为: 存储在某地的事物的初始状态或记录; 可能的输入事件集合; 根据输入可能得到的新状态的集合; 根据输入可能得到的动作或输出事件的集合; 在《实时面向对象建模》一书中,状态机被描述为: 输入事件的集合; 输出事件的集合; 状态集合; 把状态和输入事件映射到输出事件的集合; 把状态和输入事件映射到状态的集合; 对初始状态的描述; 有限状态机是有有限个状态的机器。有限状态机可被用作提出和解决问题的开发工具,也可被用作为以后开发者描述解决方案的正式工具。有很多种显示状态机的方法,从简单的表格到图形示例。

菜鸟
2002-05-23 17:25:00    评分
4楼
DE: Discrete-event models[离散事件驱动模型] S/R: Synchronous/reactive models[同步/反应模型] FSM/ASM: State machines[状态机模型] CSP/CCS: Synchronous message passing[同步消息传递模型] Continuous time and differential equations Discrete time and difference equations Cycle-driven models Rate monotonic scheduling Asynchronous message passing Timed CSP and timed PN Publish and subscribe Unstructured events 我这儿提供Edward A. Lee的一篇文章, 讲述了这些基本概念, 不过是英文的, 啃起来很废牙:-) 如果大家有兴趣, 我还有很多文档[upload=zip]uploadImages/2002523925643049.zip[/upload]

菜鸟
2002-05-23 23:11:00    评分
5楼
发信人: dodo (dodo), 信区: Matlab 标 题: Stateflow 发信站: 饮水思源站 (Tue Oct 13 22:40:23 1998) , 站内信件 from Matlab Digest: Stateflow[tm] is a graphical tool for designing complex control and supervisory logic systems. It gives you the ability to model and simulate the behavior of complex reactive, event-driven systems based on finite state machine theory. -- 欢迎来我的主页看看: http://dodoo.yeah.net/ 提供有关matlab,Computer Vision,Neural network的资源 ※ 来源:·饮水思源站 bbs.sjtu.edu.cn·[FROM: 202.119.30.69] Matlab的StateFlow可以模型的设计和仿真

菜鸟
2002-05-25 16:22:00    评分
6楼
其实建模就是一种思想, 而UML等语言, 以至于C/C++也不过实现思想的工具, 不过是谁更方便而已, 比如简单的循环求和, 这种计算这些工具都可以方便表现, 而OO范型实现, C就不太方便 而对于嵌入式系统, 大多是reactive的, 状态机是一种普遍模型, 用UML的statechart, Stateflow, 还有windriver的Betterstate都能方便描述, 如果综合考虑并行模型, 就更接近实际, 当然也更复杂. 另外状态机对规约协议的编写也有很重要的指导意义 我最近对计算模型对嵌入系统编程的指导意义比较感兴趣, 其实最近出版的<嵌入系统构建>和<嵌入式计算系统设计原理>也是这个意思 还有经典的<设计模式>也从这方面对我们有所帮助 一个普遍简单的例子就是,电子表界面的设计, 有兴趣的可参考: http://www.embedded.com/2000/0008/0008feat1.htm 欢迎讨论!

菜鸟
2002-05-30 06:33:00    评分
7楼
到china-pub看看有没有

院士
2002-08-02 22:29:00    评分
8楼
请yuclily兄发表高论

菜鸟
2002-08-05 18:01:00    评分
9楼
http://www.embedded.com/story/OEG20020729S0030 Design Patterns for High Availability By David Kalinsky Embedded Systems Programming (07/31/02, 06:15:29 PM EDT) It is possible to achieve five-nines reliability with everyday commercial-quality hardware and software. The key is the way in which these components are combined.

共9条 1/1 1 跳转至

回复

匿名不能发帖!请先 [ 登陆 注册 ]